曾是AI“课代表”的菲尔兹奖得主陶哲轩，近日在SAIR演讲中态度反转，化身“AI减速派”。他呼吁AI公司放慢解题速度，指出AI疯狂生成证明却缺乏人类消化，导致严重的“知识拥堵”，不仅抹杀数学探索的灵感，更埋下数据污染隐患。受OpenAI破解千禧难题刺激，陶哲轩联合25位菲尔兹奖得主联名抗议。OpenAI随后宣布成立“数学与AI顾问小组”评估成果传播，但明确拒绝对内部研发指手画脚。面对数学家们的“创造力危机”担忧，网友却纷纷调侃：“画家、作家倒下时你在哪？AI面前天才也没啥特别。”

9月11日，陶哲轩等25位菲尔兹奖得主联署声明，担忧AI过度追求解题而忽视概念理解与知识传承，恐损害数学发展。前OpenAI后训练VP Liam Fedus对此回应，认为不应以当前能力框定未来，AI不仅能解题，还能提供洞见与新框架，成为数学研究伙伴。近期AI在Navier-Stokes方程等难题上取得突破，并引发成果归属争议。美国数学学会等机构强调，AI是强大的新工具，但数学的核心是人类理解，AI产生的新知识需经严格同行检验，才能真正融入数学体系。

当地时间9月11日，陶哲轩、邓煜等25位菲尔兹奖得主联合发布声明，警告AI正毁掉数学。声明指出，AI企业将“快速解题”作为衡量大模型能力的核心标尺，与数学研究形成新概念、建立逻辑洞见的本质严重错位。一味追求AI快速证明，将催生人类难懂的文本，压缩同行评审空间并引发学术伦理问题，长期将破坏科研生态。学者强调不反对AI辅助研究，但反对资本单向定义数学价值。此前8日，OpenAI宣布其大模型接连攻克纳维-斯托克斯问题及Erdős猜想等困扰人类数十年的数学难题，引发学界紧迫担忧。

2026年7月24日，“应用数学与人工智能学术论坛”在云南玉溪举办。北电数智首席科学家窦德景与中科院周向宇院士等专家齐聚，共探AI与数学的“乘法效应”。窦德景表示，当前主流大模型数学能力已达人类顶尖水平，并分享了北电数智在算力基建及医疗、制造等领域的产业落地实践。周向宇院士指出，AI在复杂运算上优势显著，但缺乏可解释性与真正的数学创新。他强调数学家不会被取代，人类应专注“找规律”等机器做不到的事。双方围绕雅可比猜想等展开对话，认为AI是得力助手，二者深度交融将开辟科研与产业落地新路径。

2025年7月26日，上海世博展览馆举办世界人工智能大会（WAIC）高端论坛，聚焦“人工智能的数学边界与基础重构”。论坛由上海市普陀区人民政府等主办，吸引全球关注。菲尔兹奖得主丘成桐和Charles Fefferman深度参与，提出数学难题检验AI推理能力。多家机构的大模型现场解题，展现AI在几何、代数等领域的突破。论坛还举行中外学生“结对”仪式，推动AI与数学联合研究，并揭牌两大国际数学实验室。上海市委常委强调以数学创新驱动AI技术发展，普陀区将打造“AI+数学”创新中心。此次盛会为AI与数学融合提供对话平台，助力产业升级，推动上海成为全球数学智能研究高地。

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

标题：中科院自动化所推出多图数学推理新基准MV-MATH 挑战多图数学推理新基准，大模型表现不佳？ 近日，中国科学院自动化研究所推出多图数学推理数据集MV-MATH，旨在全面评估多模态大语言模型在多视觉场景中的数学推理能力。 结果显示，GPT-4o得分为32.1，类o1模型QvQ得分29.3，所有模...

斯坦福大学研究发现，尽管AI模型o1-preview在数学、编程等领域表现出色，但在对普特南数学竞赛题稍作修改后，其准确率骤降30%。普特南数学竞赛自1938年创办以来，是全球大学生数学精英的重要赛事。最新研究通过Putnam-AXIOM基准测试，发现o1-preview在原始题目上的准确率为41.95%，但在变体题上仅剩11.95%。其他模型如GPT-4、Claude-3.5 Sonnet等在变体题上的表现也显著下滑，但Gemma和Mistral系列部分型号表现优异。这一发现揭示了当前AI模型在处理数学问题灵活性方面的不足。

标题：为什么没人提DeepSeek的数学和代码？ 正文： DeepSeek的Coder V2版本（2024年5月）首次震惊我，它以类似数学验算的方式检查代码，准确率高于同期的GPT 4o。那时，Coder模式和Chat模式并列作为一级入口展示。相比Chat模式，Coder的逻辑性和校验机制更强。 C...

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