正文：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+，观看数超两千，还在持续增长中。 具体来看，陶哲...

标题：陶哲轩亲测点赞o3-mini：专家级证明，我收到了一个完美的答案 正文： 陶哲轩亲测点赞o3-mini：专家级证明，我收到了一个完美的答案 陶哲轩测试了o3-mini，称其能够重建图论中标准（专家级）结果的证明。他评价道：“o3-mini完全可以应对三角形移除引理的证明。” 三角形移除...

标题：陶哲轩对谈OpenAI高管：“也许很快OpenAI就能证明陶哲轩是错的” 在一场名为“以推理为主的o1模型如何与数学融合”的对谈中，数学家陶哲轩和OpenAI高管讨论了AI如何影响数学研究。陶哲轩指出，人类擅长从少量数据中推断，而AI则在数据丰富时表现出色。然而，OpenAI高管Mark Ch...

57天内，人类与AI合作完成了4694个等式间22028942个蕴含关系的验证。陶哲轩宣布“等式理论计划”成功。 该计划始于2024年9月25日，旨在探索原群等式的蕴含关系。陶哲轩不仅集结了人类数学家，还引入了AI工具如ChatGPT、Claude和GitHub Copilot。项目启动后仅9天，进...