.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)
换一换
24岁，Axiom女创始人融资4亿
2025-10-05 23:26:31
陶哲轩：我差点江郎才尽，只因在普林斯顿待了一年
2026-03-23 18:33:41
陶哲轩宣布“等式理论计划”成功，人类AI协作57天
2024-11-24 09:42:11
陶哲轩用GPT-5解决数学难题：仅29行Python代码
2025-10-04 12:59:43
陶哲轩“喂饭级”AI教程来了！只用GitHub Copilot证明函数极限问题
2025-05-20 16:41:45
陶哲轩油管首秀：33分钟，AI速证「人类需要写满一页纸」的证明
2025-05-12 14:33:30
OpenAI达IMO金牌水平 数学家陶哲轩回应
2025-07-21 17:25:05
陶哲轩在IMO上给AI团队颁奖！他们要做AI数学的ImageNet
2024-07-21 11:36:34
哈佛反向学习法火了：教会 AI 就是教会自己，陶哲轩力荐
2024-09-02 13:46:02
45年数论猜想被GPT-5.2 Pro独立完成证明，陶哲轩：没犯任何错误
2026-01-19 17:02:53
形式化证明与大模型：共创可验证的AI数学未来｜量子位直播
2025-05-27 12:29:36
GPT-5又帮陶哲轩解决了一个难题
2025-09-03 15:46:53
陶哲轩力荐，哈佛反向学习法火了：教会AI就是教会自己
2024-09-02 13:15:44
650 文章
487002 浏览
24小时热文
更多
-
2026-04-13 20:18:52 -
2026-04-13 20:17:42
-
2026-04-13 19:14:29
