菲尔兹奖得主丘成桐与多位中国数学家周日在京发起“丘成桐数学与人工智能实验室联盟”,联合八家机构,目标建成超 1000 名研究者的网络,丘成桐警告中国正落后于美国。西方数学界则普遍存疑,25 位菲尔兹奖得主包括 Terence Tao 和 Peter Scholze 担忧 AI 生成的证明侵蚀数学理解、让研究者依赖无法跟进的工具,部分人呼吁抵制 AI 生成证明。中国方面希望构建专用模型、可机器验证的证明以及透明的 AI 推理。
Google 宣布开发者即日起可用 Gemini 4 Argon 构建应用,该前沿模型面向真实软件工程、企业知识工作和网络安全防御等复杂工作流。它针对需要深度推理与结构精度的长周期任务设计,包括代码迁移和前沿研究,官方同时给出 Gemini API 开发者指南、Google Antigravity 与 Android Studio 的使用入口。
Simon Willison 发布 llm-meta-ai 0.2 插件,为 Meta AI 新模型 Muse Wonder 和 Muse Wonder Full 增加支持。该插件覆盖 minimal、low、medium、high、xhigh、max 六个推理档位,作者用画鹈鹕的方式对比了 Muse Wonder 与 Muse 1.3、Muse 1.2 的差异,并称 Meta AI 目前每月发布一个新模型。
Meta 正在 Meta Model API 平台上线 Muse Wonder 和 Muse Wonder Full 两款模型。Muse Wonder 主打真实场景编码,面向长时间运行的任务,能规划工作、并行调用工具、把部分任务交给子智能体并从错误中恢复;Muse Wonder Full 是 Meta 能力最强的模型,以最大推理量运行,面向最难、耗时最长的工作,仅向 Muse Code 订阅用户开放,不在 API 上提供。
Dyna Robotics 联合创始人兼首席科学家 Jason Ma 在 Latent Space 播客中介绍,Dyna-2 是基于超过一百万小时人类视频预训练的世界动作模型,采用扩散 Transformer 与 flow matching,先预测未来视频再生成机器人动作,类似视觉层面的链式推理。他称模型只需数十分钟到数小时的机器人演示数据即可适配新任务,Dyna-2.1 物理机器人已能连续一小时完成洗衣流程,餐厅客户 Din Tai Fung 处每天折数千张餐巾。他把数据与硬件列为通用机器人的主要瓶颈,指出灵巧手易过热、缺少触觉等传感维度,并解释公司选择轮式半人形、自研执行器与推理栈以压低延迟。