陶哲轩最近跟GPT-5Pro一起搞了个数学题，这题三年没人解出来。有意思的是，这题根本不是他老本行。他是玩分析和数论的，整天跟整数、函数打交道。可这道题是微分几何的，研究曲面啊流形啊这些东西，工具都不一样。就像让语文老师去算物理大题，听着就不靠谱。但他还是试了，还拉上AI一块干。一开始他就给了

GPT-5助力陶哲轩完成数学难题研究陶哲轩在其最新研究中引入OpenAI最新模型GPT-5，成功实现半自动化文献检索在数学研究中的应用。该成果已被纳入Erdosproblems/OEIS关联项目。AI协助破解Erdős问题研究聚焦于由20世纪著名数学家Paul Erdős提出的系列问题，其中一类难题涉及判断特定数列结果是否为有理数。这类问题

2025年10月的事情挺有趣的啦，一个是陶哲轩拿着GPT-5Pro在解微分几何的题，人

说出来你可能不信，数学界的天花板——陶哲轩，那个拿菲尔兹奖跟我们考驾照一样轻松的男人，最近干了件特“接地气”的事：他跟AI聊天，顺手就把一个能让博士生头秃的数论难题给破了。最后用来