最近一周AI科技圈又发生了啥新鲜事?
陶哲轩提出“数学2.0”研究构想
随着 AI 推动数学研究从“证明稀缺”走向“证明富足”,单纯以解决开放问题衡量进展,可能使证明产出与人类理解脱节。陶哲轩在演讲中指出,当前 AI 能力仍不均衡,大多数前沿问题尚未解决,评估应完整披露算力消耗、失败尝试和负面结果。他以等式理论项目和逆伽罗瓦问题挑战为例,介绍人机协作开展大规模实验数学的可能性,并提出改进已有证明的阐释、建设动态知识网络与形式化数学库、发现新方法、开展定理消融与邻域探索、开发可解释的开源数学模型、制作交互式教材等方向。同时强调,形式化正确不等于符合现实需求,应保留人类对模型适用性和失效方式的判断,让 AI 强化数学理解及其实际应用
https://terrytao.wordpress.com/2026/10/10/math-2-0/
田渊栋分享人机协作研究经历与递归自我改进思考
借助 GPT-5 完成关于神经网络泛化现象的论文,田渊栋估计研究效率提高了约 6 至 10 倍,也由此产生工作可能被替代的判断,选择参与创办 Recursive Superintelligence。访谈回顾了深度学习、围棋 AI 和强化学习研究经历,强调动作与状态空间设计的重要性,并讨论 Coconut 潜空间推理在数据、表示学习和训练方法上的障碍。对于科研自动化,田渊栋认为提出有价值的想法仍最难替代,人类需要确定方向并验证结果;提高学习效率、理解网络内部机制,是探索新架构能否规模化的关键。谈及递归自我改进,认为监管边界难以划清,并表示公司会开放研究成果,看好开源模型跨过实用门槛后的普及
https://www.the-information-bottleneck.com/p/yuandong-tian-on-recursive-self-improvement-600
TRAE 合并 TraeWork 与 TraeCode
新版客户端将需求拆解、方案设计、代码开发、测试检查和产物交付纳入统一工作流,支持 Agent 与 IDE 两种模式切换,并覆盖桌面、网页和移动端。Agent 模式可管理多个项目、调度多个智能体并行工作,支持多目录本地任务和 SSH 远程环境;IDE 模式用于深入编辑与调试。自动化任务、模板库、“我的助理”和“我的产物”也被整合,分别承接重复流程、常用任务、非编码工作以及代码、文档、图片和视频等成果管理。升级将迁移聊天记录、账号、本地数据及商业积分等内容,TraeWork 用户按提示安装并迁移,TraeCode 用户由客户端触发升级,新版本仍处于灰度测试阶段,将分批推送
https://mp.weixin.qq.com/s/PaOUnFke0Qi3GAZleLHcuA
OpenAI 推出 GPT-6.1 Sol Ultrafast 模式
在保持标准版智能水平的基础上,Ultrafast 模式将 GPT-6.1 Sol 的速度最高提升至标准版的 8 倍,并结合更新的模型控制系统,及时响应用户对指令的调整,面向故障排查、智能体实时操作等场景。API 按每百万输入、输出 token 分别收取 12 美元和 60 美元,为标准版的 6 倍,开发者可直接按量调用,不受订阅等级限制。Codex 与 ChatGPT Work 中则仅向 Pro 500、符合条件的按量付费 Enterprise 和 Edu 用户开放。部分试用者认可响应速度,也反映用量额度消耗较快,并对限制其他付费用户选择该模式提出质疑
https://community.openai.com/t/ultrafast-is-rolling-out-today-for-gpt-6-1-sol-in-the-api-codex-and-chatgpt-work/1404475
西湖机器人发布 WR1 通用大脑并演示人形机器人自主叠衣
公开演示中,搭载 WR1 的人形机器人连续完成取出玉米、转身放入空气炸锅、收纳玩偶和整理被子等跨房间任务,还通过双机协作完成长裤的取下、承托、转移、铺展与折叠;文章称,这是全球首次由人形机器人灵巧手完成完整衣物折叠的公开演示。技术上采用通用大小脑双预训练架构,将世界模型与视觉语言动作模型融合,统一生成移动、躯干姿态和手部操作指令,再由通用动作专家 GAE 执行。通过运动状态回顾、实时动作分块衔接及前瞻延迟补偿,维持动作连贯性并应对环境扰动
https://mp.weixin.qq.com/s/i6wI3fvzpWnuHxKqSS8L3g
OpenAI 公开内部模型生成的 722 篇数学手稿
这批手稿由约 4000 个研究问题的评估结果筛选而来,归为 372 个成果族,覆盖 17 个数学方向,涉及准黎曼猜想、四维挂谷猜想、唯一游戏猜想等问题。OpenAI 称,大多数结果采用固定流程,平均算力消耗约相当于 3 小时 ChatGPT Pro 思考;同时公开部分 Lean 形式化证明、10 份推理摘要及计算统计,其中 235 个成果族附有形式化说明。内部模型名称尚未公布,未形式化结果仍可能存在问题。围绕发布方式,数学界关注引用、署名、同行审读、失败率披露和中立存储等要求。文章强调,形式化验证仍需核对命题及覆盖范围,重大结果能否成立、如何转化为可理解和使用的数学知识,仍有待专家审查
https://github.com/openai/math
谷歌发布通用办公智能体 Gemini Agent
用户交代工作目标后,Gemini Agent 可自行规划步骤,在云端持续运行,跨应用完成检索、邮件、演示文稿、数据分析和编程,并支持多智能体协作、事件触发及定时任务。企业可配置拥有独立 Workspace 账号、邮箱、日历和存储空间的 Coworker Agent,以独立身份参与协作并留下操作记录。会话、语义、程序性和情景四类记忆用于保存上下文、业务知识、工作方法与执行经历,还可自行编写 Skills。多模型编排与 Smart Routing 支持在 Gemini 和 Claude 之间按效果、速度与成本选择,切换模型时保留既有上下文和企业数据
https://cloud.google.com/blog/products/ai-machine-learning/welcome-to-gemini-at-work-2026/
Francis Halzen 获得诺贝尔物理学奖
此次物理学奖由 Halzen 独享,表彰其对 IceCube 中微子天文台的决定性贡献,以及对天体物理高能中微子的发现。IceCube 利用南极约一立方千米的深层冰体,通过 86 根探测串上的 5000 多个光学模块记录次级粒子产生的切伦科夫光,重建中微子的方向和能量,并从大量大气背景中识别宇宙信号。相关观测确认了天体物理高能中微子的存在,随后在耀变体 TXS 0506+056、星系 NGC 1068 和银河系盘面方向取得证据,为追踪宇宙线来源提供线索,也用于研究格拉肖共振等粒子物理现象。文章同时介绍全球多处中微子望远镜的建设与升级,以及通过联合分析实现全天覆盖的 PLEνM 设想
https://mp.weixin.qq.com/s/86hlU2lw4wexVlkapaAT9A
JetBrains 发布编程模型 Mellum2.1
新版本沿用 120 亿总参数、25 亿活跃参数的混合专家架构,以 Apache 2.0 许可发布,主要将强化学习扩展为训练主体,增加数学、算法、科学、工具使用和软件工程任务。通过数百万个沙盒环境训练及数据筛选,增强代码库探索、文件编辑、测试失败定位和修复验证能力。官方测试显示,多 Token 预测使单请求速度提高约 1.6 倍,高负载推理吞吐量接近 Qwen3.5-9B 的两倍,多项能力评估也有所提升。模型已登陆 Hugging Face,支持本地或自有设施部署,后续计划提供 GGUF 版本及 vLLM 推测解码组件
https://blog.jetbrains.com/ai/2026/10/mellum2-1-gets-to-work-a-fast-open-model-for-coding-agents/
Google DeepMind 发布 Nano Banana 2.1
基于 Gemini 3.6 Flash 的新版图像模型重点改善视觉设计、蒙版局部编辑、主体一致性与画面自然度,支持 1K、2K、4K 输出及最多 14 张参考图融合,并优化超宽幅画面的平铺伪影。官方评测中,信息图设计、局部编辑和多角色一致性均较前代提升;结合网页与图片搜索,还可辅助知识型图示生成,并改善文字和布局准确度。模型已作为稳定版本进入 Gemini API,同时接入 Gemini App、AI Studio、搜索 AI Mode、Ads、Flow 和 Stitch 等产品。模型卡也明确,小字号和长文本渲染、角色一致性、编辑范围控制、空间关系及事实准确性仍存在局限
https://storage.googleapis.com/deepmind-media/Model-Cards/Nano-Banana-2-1-Model-Card.pdf
Anthropic 发布 Claude Haiku 5.5
新模型首次在 Haiku 系列中提供从 low 到 max 的五档推理强度,提升电脑操作与专业任务表现,并对提示词不超过 10 万 token 的请求将输入、输出价格较前代降低 90%,超出部分降低 50%。不过,更换分词器会增加部分任务的 token 消耗,实际成本降幅可能低于标价降幅;复杂编码能力仍与 Sonnet 5.5 存在差距,更适合任务明确、可并行执行的子智能体工作。迁移需调整思考配置、采样参数、消息预填充、电脑操作工具及响应解析。此次还将 Sonnet 5.5 缓存读取价格降至每百万 token 0.10 美元,并向符合条件的 Max 和 Team 用户提供可用于各模型的 API 额度
https://www.anthropic.com/claude-haiku-5-5