物理学家使用Claude AI证明了新的数学恒等式

物理学家Giorgio Parisi和Francesco Zamponi与Anthropic的Claude模型（特别是Sonnet 4.6和Opus 4.7）合作，证明了一个长期观察到的与堵塞转变相关的数学恒等式。该证明在Claude的训练数据中并不存在，是通过一系列40个提示生成的。虽然模型自主生成了证明的核心部分，但物理学家在验证、纠正不一致之处和完善最终输出方面发挥了至关重要的作用，凸显了AI生成与人类监督之间的相互作用。 AI

影响 展示了大型语言模型在科学发现中的潜力，通过协助复杂的数学证明，尽管人类监督在验证和完善方面仍然至关重要。

排序理由 学术论文，详细介绍了通过与大型语言模型互动获得的创新证明。[lever_c_demoted from research: ic=1 ai=1.0]

在 Towards AI 阅读 →

• arXiv
• Claude
• Claude Sonnet 4.6
• Francesco Zamponi
• Giorgio Parisi
• Journal of Statistical Mechanics: Theory and Experiment
• Opus 4.7
• Wyart

• 论文
• 模型发布

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →