2025年10月,数学家陶哲轩与GPT-5 Pro合作,成功解决了一个在微分几何领域悬而未决的开放问题。该问题涉及三维空间中光滑拓扑球面的体积下界,已提出3年无人能解。陶哲轩通过直觉提供大致方向,AI在11分钟内完成了复杂计算和完整证明,运用了多种不等式和公式。尽管最终未完全解决问题,但AI帮助陶哲轩深入理解了难点,特别是在‘小尺度’任务上表现优异。陶哲轩总结认为,AI在多尺度上的工具价值显著,虽在‘中尺度’策略上略显不足,但在大尺度上间接推动了研究进展。他强调,AI应作为数学家的助理,而非取代人类创造力。
原文链接
本文链接:https://kx.umi6.com/article/26465.html
转载请注明文章出处
相关推荐
.png)
换一换
陶哲轩用GPT-5解决数学难题:仅29行Python代码
2025-10-04 12:59:43
OpenAI推出小型语音模型GPT-5 Pro
2025-10-07 03:44:27
陶哲轩对谈OpenAI高管,“也许很快OpenAI就能证明陶哲轩是错的”
2024-12-08 13:04:03
陶哲轩宣布“等式理论计划”成功,57天完成2200万+数学关系证明
2024-11-23 13:25:09
陶哲轩油管首秀:33分钟,AI速证「人类需要写满一页纸」的证明
2025-05-12 14:33:30
GPT-5又帮陶哲轩解决了一个难题
2025-09-03 15:46:53
啥?陶哲轩18个月没搞定的数学挑战,被这个“AI高斯”三周完成了
2025-09-14 13:38:51
OpenAI达IMO金牌水平 数学家陶哲轩回应
2025-07-21 17:25:05
陶哲轩用GPT5-Pro跨界挑战!3年无解的难题,11分钟出完整证明
2025-10-11 12:27:24
和GPT聊了21天,我差点成为陶哲轩
2025-08-14 16:57:30
陶哲轩“喂饭级”AI教程来了!只用GitHub Copilot证明函数极限问题
2025-05-20 16:41:45
陶哲轩亲测点赞o3-mini:专家级证明,我收到了一个完美的答案
2025-03-11 14:35:50
陶哲轩罕见长长长长长访谈:数学、AI和给年轻人的建议
2025-06-21 13:09:58
641 文章
288083 浏览
24小时热文
更多

-
2025-10-11 19:32:28
-
2025-10-11 18:33:17
-
2025-10-11 18:32:04