数学证明

如何看待 Buckmaster 披露 OpenAI 在 NS 方程突破中的学术掠夺与威胁言论？

OpenAI声称其推理AI已生成关于纳维-斯托克斯（Navier-Stokes）方程的证明，该问题是克雷数学研究所设立的千禧年大奖难题之一。与此同时，纽约大学数学家Tristan Buckmaster与Anthropic研究员Levent Alpöge在AI辅助下取得了相关突破。目前，双方就研究成果的归属及OpenAI在发布过程中的压力指控产生争议。

如何评价北京协和医院住院医用 AI 解决了困扰数学界的难题 Crouzeix 猜想？

北京协和医院神经外科博士后、住院医师金山木利用OpenAI的GPT-5.6-Sol模型，在约16小时内成功证明了困扰数学界22年的Crouzeix猜想。该成果已获猜想提出者Michel Crouzeix及多位顶尖数学家审阅并确认正确。金山木虽无正统数学科班背景，但通过在经颅超声研究中自学矩阵分析，借助AI的非常规路径实现了这一突破。

如何评价 Anthropic 宣布将黎曼猜想的已知下界从 41.6% 提高到了 67.2%？

Anthropic披露其未发布的Claude研究版模型在尝试解决黎曼猜想时，将黎曼ζ函数满足猜想条件的零点比例已知下界从41.6%提高至67.2%。该成果通过多智能体协作及Lean形式化验证，被视为解析数论领域的重大进展。尽管大幅提升了局部指标，但Anthropic明确表示该方法预计无法直接证明黎曼猜想本身。