ALL HERE INDUSTRY INSIGHTS
行业咨询
来自一手发布、开源社区与论文平台的前沿动态。
DeepMind 研究员喊出「RSI 来了」，但 Gemini 4 Argon 真正的王牌是那 2 美元的输入价格
Google DeepMind 研究员说「教不动模型了」，谷歌七年沉默后带着 Gemini 4 Argon 回来了 Google DeepMind 研究员 Zirui Wang 在
发布日期：
阅读全文 →217年未解的拿破仑密信，被一个不懂密码学的工程师6小时破解了
上周的AI圈新闻里，最让我有反应的不是又发了哪个大模型，而是这么一件「边角料」：一封印了217年没人能看懂的拿破仑密信，被一个不搞密码学的人，用 GPT-6 Astra 花了6个小
发布日期：
阅读全文 →GPT-6.1 Sol 突袭上线：五分之一价格逼近 Astra，循环模型的算盘打得响
凌晨的开发者大会，OpenAI 没按剧本走。原本该上的 GPT-6.1 因为对齐回归问题被紧急按下，结果反手抛出一个「干活特化版」的 GPT-6.1 Sol，直接塞进了 Codex
发布日期：
阅读全文 →让K3自己写「超级算子」去榨干K3：推理快3倍，主战场从芯片挪到了系统
同一周，同一个 K3 模型，两条不同的提速路线撞到了一起。 上一周，vLLM 原班人马创办的 Inferact 开源了一套 TPU Megakernels（巨型算子），把 K3 的
发布日期：
阅读全文 →10个Claude通宵15小时，干完了人类122年没干成的事：汤姆逊问题N=7被形式化证明
先给结论：10个Claude Sonnet 5.5没有人类插手，通宵15小时，互发1270条技术消息，最后拿出一份17895行的Lean形式化证明，把悬了122年的汤姆逊N=7问题
发布日期：
阅读全文 →OpenAI 200刀Pro回归，等效算力却腰斩：开发者骂翻，这是一场把订阅往API赶的阳谋
OpenAI 的 200 美元 Pro 订阅，明天重启。对一直嫌算力不够用的重度开发者和初创团队来说，这本来是好事，这个 20x 计划一度被当成续命神器。可紧接着，OpenAI 负
发布日期：
阅读全文 →320B开源「黑马」自己抓bug，凶手是一个空格
凌晨悄没声儿扔出来一个320B的开源大模型，权重和blog一口气全甩出来，没搞发布会，也没整什么预售排队。这匹「黑马」叫 IQuest-Q1，背后是国内一支叫至知创新研究院（IQu
发布日期：
阅读全文 →OpenAI 发布 Dots：24 小时 AI 同事来了，但能不能真正替你干活？
关掉聊天窗口，任务还在跑——这是 OpenAI 在 9 月 29 日 DevDay 2026 上抛出的核心承诺。 新发布的产品叫 Dots，由奥特曼亲自官宣。它被定位为一位「24
发布日期：
阅读全文 →AMD 82亿美元吞下World Labs：苏姿丰把李飞飞整个买到了手
今天早上刷到这条消息的时候，我愣了一下，又把标题读了一遍：AMD官宣，已达成最终协议，收购李飞飞的World Labs，交易金额82亿美元。交易完成后李飞飞出任AMD执行副总裁兼首
发布日期：
阅读全文 →北大用 AI 把庞加莱猜想写进了 Lean：320 万行代码、3 万美元、半个月
北大北京国际数学研究中心的 FrenzyMath 团队，宣布独立完成了庞加莱猜想在 Lean 4 里的完整形式化。据团队说法，这是目前已知首个同时通过 Lean build 和 C
发布日期：
阅读全文 →AI 推翻论文猜想，作者回信确认：453 份手稿背后，是「AI 会不会选题」这道新考题
思特雅大学的曾仔健做过一个很普通的测试：他把自己论文里一个猜想直接丢给大模型，本来只想看看模型能算到哪一步。结果 AI 没有顺着论文继续「证明」，而是构造出了一个反例，把这个猜想当
发布日期：
阅读全文 →正面叫板 Figure Helix 的 Delta 0：力气不够，它知道用腰和腿来凑
清北团队的双足人形，拽开了拧不开的洗碗机门 清北背景的德塔智能今天放出一段 3 分钟视频。装上新发布的双足人形基础模型 Delta 0 的机器人，从铺床、捡玩偶、塞脏衣服、开洗碗机
发布日期：
阅读全文 →一秒一毛钱的H3增强版：开源基座反超Seedance 2.0，凭什么是它
7月底 MiniMax 把 H3 开源的时候，Artificial Analysis 视频编辑榜直接给了 Elo 1130 分，冲上全球第一。底子确实好，社区也一阵叫好。但真拿到量
发布日期：
阅读全文 →