Reddit 网友盘点在研新模型：Gemini 4.0、GPT Bel 与 K4 竞速
IllCryptographer9461 · reddit · 2026-09-22
一位 Reddit 用户汇总了当前各家实验室内部高速推进的新模型传闻，并发起「谁先到 ASI」的讨论：
- OpenAI：传内部未发布模型（代称 'Bel'）能解最难的数学题，据称一口气解决了上百道。
- Google DeepMind：LMSYS Arena 上已出现 Gemini 4.0 的身影，被指是重大架构跃迁，定位通用性极强且定价激进。
- Anthropic：Opus 与「Fable」产品线在快速内部迭代。
- DeepSeek 与 Kimi：Kimi 已暗示在 K3 之外规划 K4 架构。
作者个人押注 SSI（Safe Superintelligence）最先做出安全 ASI，其次是 DeepMind 与 OpenAI；并质疑各家口称「放慢开发」实则全面提速。注意其中多数名称与成绩均属未证实爆料。
「漫话AGI」频道最新
- 小模型更省钱可能是错觉：隐藏的返工与审核成本 — zeuslac · 2026-09-22
- 数学家获「优待」放缓冲击,OpenAI 却放任初级程序员市场被冲垮? — eigenrobot · 2026-09-22
- 「2030 年所有主流软件都将被形式化验证」引发激辩：遗留债务是最大障碍 — luislamb · 2026-09-22
- 阿里 CEO 吴泳铭:机器思考尚不足人类的 3%,仍有千倍增长空间 — alifcoder · 2026-09-22
- Sarah 提醒:厂商靠砍 token 限流省成本,用户迟早用脚投票 — saranormous · 2026-09-22
- 民调：63%美国人反对社区建数据中心，两党罕见一致 — AlexTensor · 2026-09-22