人工智能突破三大传统数学难题

在过去两个月，人工智能在数学领域取得了显著突破，完成了三项重要任务。首先，AI成功地对费马大定理进行了形式化验证，这一命题历经了三个半世纪的困扰。1995年，安德鲁·怀尔斯经过七年的努力，最终用一百多页纸证明了这一理论。而在2026年，Anthropic的Claude仅用11天生成了1300万行Lean代码，将这一证明转换为机器可以逐步确认的格式，实现了费马大定理的首个完整形式化验证。

其次，在孪生素数领域，GPT-6 Astra将相邻素数间隔的上界从246降低至186，这是一项持续了超过一个世纪的研究。最后，对于黎曼猜想这一悬赏百万美元的难题，Claude将关键零点比例下界从41.6%提高至67.2%。

这些成就是在数学这一人类智力的传统堡垒上取得的，AI以与人类完全不同的方式进行着数学探究，不依赖于直觉或灵感，而是通过细致的计算与耐心的迭代找到了答案。这种方法让人们不禁思考，长久以来人类投入的智慧和努力是否会被这种全新形式的“智力”所超越。 龙8头号玩家

在讨论AI的介入时，菲尔兹奖得主陶哲轩提出，AI在某些数学问题上的自动求解应予以禁止，因为数学不仅仅是得到答案，更在于探索过程、解决错误、发现新路径，以及培养未来的数学家。他的思想实验警示，若AI早于20年来到，张益唐可能就不会有机会去独自钻研那些问题，因为AI可以迅速解决。

陶哲轩强调，当答案不再稀缺，我们应重新思考问题的本质，提问本身才是关注的关键。数学的堡垒并不在于具体哪道题，而在于为什么要解这道题。怀尔斯七年的努力不仅仅是为了最终的证明，而是塑造了他的人生意义和价值。

最终，尽管AI可以快速提供答案，但它无法替代人类对事物意义的深刻思考和持续追问。真正的价值在于面对困难和挫折时，那份坚持的动力与追求的意义。 龙8头号玩家