Noam Brown 报告 GPT 模型以不到 2,000 美元成本实现十项数学突破
作者: Marginal Revolution·
要点速览
- •OpenAI 研究员 Noam Brown 介绍了由 GPT 模型生成的十项数学突破，在 Sol API 价格下生成证明的总成本不到 2,000 美元。
- •Brown 对未来能力表示期待，将 OpenAI 即将推出的 Astra 模型视为科学家和研究人员的有力工具。
- •生成证明的低成本表明，AI 辅助的数学研究正在超越传统学术机构，变得越来越经济可行。
- •大语言模型在竞赛级数学、Lean 等形式化证明助手以及组合问题求解等方面展示了日益增长的能力。
- •包括 Google DeepMind 在内的其他组织也报告了 AI 驱动的数学发现，表明将语言模型融入科学工作流程是更广泛的行业趋势。
Noam Brown 是 OpenAI 的研究员，以在 AI 推理系统方面的研究而闻名。他介绍了由 GPT 模型生成的十项数学突破。据 Brown 透露，在 Sol API 价格下，生成全部十项突破证明的总成本不到 2,000 美元。他还对即将推出的模型能力表示期待，称：「我们非常期待看到科学家和研究人员能够利用我们即将推出的 Astra 模型创造出什么成果！」
Brown 在 X 上发布的一篇帖子中分享了他列出的十项突破：
https://x.com/polynoamial/status/2083470822258467194?s=61
关于这些发展意义的更多评论可在此处查看：
https://x.com/stalkalmustang/status/2083485500250198453
这些结果凸显了大语言模型在数学研究中日益增长的作用，而这一领域在历史上一直需要大量的人类专业知识和协作。不到 2,000 美元的成本数字表明，AI 辅助研究正在经济可行性上不断提升，有望将参与范围扩大到传统学术机构之外。近年来，AI 驱动的定理证明和证明验证方面进展加速，模型在竞赛级数学、Lean 等形式化证明助手以及组合问题求解等领域展示了出色的能力。包括 Google DeepMind 及其 AlphaGeometry 系统在内的其他组织也报告了显著的 AI 对数学发现的贡献，标志着将语言模型融入科学工作流程的更广泛行业趋势。