2026-10-08 要闻

Sharing AI progress in mathematics

OpenAI 公布内部前沿模型在数学开放问题上的新结果，并开源 Lean 形式化证明与Research细节。 AI 攻坚数学开放问题从新闻走向常规产出，722 篇论文的规模化验证随之而来。

OpenAI一夜甩出722篇数学论文！黎曼霍奇BSD全上阵，数学家：读不过来

OpenAI 单日放出 722 篇数学论文，覆盖黎曼、霍奇与 BSD 等重量级猜想方向。 数学界直呼读不过来：AI 产出速度首次系统性超过人类审读能力。

GPT-6 and Intelligent UI for everyone

OpenAI 阐述 GPT-6 时代的智能界面：软件从「人找功能」转向「界面理解意图」。 UI 范式之争的官方表态，生成式界面正在从 demo 走向产品默认形态。

South Korea says AI agents appear to have been used to hack the country's banks

韩国官方披露疑似 AI Agent 参与攻击该国银行系统的安全事件。 若属实将是国家层面首次归因 AI Agent 的金融攻击，监管后果值得紧盯。

EmbeddingGemma 2: an open, lightweight multimodal embedding model

Google DeepMind 发布开源轻量多模态嵌入模型 EmbeddingGemma 2。 端侧检索与 RAG 的嵌入层再添开源选项，小模型赛道持续升温。

OpenTPU – An open-source AI accelerator, developed by AI

OpenTPU：用 AI 设计的开源 AI 加速器项目公开。 「AI 设计芯片」从大厂实验室下放到开源社区，硬件开源版图补上关键一块。

AI-assisted proof of optimal packing for 11 squares

人机协作完成 11 方块装箱问题的最优性证明。 AI 辅助证明从猜想生成走向完整最优性论证，组合数学先行落地。

Radisson Hotel Group brings hotel discovery into ChatGPT

丽笙酒店集团把酒店发现与预订探索直接搬进 ChatGPT。 品牌方主动接入对话入口，OTAs 的流量垄断开始被 AI 入口松动。

Helping teens learn, plan, and shape the future of AI

OpenAI 面向青少年推出学习与规划场景的 AI 使用规范与产品能力。 未成年人保护与教育场景是 AI 产品合规的下一个主战场。

Meshy 跻身 a16z 消费级 AI 应用月收入 Top 50，为榜单唯一 AI 3D 公司

Meshy 进入 a16z 消费级 AI 应用月收入 Top 50，为榜单唯一 AI 3D 公司。 AI 3D 从演示走向真实营收，垂直赛道的商业化验证完成。

Write Like It's 1866: LLMs Relearn Telegraphese

LLM 在电报体写作实验中重新收敛出 19 世纪的省字压缩风格。 token 成本压力下模型自发演化出信息压缩语体，语言经济学有趣样本。

Erdosproblems.com Succumbs to the AI Onslaught

Erdős 问题库站长发文：AI 席卷数论带来大量解答，但无解释的 AI 解正在挤走真正关心数学的人。 AI 冲击下人类社区如何自处的真实样本，站点将据反馈做出调整。