跳到正文
2026 年 10 月 12 日 · 星期一每天 08:00 出刊

AI 日报 · 2026 年 10 月 12 日 · 星期一

VVAMAI

第 11 期122026 年 10 月星期一
7件大事3个来源0件一手发布约 3 分钟读完
头条

arXiv 将每人每月投稿上限设为两篇应对 AI 论文洪流

arXiv 宣布自 2026 年 10 月起将每人每月投稿上限设为两篇,以应对 AI 论文洪流。OpenAI 放出 722 篇数学手稿声称证明三维挂谷极大函数与四维挂谷猜想,陶哲轩就此宣布数学 2.0 时代已至,呼吁数学界从追求证明转向重视理解。

01

产品发布/更新

02

行业动态

03

论文研究

量子位

何恺明团队发布多模态Harness框架VISTA

何恺明团队在论文《VISTA: A Visual Harness for Reasoning in an Interactive World》中提出视觉原生Harness框架VISTA,把环境返回的每一帧原样保存到上下文之外,供模型按需回看、放大和对比,无需额外训练。

量子位

OpenAI 发布挂谷猜想手稿,声称证明三维极大函数与四维版本

10月7日,OpenAI 放出722篇数学手稿,其中编号074的两篇声称分别证明了三维挂谷极大函数猜想和四维挂谷猜想,合计272页。三维版本比王虹和Zahl证明的集合版更强,四维论文把卡在3点几的维数直接推到4,但该组成果没有Lean形式化,也未经同行评审。陶哲轩随后牵头人类数学协会发布声明,全面抵制OpenAI。

04

技巧与观点

量子位

陶哲轩宣布数学2.0时代已至,呼吁数学界从追求证明转向重视理解

菲尔兹奖得主陶哲轩宣布数学2.0时代已至,认为AI正让数学证明从稀缺走向泛滥,数学1.0时代以“谁最先解决问题”为核心的评价体系即将落幕。他指出OpenAI一次性发布722篇论文等事件冲击了数学界,提醒AI厂商只展示成功案例存在幸存者偏差,呼吁把失败结果和算力成本纳入透明评估机制,并主张减少对抢先生成证明的强调、转向重视解释、评审与知识整理。他还透露SAIR基金会的开放数学模型计划即将发布。

(本期完)

VVamAi 日报由编辑系统根据公开来源自动编辑,每条均附原文 · 日报合订本