2025年10月,数学家陶哲轩与GPT-5 Pro合作,成功解决了一个在微分几何领域悬而未决的开放问题。该问题涉及三维空间中光滑拓扑球面的体积下界,已提出3年无人能解。陶哲轩通过直觉提供大致方向,AI在11分钟内完成了复杂计算和完整证明,运用了多种不等式和公式。尽管最终未完全解决问题,但AI帮助陶哲轩深入理解了难点,特别是在‘小尺度’任务上表现优异。陶哲轩总结认为,AI在多尺度上的工具价值显著,虽在‘中尺度’策略上略显不足,但在大尺度上间接推动了研究进展。他强调,AI应作为数学家的助理,而非取代人类创造力。
原文链接
本文链接:https://kx.umi6.com/article/26465.html
转载请注明文章出处
相关推荐
换一换
陶哲轩经费被断供,在线发帖自证数学有用
2025-08-05 13:13:15
哈佛反向学习法火了:教会 AI 就是教会自己,陶哲轩力荐
2024-09-02 13:46:02
量子位专访陶哲轩:我为什么现在创办一个AI x Science组织
2026-03-14 15:00:36
GPT-5 Pro 独立做数学研究:读论文后给出更精确边界,OpenAI 总裁称这是生命迹象
2025-08-21 15:34:40
啥?陶哲轩18个月没搞定的数学挑战,被这个“AI高斯”三周完成了
2025-09-14 13:38:51
陶哲轩油管首秀:33分钟,AI速证「人类需要写满一页纸」的证明
2025-05-12 14:33:30
陶哲轩宣布“等式理论计划”成功,人类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
SAIR年度峰会即将开幕,陶哲轩等顶尖科学家共议AI如何重塑科研未来
2026-01-30 13:25:02
陶哲轩力推AlphaEvolve:解决67个不同数学问题,多个难题中超越人类最优解
2025-11-07 18:00:51
和GPT聊了21天,我差点成为陶哲轩
2025-08-14 16:57:30
陶哲轩宣布“等式理论计划”成功,57天完成2200万+数学关系证明
2024-11-23 13:25:09
822 文章
640412 浏览
24小时热文
更多
-
2026-04-24 15:20:44 -
2026-04-24 15:19:39 -
2026-04-24 15:18:33