GPT-5.5 Pro 自主证明 R 上的和积猜想

一篇新论文详细介绍了一个基于 OpenAI 的 GPT-5.5 Pro 构建的 AI 代理，该代理自主生成了证明 R 上的 Erdős--Szemerédi 和积猜想不成立的证据。该代理在使用一个三阶段提示流程（证明计划提议、构建和审查）的 8 次独立试验中成功生成了 7 个正确证明。这些证明的方法各不相同，有些类似于现有的基于单位的方法，有些则采用了代数整数区域。该系统每次试验平均使用 132.4k 的推理 token，并且相关的代码、中间输出和证明将作为可复现案例研究发布。 AI

影响 展示了 AI 先进的自主推理能力，可能加速数学发现。

排序理由 学术论文，详细介绍了 AI 模型在数学证明生成方面的能力。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

• alphaXiv
• CatalyzeX Code Finder for Papers
• CORE Recommender
• DagsHub
• Erdős unit distance conjecture
• Gotit.pub
• GPT-5.5 Pro
• Hugging Face
• $\mathbb R$
• OpenAI
• ScienceCast

• 论文
• 模型发布

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