搜索
研究团队提出7B审计员AgentForesight，可在多智能体任务运行中在线识别并归因关键错误，其AFTraj-2K Exact-F1达66.44，成功轨迹误报率仅2.37%。
TypeSafe AI完成8.7亿美元A轮融资，投后估值达75亿美元，由a16z领投，其可直接写入代码的决策模型Jev上线后迅速增长。
谁能想到…Gowers你可能还是乐观了。10月7日，OpenAI一口气放出了722篇数学手稿，论文和部分Lean证明全部上传Github。其中编号074的一组只有两篇，正是王虹拿奖的那个方向：挂谷猜想。
人大高瓴 GeWu-Lab、智源研究院与燧行 AresoX 等机构提出 ROMA，构建 ROMI-2K、ROMA Bench 及 ROMA-7B，使机器人融合视听触力主动探索物体，并在 ROMA Bench 上以 72.9% 总体任务成功率基本追平 GPT-6 Astra。
就在刚刚，特朗普把美国国家科学奖章，颁给了马斯克。 他在台上当众猛夸，「埃隆是我们当代的托马斯·爱迪生」！ 就在今天，同台领奖的，还有黄仁勋、苏姿丰、布林、纳德拉和戴尔。 全球最富的7个人
王虹与Zahl解决三维挂谷猜想集合版后，OpenAI在GitHub公开首批722篇数学手稿，其中175页四维稿主张证明一般四维挂谷集合满维，97页三维稿则针对更强的极大函数猜想，论证仍待独立检验。
曾因在字节跳动实习期间篡改代码被判赔50万元的田柯宇，其10人团队获五源资本和IDG 3000万美元投资、估值2亿美元，拟以自回归符号世界模型挑战李飞飞的空间智能路线，并于2027年发布基座模型。
9 月 22 日，以 FLUX 图像模型闻名的 Black Forest Labs 跨界发布了开源 7B 世界动作模型 FLUX 3 Action。据其官方博客，该模型在英伟达 RoboLab-120 榜单上超过了此前最强的开源模型 Cosmos 3 Nano，参数量却不到后者一半。一家做图像生成的公司跑来卷机器人控制，说明视频模型里积累的「物理直觉」正被越来越多的团队当作机器人大脑的底座。
10 月 6 日，OpenAI 公开了 AI 产出的 722 篇数学论文，包括准黎曼猜想的相关证明。前 Google 科学家、xAI 联合创始人 Christian Szegedy 表示，数学家穷尽一生攀登的险峰，机器可乘飞机直接抵达。但 Szegedy 认为，数学不是走向终结，而是探索方式的改变 —— 人们可以借助飞机，抵达更多未境之地，他自己对此兴奋不已。
2026年的巴黎，秋意微凉。