搜索
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开发。
OpenAI在GitHub的openai/math仓库公开722份数学手稿，涉及372个问题家族及Lean形式化证明，并表示多数结果来自未发布的内部模型，部分未形式化结果可能存在问题。
Mistral 发布 Mistral Large 4，采用细粒度混合专家结构，总参数1.05T、每次激活49B，支持图文输入和100万上下文，API现已开放，权重计划于10月27日发布。
据彭博社报道，DeepSeek即将敲定至少800亿元人民币的新一轮融资，腾讯和宁德时代承诺出资金额居前，该轮融资拟为2027年初IPO铺路，但最终条款仍未确定。
清华团队开源以Qwen 3.8-27B为基础模型的VeriLoop E2，通过VGR外部证据门控实现可验证状态提交，并取得黎曼猜想临界线零点比例下界67.350003708785593%的严格有限维证书，但上游形式化桥接尚未完成。