陶哲轩评价 GPT-6 在孪生素数猜想中的新表现：直接给出答案却引发思考

数学家陶哲轩就前沿模型在孪生素数猜想等数学难题上的表现发表观点，指出黑盒化直接输出结论可能对数学理论的衍生探索带来负面效应。

• 多家机构近期公布模型在孪生素数有界间距上的形式化证明进展，但陶哲轩指出，过早由黑盒 AI 系统直接锁定最终拟设容易抑制对其他潜在路径的探索。
• 以纳维-斯托克斯方程为例，历史上攻克难题过程中产生的失败尝试与局部工具往往催生出流体力学与偏微分方程领域的基础理论。
• 陶哲轩提示，若商业模型仅在封闭体系内完成试错并直接给出难以由人类理解的庞大证明，可能削弱难题推动人类数学认知演进的深层价值。
• 影响/看点：该观点指出了 AI 辅助科学探索中解题效率与理论解释性之间的张力，意味着未来学术界需建立更加开放透明的形式化推导与中间过程共享规范。
• 资料依据：
• 陶哲轩 Mastodon 社交账号（2026-09-04）：https://mathstodon.xyz/@tao/117207849921390904
• 量子位（2026-09-05）：https://www.qbitai.com/2026/09/484649.html

本内容由 AI 生成，仅供参考，请注意甄别