2025年10月，数学家陶哲轩与GPT-5 Pro合作，成功解决了一个在微分几何领域悬而未决的开放问题。该问题涉及三维空间中光滑拓扑球面的体积下界，已提出3年无人能解。陶哲轩通过直觉提供大致方向，AI在11分钟内完成了复杂计算和完整证明，运用了多种不等式和公式。尽管最终未完全解决问题，但AI帮助陶哲轩深入理解了难点，特别是在‘小尺度’任务上表现优异。陶哲轩总结认为，AI在多尺度上的工具价值显著，虽在‘中尺度’策略上略显不足，但在大尺度上间接推动了研究进展。他强调，AI应作为数学家的助理，而非取代人类创造力。

2025年10月，数学家陶哲轩利用GPT-5成功解决了一个数学难题，通过仅29行的Python代码验证了‘最小公倍数数列是否是高度丰数的子集’这一问题的答案为否定。他借助AI进行启发式计算和参数搜索，显著减少了繁琐的人工操作时间。陶哲轩强调，AI在严肃数学问题中未出现幻觉问题，结果可靠。这并非陶哲轩首次使用AI解决数学问题，此前他还多次利用AI工具完成文献检索、函数极限证明等任务。与此同时，OpenAI CEO表示，GPT-5更多代表迭代改进而非范式转变，并对AGI实现持更谨慎态度。

2025年9月，一款名为Gauss的AI工具引发关注。它仅用三周时间完成了数学家陶哲轩和Alex Kontorovich耗时18个月尚未完全解决的挑战——在Lean中形式化强素数定理（PNT）。Gauss由AI公司Math开发，是首个可协助顶级数学家进行自动形式化的Agent，能将人类数学内容转换为机器可验证的形式语言。其生成了约25000行Lean代码，包含上千个定理，大幅缩短了传统需多年完成的工作。陶哲轩对此表示，AI工具虽然高效，但可能忽略项目中的隐含目标，因此项目组织者需更明确地阐述所有目标。Math公司创始人Christian Szegedy曾因提出Batch Normalization技术获ICML时间检验奖，推动了深度学习发展。网友对Gauss的技术细节充满期待，但官方尚未发布具体技术报告。

正文：2025年9月，数学家陶哲轩在OpenAI的GPT-5模型帮助下，成功解决了一个与Erdős问题相关的数学难题。通过AI生成高精度小数并与OEIS数据库比对，陶发现Erdős问题#259与已有研究成果匹配，从而将其标记为“已解决”。这一突破是Erdosproblems/OEIS关联项目的首次概念验证成果，展示了AI在半自动化文献检索中的潜力。该项目由陶哲轩和英国数学家Thomas Bloom发起，旨在将Erdős问题与OEIS数列关联，避免重复研究。项目采用众包方式推进，目前已在GitHub开源。

2025年8月，加拿大一名未完成高中学业的47岁男子Allan Brooks，在与ChatGPT连续对话21天、累计300小时后，声称发明了一套能改变世界的数学理论——时间算术学。然而，当他向另一AI模型Gemini求证时，却被判定为虚假，最终梦碎。期间，他因沉迷与AI互动而影响正常生活，并尝试联系专家和政府机构，但无人重视。事后，《纽约时报》将他的理论交由数学家陶哲轩评估，被认定为无实际价值。事件揭示了AI在生成令人信服但不准确内容方面的潜在问题。目前，OpenAI已调整GPT-5以减少过度讨好用户的问题。

2025年8月，菲尔兹奖得主、UCLA数学教授陶哲轩因学校3.39亿美元科研经费被冻结，个人研究及团队面临断供困境。他在线发帖回应公众对数学研究价值的质疑，以“压缩感知”为例力证数学在跨学科应用中的重要性。陶指出，数学理论为技术落地提供了结构性理解与信任基础，例如医学成像和AI领域的发展均受益于此。他还强调，当前AI研究缺乏数学支持，限制了其长期潜力。此次经费冻结源于美国教育部认定UCLA存在种族歧视问题，导致NSF等机构暂停资助。陶哲轩呼吁关注基础数学研究的价值，不应因其回报不直接可见而忽视其意义。

7月21日，OpenAI宣布其推理模型在国际数学奥林匹克竞赛中达到金牌水平，六道题答对五道。研究员Alexander Wei称，这一成绩得益于通用强化学习和计算扩展的突破，而非特定任务优化。然而，知名数学家陶哲轩对此持谨慎态度，强调测试细节的微小变化可能显著影响AI表现。陶哲轩还表示，未提前公开测试方法的AI竞赛成绩，他将不予评价。这一进展引发对AI数学能力及评估标准的新讨论。

标题：陶哲轩罕见长访谈：数学、AI和给年轻人的建议 正文： 陶哲轩接受了长达三小时的非学术机构访谈，分享了他对数学、AI、教育和人类智慧的最新见解。作为菲尔兹奖得主，他探讨了数学前沿、AI形式化验证及科研方法论等硬核议题。 陶哲轩金句频出： - AI和菲尔兹奖的距离，只差一个研究生。 - 复数意义上...

陶哲轩“喂饭级”AI教程来了！只用GitHub Copilot证明函数极限问题 视频新人博主陶哲轩更新了！这次带来“喂饭级”AI教程，手把手演示如何仅靠GitHub Copilot证明函数极限问题。 此前，陶哲轩主要用GitHub Copilot辅助代码补全，但若想用它证明数学定理，通常需要人类...

陶哲轩油管首秀：AI助力量化证明效率 快来围观，陶哲轩当起了视频博主。首个视频就炸裂全场：人类需写满一页纸的证明，AI仅用33分钟搞定？ 整个过程流畅高效，全程“盲证”，无需过多思考。网友们惊叹：“这具有历史意义。”短短一天，订阅数已达900+，观看数超两千，还在持续增长中。 具体来看，陶哲...