10月9日，数学界与OpenAI紧张关系升级。菲尔兹奖得主陶哲轩转载人类数学协会声明，敦促数学家停止与OpenAI合作。争议源于OpenAI近期一次性公开700多份数学研究手稿及证明代码。学界批评其成果难以理解、缺乏同行审查，认为此举展示的是“权力”而非学术研究。科学家担忧AI生成证明的速度远超人类理解，将迫使数学家沦为“校对员”，致学术议程被商业资本牵制。尽管OpenAI承诺资助会议协助消化成果，但学者仍呼吁AI企业应以符合学术规范的方式发表成果，回归以人类理解为核心的科学愿景。

【陶哲轩领衔！全球数学家联合抵制OpenAI】彻底撕破脸了！近日，数学界领军人物、菲尔兹奖得主陶哲轩牵头“人类数学协会”(AHM)发布重磅联合声明，宣布全球数学界集体行动，全面抵制OpenAI。声明直指OpenAI一次性发布700多个文件的行为“根本不算科研，纯粹是在炫耀算力霸权”。AHM强烈敦促所有数学家停止与OpenAI合作，呼吁重回以“人类理解”为核心的科学愿景。这场由顶尖学者发起的宣战，标志着人类传统科研与AI算力狂飙的理念冲突全面升级。AI究竟是科研助手还是算力霸权？数学界已亮明态度！

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

2026年9月18日，菲尔兹奖得主陶哲轩代表SAIR基金会正式宣布启动“开放数学模型计划”。该计划旨在联合学术界与产业界，为数学及科学研究构建开放权重模型与配套开源工具，打造“数学2.0”。首阶段聚焦理解论证、核对文献、形式化证明等日常科研场景。项目秉持开放开发、社区治理、数据归属数学界及共享知识产权等原则，确保模型可复现。即日起，计划面向全球征集资金、算力、专业经验及社区建设等合作伙伴，共同推动科研范式变革与AI在科学领域的负责任使用。

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

近日GPT-6发布，在孪生素数猜想上将连续素数间距上界推至186，引发热议。对此，著名数学家陶哲轩发出警告，吐槽这是“令人无语的一幕”。他指出，AI解题极快且过程“黑盒”，直接给出答案会掩盖探索中宝贵的“失败”，进而“污染”开放性数学难题，阻碍数学领域的真正发展。若AI在黑盒内解决问题并向公众隐瞒过程，数学界将无法从中提炼新洞见。陶哲轩强调，伟大数学题的核心价值在于探索路径上产生的新思想，而非单纯的答案。此外，他庆幸牛津数学家于8月31日抢先公开了相关分析，避免了人类研究成果被AI“埋没”。

近日，在2026年国际数学家大会及菲尔兹奖颁奖现场，06年菲尔兹奖得主陶哲轩发表演讲，警示数学界正迎来一场关于价值观与实践方式的“百年新危机”。他指出，随着AI解题能力的突破，数学将从“证明稀缺”步入“证明过剩”时代，研究在生成、验证、表述等环节易出现“阻抗失配”与“证明消化不良”。为此，陶哲轩呼吁学界规范披露AI使用情况，降低“首次解出”权重，提高“消化”权重，并强调“若作者无法清晰讲解成果则不应发表”。他主张不拒绝、不隐瞒AI，但数学的规则必须由人类数学家自己定义。

12年前，菲尔兹奖得主陶哲轩曾预言：未来数学论文将使用计算机理解的形式化语言，并实现自动验证与大规模协作。如今，他正借助AI亲手兑现这一预言。自2023年起，陶哲轩学习Lean4证明系统，发起PFR猜想形式化项目，仅三周即完成验证。2024年9月，他发起Equational Theories项目，面对2200万个代数等式，通过“AI+Lean+全球社区”协作，48小时内攻克大半，更催生出全新数学概念。陶哲轩用行动证明，AI与人类协作正极大提升数学研究效率，他已成为AI数学最坚定的布道者。

2026年5月，数学家陶哲轩在论文审稿过程中巧妙利用AI工具Claude Code，仅用15分钟便高效完成第二轮修改。此前，陶哲轩与合作者需花费数天时间人工处理审稿人提出的详细反馈，而此次他将审稿报告、LaTeX源文件和论文PDF交给Claude Code后，AI迅速识别并修正了12个问题，甚至发现审稿人一处错误。陶哲轩表示，未来会优先借助AI处理琐碎任务，让人类专注于创造性工作。他还强调，AI应作为数学家的‘副驾驶’而非替代者。自2022年起，陶哲轩便积极探索AI辅助数学研究的可能性，并取得显著成果，如解决Erdős难题等。AI正逐渐成为数学界的重要趋势，助力科研效率大幅提升。

5月12日至13日，硅谷将举办“2026 Science for AI Summit”峰会，由科学与人工智能研究基金会（SAIR Foundation）主办。此次峰会首次线下集结全球顶尖科学家、企业家和投资人，包括陶哲轩、诺贝尔奖得主巴里·巴里什、兰迪·谢克曼，以及图灵奖得主杰弗里·乌尔曼等学术领袖，还有谷歌母公司董事长约翰·轩尼诗、红杉资本合伙人Alfred Lin等产业界代表。会议聚焦AI与科学的融合发展，探讨技术开发、治理、投资等议题，并介绍“数学蒸馏挑战赛”进展。背景是AI发展面临数据与算力瓶颈，亟需理论突破。峰会采用定向邀请制，席位有限，现已开放报名。