搜索
曾因在字节跳动实习期间篡改代码被判赔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年的巴黎，秋意微凉。
2026 年 10 月 7 日，纽约创业公司 Stuut 宣布完成 5250 万美元 B 轮融资，由 Insight Partners 领投，Andreessen Horowitz、微软旗下 M12 和 Activant 参投。
天降横财，始于 30 年前的一场“意外”。
今天上午，OpenAI 把一个尚未发布的内部模型产出的 722 篇数学手稿一次性放上了 GitHub。发布本身的来龙去脉、模型背景和数学界的争议，我们在上一篇报道里已经梳理过。这一篇换个角度，打开仓库，看看清单上到底有哪些成果。
OpenAI公开了未发布的内部前沿模型产出的722篇数学手稿，归为372个成果族，涉及准黎曼猜想和四维挂谷猜想等，其中235族附有Lean形式化说明，仍待专家审读验证。
Anthropic内部尚未发布的超前代Claude自动生成完整证明代码，并经Lean严格验证，攻克了渗流理论3至10维连续相变猜想这一困扰数学界近70年的概率论“圣杯”难题。
Utopai Studios正以Utopai X和PAI将模型生成、素材管理及专业协作纳入同一电影制作流程，并规划三部2027年院线片，同时拓展DeNA合作与体育IP开发。