数学推理

• 由清华姚班校友主导的团队，利用Claude完成了费马大定理的首个完整形式化证明。
• 报道提到过程中「最后靠Harness救回来」，暗示证明过程历经波折。
• 这是AI在顶尖数学形式化验证领域的一次里程碑式尝试。

• 围绕GPT-6在孪生素数研究上的「新突破」，著名数学家陶哲轩公开表达了质疑与无奈。
• 报道指出AI虽能直接给出正确答案，但最关键的可能并非答案本身，而是证明过程与可解释性。
• 事件凸显数学界对AI「黑箱式」结论可信度的普遍担忧。

• The Verge 深度报道AI对数学领域的冲击：OpenAI声称其模型可解决顶级数学家难题
• 数学家 James Maynard 分享了AI改变数学研究方式的亲身观察
• 报道探讨AI是数学的「合作者」还是「替代者」

• Anthropic 研究团队深入分析了 Claude 在黎曼zeta函数等高等数学问题上的表现
• 研究发现 Claude 展现出了超越简单模式匹配的深层数学推理能力
• 该研究为理解大语言模型的推理机制提供了新视角

OpenAI 使用其 AI 模型在离散几何领域成功证伪了一个长期未被解决的核心猜想。这标志着 AI 在纯数学研究中的突破性应用——不仅辅助计算，更能直接推动理论发现。此举展示了前沿 AI 模型在数学推理上的巨大潜力，可能加速科研范式的变革。