2025年12月，陶哲轩与多名数学家借助AI工具，在48小时内破解了尘封50年的Erdős#1026难题。该问题最早于1975年提出，涉及博弈论和计算几何领域。通过AlphaEvolve、ChatGPT等AI工具的辅助，团队快速生成关键猜想并完成证明，最终将问题转化为矩形填充问题解决。此次协作结合了人类智慧与AI技术的优势，展现了‘人+人+AI’合作模式的巨大潜力。陶哲轩此前也曾用AI解决其他Erdős问题，并表示AI辅助在数学研究中已变得常见。Erdős问题网站鼓励公开使用AI解题，但需确保内容经过独立验证。这一成果标志着AI在数学领域的应用迈入新阶段。

2025年10月，Axiom Math完成6400万美元首轮融资，投后估值达3亿美元。创始人洪乐潼，24岁，广州出生，曾就读华南师大附中、麻省理工、牛津大学，现为斯坦福博士生。公司专注于开发解决复杂数学问题的AI模型，未来可应用于金融建模、芯片架构等领域。团队仅10人，但包括多位Meta AI专家。洪乐潼因一次咖啡馆交流退学创业，目标推动数学复兴。此外，00后创业者正集体登上AI舞台，如Sola Solutions、Anysphere等初创公司均获高额融资，展现年轻一代在科技领域的潜力。

形式化证明与大模型：共创可验证的AI数学未来｜量子位直播 5月，多个重要进展引发关注：DeepSeek Prover V2发布、陶哲轩的AI数学直播以及谷歌推出的AlphaEvolve。大模型在解数学题方面的表现已成为衡量AI“智能天花板”的关键指标，吸引了众多团队投入研究。 为更好评估AI的数...

国际数学奥林匹克（IMO）比赛中，陶哲轩教授亲自为AI团队Numina颁奖，他们在AI数学奥林匹克（AIMO）竞赛中展示了出色的表现。Numina团队的7B模型成功解决了29道未公开的难题，获得首个进步奖。不同于常规，比赛限制了算力、模型和时间，强调创新而非资源投入。团队开源了模型、数据和训练过程，模型能通过Python验证解题思路。非营利组织Numina的目标是推动AI4Math的开放研究，他们希望创建AI数学的ImageNet，以促进数学问题解决的模型发展。团队背后的故事和取得的成就，预示着AI在数学领域的新篇章。