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
转载请注明文章出处
相关推荐
换一换
陶哲轩:纳维-斯托克斯方程或已不再是流体的良好模型
2024-10-20 19:00:01
45年数论猜想被GPT-5.2 Pro独立完成证明,陶哲轩:没犯任何错误
2026-01-19 17:02:53
OpenAI 布罗克曼:GPT-5.2 Pro 再次破解公开数学难题,获陶哲轩认可
2026-01-18 13:18:51
陶哲轩力荐,哈佛反向学习法火了:教会AI就是教会自己
2024-09-02 13:15:44
SAIR年度峰会即将开幕,陶哲轩等顶尖科学家共议AI如何重塑科研未来
2026-01-30 13:25:02
陶哲轩罕见长长长长长访谈:数学、AI和给年轻人的建议
2025-06-21 13:09:58
陶哲轩提前实测满血版 OpenAI o1:能当研究生使唤
2024-09-16 19:30:48
陶哲轩用GPT5-Pro跨界挑战!3年无解的难题,11分钟出完整证明
2025-10-11 12:27:24
陶哲轩用GPT-5解决数学难题:仅29行Python代码
2025-10-04 12:59:43
陶哲轩在IMO上给AI团队颁奖!他们要做AI数学的ImageNet
2024-07-21 11:36:34
陶哲轩亲测谷歌 Gemini 3:十分钟搞定百年数学难题
2025-11-23 23:27:24
陶哲轩宣布“等式理论计划”成功,57天完成2200万+数学关系证明
2024-11-23 13:25:09
和GPT聊了21天,我差点成为陶哲轩
2025-08-14 16:57:30
614 文章
402635 浏览
24小时热文
更多
-
2026-02-13 20:39:39 -
2026-02-13 19:36:24 -
2026-02-13 19:36:12