2026 年 10 月 28 日 · 星期三AI · 每日要闻每天 08:00 出刊
AI 日报 · 2026 年 10 月 28 日 · 星期三
MYHOT
第 26 期282026 年 10 月星期三
十月本月 26 期
一二三四五六日
3件大事3个来源1件一手发布2个新模型约 1 分钟读完
头条
OpenAI称AI一次性证明卡凯亚猜想并推翻ETH
OpenAI宣布其模型一次性带来三项数学与物理成果：证明局部平滑化猜想并由此推出卡凯亚猜想在所有维度成立，证明指数时间假设为假，并为量子色动力学和杨-米尔斯理论构造存在性证明。OpenAI已请包括诺奖得主在内的外部专家核验这些证明，并将数学和计算机科学证明翻译成Lean。
模型发布/更新
OpenAI 宣布 AI 证明卡凯亚猜想、推翻 ETH 并触及杨-米尔斯理论
OpenAI 宣布其模型一次性带来三项成果：证明局部平滑化猜想并由此推出卡凯亚猜想在所有维度成立，证明指数时间假设（ETH）为假，并为量子色动力学和杨-米尔斯理论构造存在性证明。
Google DeepMind 发布世界模型 Genie 4
Google DeepMind 发布新一代世界模型 Genie 4，原生支持多模态，可在生成世界的同时产生音乐、环境音和实时对话。它借助 Gemini 系列维持模拟的连贯性，Gemini 3.8 Flash 在循环中充当引导 Agent，把目标拆解为步骤并核对每帧进度。
行业动态
OpenAI 请包括诺奖得主在内的外部专家核验 AI 生成的数学、计算机科学与物理证明
OpenAI 请外部专家担任证明结果的 shepherds，并称已将数学和计算机科学证明翻译成 Lean。