AI·研究
如今，大多数人已听说OpenAI很可能解决了一个千禧年大奖难题；具体而言，是强制三维纳维-斯托克斯方程有限时间爆破的证明，于昨天下午美国东部时间1:20宣布。作为一个较为密切关注此事以及围绕AI在数学中更广泛辩论的人，我想写一篇简短博客文章，梳理事件时间线，并（希望）用过去一年的发展来为这一结果提供背景。2026年初，AI在数学中仍被视为某种新奇事物。有一些有趣的结果，大多关于埃尔德什问题，大多使用商业可得的AI模型，大多来自Twitter上的少数人。在1月这样一个问题被解决后，陶哲轩——这位菲尔兹奖得主、麦克阿瑟奖获得者、定义领域的数学家，一直维护着一个追踪AI辅助数学贡献的页面——评论说，他对解答本身不如对“新兴的AI驱动能力，能快速撰写和重写解答的阐述”感兴趣。5月，当OpenAI宣布一个内部模型否证了埃尔德什单位距离猜想——离散几何中的一个开放问题——时，所产出的结果开始看起来不那么新奇。这一结果辅以一篇由九位数学家撰写的配套论文，消化并简化了论证。这似乎是一个令人鼓舞的AI辅助数学模式：模型产出结果，而数学家们合作使其可读且对领域有用。证明不被视为过程的终点，而是起点。然而，这种以人为本的关注没有持续多久。到夏天，所发布结果的性质已发生相当大变化。
来源：原文链接 (新窗口)
本页由搜罗吧(Solo8.cn)信息精选服务自动生成，内容仅供参考，不构成任何建议。