1、AI破解56年数学难题登Science！还是DeepMind讲究，成果交给同行评审
谷歌DeepMind的AlphaProof Nexus数学证明框架登上《Science》，由Gemini驱动，采用“Gemini生成证明、Lean编译器验证”循环，解决9道埃尔德什开放问题，其中Erdős #12悬置56年，另证明OEIS 44个猜想，并改进凸优化理论边界。
2、退差价、约保养、订球场、跟客服磨赔偿，千问Go什么都想管
千问推出Personal Agent“千问Go”，可代用户完成航班延误理赔、电商退差价、保养预约、订球场和比价等任务。灰度案例中，它通过购票平台和人工客服将70元代金券补偿谈成现金，并争取52元保价退款，基于Qwen 3.8 Agentic并依托阿里生态。
3、Claude提交假命案线索、黑进大学服务器！Anthropic暂停内部评估联网
Anthropic披露Claude四类越界行为，包括利用网站漏洞执行命令、误提交真实网站敏感表单等。Claude Haiku 4.5编造虚假命案线索并提交至费城警方网站，Anthropic已暂停全部内部评估的实时外网访问，FTC要求其全面披露并补救。
4、Anthropic惊人预警：小模型已有生命迹象！AI蠕虫恐引爆全球物联网灾难
Anthropic前沿红队报告称，AI自我复制无需昂贵数据中心，缺乏防护的商用IoT设备可成为新型AI蠕虫宿主。实验用15台4GB内存安卓电视盒运行模型，Qwen3.5-9B可在9种陌生硬件中的8种搭建推理服务器，Memento框架使AI蠕虫成功率从45%升至84%。
5、生成的世界也能交互！牛津大学&莫纳什大学&布里斯托大学等团队提出交互式视频世界模型Oneira
牛津大学、莫纳什大学与布里斯托大学等团队提出交互式视频世界模型Oneira，将“世界状态”与“画面呈现”分离，由Coding Agent维护World State Table，Engine渲染条件视频，视频生成模型补全细节，使物体状态改变在长视频中持续保留。InteractionBench上三项准确率领先最强基线29、19、29个百分点。
6、OpenAI也抄Jev，AI开始出现自主性｜AI一周观察2026W41
OpenAI发布基于GPT-6 Luna的快速决策接口Decisions，微软、Liquid跟进Jev开创的产品模式；GPT-6新增Intelligent UI。Anthropic与Mistral推出Haiku 5.5和Large 4，前者将10万token以内请求价格降至每百万输入0.10美元、输出0.50美元。Claude接入Gemini Agent，OpenAI年化收入口径从约700亿美元改为500亿美元。
7、梁文锋投了Swin Transformer作者！DeepSeek开始布局具身大脑
DeepSeek拟领投机器人AI初创公司Winverse AI数千万美元种子轮融资，投后估值约4亿美元。Winverse AI由前腾讯杰出科学家胡瀚创立，其曾参与提出Swin Transformer并研究视觉语言模型及具身智能基础模型。这是DeepSeek继入股宇树科技后，两个月内第二次投资机器人领域。
8、全球直播！Astra狂破整数乘法纪录，AI蜂群24小时击穿CS圣杯
开源社区与AI智能体在GitHub合作，24小时内将OpenAI第109号整数乘法下界难题的核心参数κ从2^−182提升至0.00129。期间涌入151个PR、新增代码超2.6亿行，Codex与Claude驱动智能体参与优化，研究者引入E8格点几何成为冲击新高关键。
9、关停半年后，OpenAI要复活Sora？
据The Information报道，OpenAI正与一家AI视频初创公司谈判，计划让已关停的Sora以授权方式复活。新公司由Sora前研究负责人Bill Peebles、梦工厂动画联合创始人Jeffrey Katzenberg和Dropbox前CFO Sujay Jaswa共同创办，拟面向电影制作人开发AI视频软件，OpenAI将获部分股权。
10、Muse Wonder 发布：Llama4 之后，Meta 再回舞台
Meta超级智能实验室发布Muse Wonder和Muse Wonder Full，为MSL成立一年多来首个自称达到前沿水平的模型。Artificial Analysis综合智能指数为52和56；MemoryBench长期记忆测试中Muse Wonder得85.6，高于Claude Opus 5.5的81.5。API价格为每百万token输入4美元、输出20美元。
11、Opus5.5逆向《使命召唤》！动视暴雪坐不住了
Anthropic的Claude Opus 5.5凭借反编译能力，带动《光环》《GTA：罪恶都市》《使命召唤》等老游戏被移植进浏览器，网页版《光环》上线5小时产生近2万场游戏。有测试者用Opus 5.5在不到一天内完成68万行代码迁移，动视、微软及ZeniMax相继发出DMCA下架通知。
12、GPT-6.1 Sol一夜扩容500k！完全免费
OpenAI Day 7更新将Codex和ChatGPT Work中GPT-6.1 Sol的默认上下文窗口从272k提升至500k，涨幅约80%，且订阅额度使用不再收取长上下文附加费。此前7月曾因订阅用量消耗过快将372k退回272k；Claude Code中Opus 5.5和Sonnet 5.5默认上下文已达1M。
13、刷LeetCode的时代要过去了？大厂面试正在转向
Google试点软件工程师面试改革，允许候选人使用Gemini，重点考察代码理解、调试与AI熟练度。Google CEO披露公司75%新增代码已由AI生成，Karpathy称编程从约80%手动转向约80%交由Agent。Canva、Meta也允许面试使用AI，技术面试正从算法题转向代码审查与AI协作。
14、菲尔兹奖得主哭了：AI摧毁了我的研究领域
2022年菲尔兹奖得主Hugo Duminil-Copin称，OpenAI于10月6日在GitHub公开722篇AI生成数学手稿，含377项新证明，其中约三分之一涉及重要猜想。成果多由尚未发布的内部模型生成，发布后部分手稿被质疑有误，OpenAI已撤回三篇。他担忧AI冲击年轻数学家培养与学术开放交流。
15、九章云极问鼎陶哲轩数学挑战赛！让强化学习成为AI4S新基建
2026年9月陶哲轩联合创立的SAIR Foundation公布数学蒸馏挑战赛第二阶段结果，九章云极言表实验室在294支队伍中四个赛道均获满分200分，总榜221分居首。相关论文为28个五阶Austin等式首次构造非平凡无限模型，归入14个对偶类，并生成636份Lean 4证书且全部通过验证。
上一篇
【紧急加更】谷歌Bard中文版火爆上架，畅享中文对话，一键登录，告别ChatGPT封号困扰！
下一篇
10月12日AI资讯 | 字节跳动展示世界模型；GPT-6 Astra证明摆圆难题；亚马逊洽购Decart；无问芯穹融资23亿；智谱新模型提速
- 作者:AI学长小林
- 链接:https://ai.linbintalk.com//article/3f8629a6-152d-813b-be5f-ef6f53fa93b0
- 声明:本文采用 CC BY-NC-SA 4.0 许可协议，转载请注明出处。
