今天，谷歌DeepMind「AI数学家」Aletheia彻底杀疯了，攻克数学猜想，独立写论文。更令人震惊的是，拿下金牌的Gemini一举横扫18大核心科研难题。
在经济学和博弈论的世界里，找到「纳什均衡」往往意味着找到了复杂局势下的最优解。多所顶尖高校的研究人员开发出了一位名为PrimeNash的「AI数学家」，不仅能像人类专家一样推导公式，还能解决许多连传统算法都束手无策的复杂博弈难题，成果已发表在Cell Press旗下的交叉学科期刊Nexus上。
昨晚，数学界炸了！由HarmonicMath开发的AI数学家「亚里士多德」（Aristotle），100%独立完成了埃尔德什问题#124。它在Lean证明系统中，耗时仅6个小时，验证只需1分钟。
当AI不再只是解题机器，而能与人类并肩完成严谨的科研证明，这意味着什么？
一次咖啡馆中的谈话，诞生了一家估值3亿美元的创业公司！2024年，仍为斯坦福大学博士生的Carina Hong与前Meta的AI研究员Shubho Sengupta有过一次数小时的交谈。在那次交谈中二人探讨了如何用AI来解决数学领域的难题。
AI数学家来了！清华团队出品—— 他们推出AI Mathematician（AIM）框架，推理模型也能求解前沿理论研究，并且证明完成度很高。
基于开源Agent框架，可自动解决复杂数据科学问题的Agent来了！
19秒破解几何难题，谷歌AI夺得IMO银牌在业界掀起了巨震。就连菲尔兹奖得主陶哲轩，前IMO美国队负责人罗博深都对此大加赞赏。更有AI大佬高调预测，若谷歌继续加码研究，应该可以造出一个「AI陶哲轩」。
AI 将大大提高数学研究的效率。
史上最全的「数学人工智能资源」清单出炉了。 陶哲轩，信奉AI将在2026年成为人类数学家的重要合著者，一早便转发了这份清单。
