AI在数学领域连爆大突破，1个月拿下3项成果，这下人类还能跟的上吗？


最近这一两个月，AI在数学圈掀起了不小的波澜，从费马大定理到哥德巴赫猜想，一连串世界级数学难题都被AI碰出了新进展，连顶级数学家都开始认真讨论这个变化。


8月到9月这短短一个月里，全球两大AI公司接连放出重磅成果，不光大厂有动作，个人开发者也有亮眼表现，一连在三道数学难题上出现突破。


为啥AI能搞定这么多硬核数学题？关键就在 “形式化” 这个工具。


简单来说，就是把人类用文字书写的数学定理、公理、推导步骤，转换成机器能读懂、能逐条检查的标准化代码。


就像编程有编译器可以验证代码对错，数学的 “编译器” 就是形式化工具，比如Lern语言。


以前数学家要花几个月啃完几百页的复杂证明，现在交给AI过一遍形式化检查，效率直接拉满。大模型搭上形式化工具，等于给数学研究安了加速器。


顶级数学家陶哲轩早就关注到了AI的变化，今年3月他还说，AI能帮他节省大量时间，查文献、写代码、筛研究方向都十分好用，但最近他也发出了明确的预警。


他把数学研究比作徒步旅行：研究者为了寻找远处的瀑布，需要不断探路画地图，途中还会发现新的景观和工具。


而AI就像一架直升机，可以直接把人送到瀑布旁再接回来，虽然速度快了，但一路探索的过程、积累的经验和方法，才是下一代数学发展的真正基础。


如果AI把所有探索过程都藏在公司内部，只对外抛出最终答案，那人类就算知道了结果，也会丢失未来研究的重要养分。


AI不是要取代数学家，而是在改变整个研究的逻辑和效率，但如何用好这个工具，不让人类丢掉探索数学的过程和乐趣，才是我们真正需要思考的问题。