AI跨越数学发现的新疆界

随着GPT-5取得前所未有的成就，数学界迎来了一个关键性时刻。瑞士数学家约翰内斯·施密特近日分享了令人震惊的消息：该AI系统独立破解了一个长期存在的数学难题，标志着人工智能首次在没有人类干预的情况下产出原创性数学成果。

超越预期的创造性飞跃

这一突破之所以格外引人注目，不仅在于GPT-5解决了问题——更在于它的解决方式。施密特观察到，AI没有遵循传统方法，而是从代数几何的非预期领域汲取灵感，展现出他称之为"真正的数学创造力"的特质。这种非常规思维产生的解决方案可能是人类数学家从未考虑过的。

这一成就印证了菲尔兹奖得主陶哲轩多年前关于AI在纯数学领域潜力的预测。随着施密特的论文进入同行评审阶段，全球数学家们正在深入思考关于发现与创造力本质的深刻问题。

透明度实验

施密特的论文不仅仅代表数学进展——它更是一项研究透明度的大胆实验。在这项数字原生的作品中：

• GPT-5和Gemini3Pro协作完成了证明本身
• Claude撰写了叙述文本
• ChatGPT5.2协助进行了Lean形式化验证

每个段落都带有详细署名，并附有原始提示和对话记录的完整链接。虽然这种细致入微的记录确保了完全的可追溯性，但一些学者担心如此详尽的要求可能会因制造官僚障碍而扼杀创新。

重新定义科学贡献

这项实验迫使我们重新思考根本性问题：当AI产生新颖见解时，什么构成了作者身份？我们如何评估那些源自人类设计系统、却发展出超乎人类想象的解决方案的发现？

施密特的方法揭示了一个令人不安的事实——即便是"独立"的AI成就，仍然通过提示设计和输出选择反映了人类影响。然而随着这些工具成为研究标配，保持如此详细的署名可能变得不切实际。无论如何，这一里程碑为学术界努力适应AI时代的出版标准提供了关键见解。

关键要点：

• 首个独立证明：GPT-5在无人指导下解决复杂数学问题
• 创造性方法：运用来自不同数学学科的非传统方法
• 透明度推进：论文细致记录了每个AI的贡献并确保完全可追溯性
• 学术辩论：引发关于作者标准与AI在研究中的角色的讨论