.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)
换一换
和GPT聊了21天，我差点成为陶哲轩
2025-08-14 16:57:30
24岁，Axiom女创始人融资4亿
2025-10-05 23:26:31
陶哲轩用GPT-5解决数学难题：仅29行Python代码
2025-10-04 12:59:43
陶哲轩吐槽GPT-6孪生素数新突破：令人无语的一幕
2026-09-05 13:13:13
陶哲轩用GPT5-Pro跨界挑战！3年无解的难题，11分钟出完整证明
2025-10-11 12:27:24
GPT-5又帮陶哲轩解决了一个难题
2025-09-03 15:46:53
陶哲轩在IMO上给AI团队颁奖！他们要做AI数学的ImageNet
2024-07-21 11:36:34
陶哲轩罕见长长长长长访谈：数学、AI和给年轻人的建议
2025-06-21 13:09:58
陶哲轩经费被断供，在线发帖自证数学有用
2025-08-05 13:13:15
陶哲轩：我差点江郎才尽，只因在普林斯顿待了一年
2026-03-23 18:33:41
谷歌 AI 系统 AlphaEvolve 获陶哲轩团队认可：使大规模数学研究成为可能
2025-11-19 17:28:31
陶哲轩宣布“等式理论计划”成功，人类AI协作57天
2024-11-24 09:42:11
陶哲轩对谈OpenAI高管，“也许很快OpenAI就能证明陶哲轩是错的”
2024-12-08 13:04:03
731 文章
960898 浏览
24小时热文
更多
-
2026-10-20 17:25:15 -
2026-10-20 16:24:47
-
2026-10-20 14:16:11
