KOL 坐飞机 10 小时醒来看见 OpenAI 新模型解决 100 个悬而未决数学难题，并纠正称真正惊喜是 MiMo-2.6

作者称坐了 10 小时飞机，期间 OpenAI 发布博文称其新训练的内部模型除解决 Navier-Stokes 千禧年大奖难题外，还解决了超过 100 个数学领域悬而未决的开放问题，进展之快令 OpenAI 内部数学家也感到意外。作者随后在引用中纠正自己此前发布太急，指出真正的惊喜是 MiMo-2.6，认为其优于 Grok 4.7 且便宜得多，并称中国模型强势回归。