昨晚，数学界炸了！由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年成为人类数学家的重要合著者，一早便转发了这份清单。
AI for Math 领域，如果你一直找不到合适的资源，这份清单或许会有帮助
