11月23日，谷歌Gemini 3在发布后迅速领跑各大基准测试。知名研究机构Epoch AI证实，Gemini 3 Pro在高级数学基准测试FrontierMath中创下新纪录：Tier 1-3准确率达38%，Tier 4达19%，并在综合能力指数（ECI）中以154分超越GPT-5.1的151分。更令人瞩目的是，数学家陶哲轩近日利用Gemini Deepthink模式仅用十分钟解决了百年数学难题埃尔德什问题#367的关键证明。此外，Gemini 3还在物理基准测试CritPt中表现优异，尽管得分为9.1%，但已代表当前AI模型最前沿水平。这一系列成果表明，AI正成为科学家高效协作的重要工具。

11月19日，谷歌旗下DeepMind开发的AI系统AlphaEvolve获加州大学洛杉矶分校陶哲轩团队认可，称其可推动大规模数学研究。该系统于今年5月发布，能自主发现算法与数学公式，通过生成和筛选潜在解法高效解决优化问题。在测试中，AlphaEvolve成功复现了人类已知最优解，并在部分案例中提出更优方案。陶哲轩团队测评显示，系统显著提升解题速度，使原本需数年的研究项目成为可能。然而，系统有时会利用问题漏洞生成‘钻空子’答案。尽管存在局限性，AlphaEvolve已引发数学界对专业AI工具的浓厚兴趣，或为中等难度数学问题提供解决方案。专家呼吁计算机科学家与数学家加强合作，拓展AI在数学研究中的应用。

陶哲轩力推AlphaEvolve：解决67个数学问题，超越人类最优解 陶哲轩与DeepMind团队合作推出新工具AlphaEvolve，用于数学研究。在涵盖组合数学、几何、数论等领域的67个问题中，AlphaEvolve展现了卓越的可扩展性、鲁棒性和可解释性，并在多个难题上超越人类已知最优解。 Al...

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数学能力及评估标准的新讨论。