新闻资讯7

陶哲轩用Gemini解Erdős数学问题

机器之心2025-11-23

AI 摘要

11月20日，Wouter van Doorn提出Erdős问题反例，陶哲轩用Gemini 2.5 Deep Think十分钟完成证明，自己半小时转为基础证明。两天后Boris Alexeev用Harmonic的Aristotle工具完成Lean形式化。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

OpenAI等用AI攻克Erdős数学难题

2026年，OpenAI等公司用AI解决多个匈牙利数学家Paul Erdős提出的问题，震动数学界。这些问题分布广、难度跨度大，适合模型测试。不过，AI证明的验证和人类数学家地位受关注。

菲尔兹奖得主陶哲轩在ICM大会称数学迎来百年危机，上次危机是检查逻辑地基，这次是价值观地基。他以First Proof评测展示AI解数学题能力，提出“工作假设”分析数学研究目标及KPI变化和“证明过剩”问题，还给出应对之策。

7月24日，陶哲轩在ICM 2026演讲指出数学界正经历新危机，关乎价值观与工作方式。他围绕AI能力猜想探讨数学界如何应对，列举目标和风险，提出需升级目标，还介绍莱顿宣言建议。

当地时间7月24日，菲尔兹奖得主陶哲轩在2026年国际数学家大会上发表演讲，指出AI参与数学研究，或使数学站在类似历史节点，研究方式和价值体系受挑战，还探讨了AI对数学研究各方面的影响及应对方向。