.png)
2025年12月，陶哲轩与多名数学家借助AI工具，在48小时内破解了尘封50年的Erdős#1026难题。该问题最早于1975年提出，涉及博弈论和计算几何领域。通过AlphaEvolve、ChatGPT等AI工具的辅助，团队快速生成关键猜想并完成证明，最终将问题转化为矩形填充问题解决。此次协作结合了人类智慧与AI技术的优势，展现了‘人+人+AI’合作模式的巨大潜力。陶哲轩此前也曾用AI解决其他Erdős问题，并表示AI辅助在数学研究中已变得常见。Erdős问题网站鼓励公开使用AI解题，但需确保内容经过独立验证。这一成果标志着AI在数学领域的应用迈入新阶段。
原文链接
本文链接：https://kx.umi6.com/article/30190.html
转载请注明文章出处
分享至
打开微信扫一扫
内容投诉
生成图片
.png "30190")
相关推荐
.png)
换一换
谷歌 AI 系统 AlphaEvolve 获陶哲轩团队认可：使大规模数学研究成为可能
2025-11-19 17:28:31
形式化证明与大模型：共创可验证的AI数学未来｜量子位直播
2025-05-27 12:29:36
陶哲轩在IMO上给AI团队颁奖！他们要做AI数学的ImageNet
2024-07-21 11:36:34
陶哲轩：纳维-斯托克斯方程或已不再是流体的良好模型
2024-10-20 19:00:01
陶哲轩经费被断供，在线发帖自证数学有用
2025-08-05 13:13:15
陶哲轩罕见长长长长长访谈：数学、AI和给年轻人的建议
2025-06-21 13:09:58
半世纪难题48小时破解！陶哲轩组队把AI数学玩成打怪游戏了
2025-12-13 23:13:03
啥？陶哲轩18个月没搞定的数学挑战，被这个“AI高斯”三周完成了
2025-09-14 13:38:51
24岁，Axiom女创始人融资4亿
2025-10-05 23:26:31
陶哲轩亲测谷歌 Gemini 3：十分钟搞定百年数学难题
2025-11-23 23:27:24
和GPT聊了21天，我差点成为陶哲轩
2025-08-14 16:57:30
陶哲轩力荐，哈佛反向学习法火了：教会AI就是教会自己
2024-09-02 13:15:44
陶哲轩“喂饭级”AI教程来了！只用GitHub Copilot证明函数极限问题
2025-05-20 16:41:45
560 文章
326708 浏览
24小时热文
更多
-
2025-12-13 23:14:10 -
2025-12-13 23:13:03
-
2025-12-13 23:12:54
