谷歌AI攻克6道世界级数学难题 数学界最后防线崩塌。刚刚，人类数学界面临了一次前所未有的冲击。AI不仅能够解题，现在甚至能独立完成PhD级别的纯粹数学研究。谷歌DeepMind的最新AI研究智能体Aletheia，在一场名为「FirstProof」的挑战赛中，解决了10道公认的世界级未解数学难题中的6道。
DeepMind高管Thang Luong在X上激动地表示，这一成就比去年历史性拿下IMO金牌的意义还要重大。这些题目连全球最顶尖的数学家都感到棘手。结果，Aletheia不仅自主算出了答案，甚至连提出其中第7题猜想的数学家Jim Fowler也亲自确认了AI的解题过程是完全正确的。天才数学家陶哲轩也在最新的访谈中表示，AI已经成为了他的“初级合著者”。
Aletheia之所以如此强大，是因为它掌握了一项关键技能：自我过滤。传统的AI大模型常有不懂装懂的问题，但在科研级别的高端局中，这样的行为是不可接受的。DeepMind给Aletheia设计了两个子系统：“生成者”和“验证者”。前者负责大开脑洞，疯狂猜想解题路径；后者则专门负责挑刺。当遇到无法解决的问题时，Aletheia会直接告知“未找到解法”，而不是胡编乱造。
在这次挑战中，Aletheia投入了大量算力，特别是第7题，其计算量是之前解开Erdős-1051问题时的整整16倍。数学界权威Sang Hyun Kim高度评价了AI的解题步骤，认为这是独一无二的稀有案例。
