陶哲轩发布简短通知：Maksym Radziwill将于明天在库朗研究所就“准黎曼假设”作线上线下混合报告。

陶哲轩介绍，IAS数学学院今年在会员项目申请中新增说明：鉴于当前申请压力大，允许申请人提交仅基于已完成研究的研究陈述，建议聚焦少数（通常不超过三项）精选项目而非罗列全部工作。他预计其他院系和机构今年也会采取类似指引，并提到理论计算机科学领域工作组近期也有相似建议。

阮一峰本期指出，AI已永久改变编程：代码审查、单元测试、敏捷开发、代码风格规范及“好代码”概念将消失，程序员重心转向业务与架构，Token成为关键资源。另评美国公司称Qwen3-Coder区别对待用户，实为推销自家改版模型；印度CA私钥竟为4等小整数，致证书被破解。还介绍陶哲轩反对大模型求证数学难题、模拟终端的自训模型等文章与工具。

陶哲轩博客客座文章宣布启动“布尔甘项目”，旨在系统梳理并阐释数学家让·布尔甘的500多篇论文，串联其研究中的统一思想。布尔甘在调和分析、数论、偏微分方程等领域贡献卓著，但论文以艰深著称。项目希望让这些思想更易理解，并探索期刊论文之外的新数学呈现形式，鼓励以各种形式分享解读、分组协作，并在Zulip频道讨论。详情见 bourgain-pedia.com。

陶哲轩表示近期将博客大部分内容交由数学界及相关领域客座作者撰写，本篇仅整理他此期间的演讲与访谈，并附由AI维护的更完整清单链接。

陶哲轩介绍西蒙斯基金会新发布的新闻稿，呼吁围绕“AI时代的数学”举办研讨会及开展相关倡议。

陶哲轩发短文称，“First Proof”将于美东时间今日下午3点在ICARM主办的线上研讨会公布第三批评估结果，需注册参加。

陶哲轩整理了近期关于数学与AI的博客和评论文章链接，供读者参考，并邀请大家在评论区补充更多相关链接。

陶哲轩提出“数学2.0”时代，认为AI使证明不再稀缺，冲击数学1.0评价体系。他警告AI能力不均与幸存者偏差，呼吁建立透明评估机制，重视理解、解释和知识整理，而非只奖励解题。他强调人类科学家的核心价值在于把关与理解，并指出AI时代读博仍可培养提出好问题等能力。

OpenAI发布722篇数学手稿，其中两篇声称证明三维挂谷极大函数猜想和四维挂谷猜想，推进了王虹2025年菲尔兹奖成果。论文未经同行评审和Lean形式化。陶哲轩等发起声明抵制，认为批量发布是权力展示，审稿与归属成难题；也有人认为数学将迎新时代。

陶哲轩发布公开演讲“Math 2.0”幻灯片，回顾数学1.0的历史状态，分析当前AI过度强调自动解决未解问题带来的现状，并提出未来数学2.0愿景：用AI工具维系数学共同体，并维护数学理解在推动和校准数学现实应用中的作用。

OpenAI一次性发布700多份数学手稿，引发数学界反弹。人类数学协会声明呼吁抵制，指其炫耀权力、破坏同行评审，但该协会仅809名会员，声明还被检测为AI生成。OpenAI承认部分论文存疑，已撤下3篇并修订多篇。争论核心是AI大幅降低成果产出成本，但理解与验证成本未降，正改变科研运行方式。

菲尔兹奖得主陶哲轩牵头人类数学协会（AHM）发表声明，抵制OpenAI。OpenAI无视咨询小组红线，用内部模型测试约8000道开放数学题，发布700多份机器生成证明，命中率约5%，每道仅耗3小时算力。数学家批评这些证明逻辑混乱、未经同行评审，且缺失密码学领域。陶哲轩警告“证明消化不良”与不可逆污染，杨立昆则持相反观点，认为数学正迎新时代。

陶哲轩从AI积极推广者转为“减速派”，在SAIR演讲中批评AI公司无休止加速却不顾后果，呼吁放慢数学AI研究。他提出“证明消化不良”概念，指AI量产证明却无人理解消化，会破坏数学认知生态。他与25位菲尔兹奖得主联名抗议，OpenAI回应成立顾问小组，但声明不干预内部进展。

陶哲轩简短发文，提及两份新报告，涉及AGMAI、人工智能与理论计算机科学，未展开具体内容。

数学家陶哲轩在博客发布客座文章，宣布成立独立于AI公司、不收取报酬的“数学与人工智能咨询小组”，由多位知名数学家组成，旨在就AI公司与数学研究的互动提供建议。当前任务是协助OpenAI协调其内部模型产出的大量数学成果的发布，并欢迎数学界通过表单反馈意见。

陶哲轩代表SAIR基金会启动开放数学模型计划，联合学界与产业界构建开放权重模型及开源工具。首阶段聚焦理解论证、核对文献、形式化证明等日常科研场景，遵循开放权重、可复现评测和社区治理原则，现征集资金、算力、专业经验与社区建设合作伙伴。

陶哲轩等人宣布启动Lean内核挑战赛第一阶段，旨在提升Lean 4内核验证计算的性能。比赛设八个问题：斐波那契、整数分拆、梅尔滕斯函数、素数计数、矩阵积和式、Rule 110、SHA-256和多项式判别式。参赛者需用Lean开发算法并证明其符合规范。截止日期为2026年11月20日，由Lean FRO与SAIR基金会合办。