我们开发了一种基于Gemini的AI系统，协助科学家编写高质量的实证软件，已在六个复杂问题上达到专家水平。科学研究中，验证假设需大量计算实验，而编写定制软件常成为瓶颈，延缓发现进程。随着大语言模型在编程任务上的进步，我们探索其是否能生成优质科学软件。该系统以明确问题和验证方法为输入，通过多轮迭代生成、测试和优化代码，自动构建高效解决方案。实验显示，其在多个领域表现出色，显著提升科研效率，有望加速科学发现进程。

本专栏通过快照技术转载，仅保留核心内容

内容中包含的图片若涉及版权问题，请及时与我们联系删除