搜索
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%的严格有限维证书，但上游形式化桥接尚未完成。
StartLux发布完全开源的StartLux-Decision，其27B版本在Decision Index 0.2.1的38项基准中有31项超过Jev 1.13，并以63.88分升至公开榜首。
Tavus发布全双工视频到视频交互模型Griffin，可实时生成720p数字人并理解停顿、表情与动作，在一分钟测试中让54名参与者近48%误以为在与人交谈，但该结果未独立验证且模型尚未公开。
大模型竞技场Arena让Claude Opus 5.5与GPT-6 Astra各自练棋200局，前者估算评分从约1500升至1760，后者从第29盘的1810降至1400，显示AI仅靠记录与复盘提升能力的表现并不一致。
Anthropic 投入 1 亿美元成立 Claude Frontier Academy（Claude 前沿学院），计划在 2027 年底前培养 1 万名 FDE（前沿部署工程师），首批学员来自埃森哲、贝恩、麦肯锡等企业，已在旧金山、纽约和伦敦开班。
最近，AI 研究团队 Tavus 发布实时视频交互模型 Griffin，并公布了一项实验结果。在与其研究预览版 Griffin-Lite 进行一分钟视频通话后，54 名参与者中有 26 人认为，屏幕另一端坐着一个真人，占比约为 48%。
a16z最新90页报告《STATE OF MARKETS》指出，Alphabet、亚马逊、Meta、微软和甲骨文五家科技巨头2026年合计资本开支预计接近7770亿美元，AI建设正成为影响宏观经济的重要变量，供应链获得订单但回报兑现仍有先后，软件行业则进入"证明自己"的阶段。