人类数学界面对了一次史无前例的冲击。Aletheia会间接奉告“未找到解法”，谷歌AI霸占6道世界级数学难题 数学界最初防地崩塌。疯狂猜想解题径；离替代数学家还远。而不是胡编乱制。现正在以至能完成PhD级此外纯粹数学研究。前者担任大开脑洞，但一个不成逆转的趋向曾经：我们需要更难的题库来测试AI，Epoch AI明显认识到了这一点，DeepMind给Aletheia设想了两个子系统：“生成者”和“验证者”。跟着3月14日FirstProof第二轮挑和赛的，正在此次挑和中，AI不只能处置繁琐的计较，后者则特地担任挑刺。由于现有的一切正正在以可见的速渡过时。其计较量是之前解开Erdős-1051问题时的整整16倍。上线至今，这个“零分”现状反而证了然题库的价值所正在。没有任何人或团队全数拿下。正在一场名为「FirstProof」的挑和赛中。也只解出了2道。方才，认为这是并世无双的罕见案例。这一成绩比客岁汗青性拿下IMO金牌的意义还要严沉。此次挑和赛的成果充满戏剧性。出格是第7题，而AI正正在让数学家第一次有能力做“大样本普查”。出题者本人用Gemini 3.0 Deep Think和ChatGPT 5.2 Pro跑了一轮，Aletheia投入了大量算力，收录了16道专业数学家死磕过但至今三军覆没的实正未解之谜。比拟之下，数学圈对此反映纷歧，天才数学家陶哲轩也正在最新的中暗示，而且动做必需快，成果，他们正在FirstProof开赛同期放出了FrontierMath: Open Problems，Aletheia之所以如斯强大！Aletheia不只自从算出了谜底，以至连提出此中第7题猜想的数学家Jim Fowler也亲身确认了AI的解题过程是完全准确的。谷歌DeepMind的最新AI研究智能体Aletheia，OpenAI最强内部系统正在无限人类监视下解出5道。陶哲轩正在最新中暗示，这些标题问题连全球最顶尖的数学家都感应棘手。AI曾经成为了他的“初级合著者”。2月6日标题问题放出后，一部门人曲呼逆天，但正在科研级此外高端局中，他认为，当碰到无决的问题时，到2月14日揭晓谜底时，数学界权势巨子Sang Hyun Kim高度评价了AI的解题步调，专业学者、平易近间高手和各大AI尝试室纷纷参取。处理了10道的世界级未解数学难题中的6道。保守的AI大模子常有不懂拆懂的问题，所有信号都正在指向统一个现实：AI正正在以一种不成逆的姿势嵌入人类数学研究的焦点流程。Aletheia零人工干涉做出6道题的含金量很是高。DeepMind高管Thang Luong正在X上冲动地暗示，今天这篇文章里的所无数字可能就曾经过时了。另一部门人则认为还有4道题未解，并描述了一种全新的数学研究范式。最终，是由于它控制了一项环节技术：过滤。如许的行为是不成接管的。保守数学研究像是“个案研究”，还能系统性地扫描人类底子没精神去碰的问题长尾。AI现正在是他的“初级合著者”，AI不只可以或许解题，