.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)
换一换
OpenAI达IMO金牌水平 数学家陶哲轩回应
2025-07-21 17:25:05
陶哲轩力荐，哈佛反向学习法火了：教会AI就是教会自己
2024-09-02 13:15:44
陶哲轩对谈OpenAI高管，“也许很快OpenAI就能证明陶哲轩是错的”
2024-12-08 13:04:03
硅谷5月将迎“Science for AI”峰会，全球科学界及企业界“最强大脑”首次线下集结
2026-04-27 11:05:18
陶哲轩宣布“等式理论计划”成功，人类AI协作57天
2024-11-24 09:42:11
陶哲轩“喂饭级”AI教程来了！只用GitHub Copilot证明函数极限问题
2025-05-20 16:41:45
陶哲轩经费被断供，在线发帖自证数学有用
2025-08-05 13:13:15
陶哲轩：我差点江郎才尽，只因在普林斯顿待了一年
2026-03-23 18:33:41
陶哲轩宣布“等式理论计划”成功，57天完成2200万+数学关系证明
2024-11-23 13:25:09
陶哲轩罕见长长长长长访谈：数学、AI和给年轻人的建议
2025-06-21 13:09:58
OpenAI 布罗克曼：GPT-5.2 Pro 再次破解公开数学难题，获陶哲轩认可
2026-01-18 13:18:51
陶哲轩在线安利Claude Code：审稿意见全给它，15分钟欧了
2026-05-06 16:23:01
谷歌 AI 系统 AlphaEvolve 获陶哲轩团队认可：使大规模数学研究成为可能
2025-11-19 17:28:31
696 文章
728300 浏览
24小时热文
更多
-
2026-07-12 17:30:31 -
2026-07-12 10:19:23
-
2026-07-12 10:17:18
