小米 MiMo 2.6 Pro 用 Lean 4 完整形式化「周期三蕴含混沌」定理
Dr_Singularity · x · 2026-09-23
博主 DrSingularity 称中国模型已进入高等数学阶段：小米 MiMo 2.6 Pro 帮助研究者在 Lean 4 中完整形式化了经典混沌理论定理「Period Three Implies Chaos」（Li–Yorke 定理），产出 6000 余行经内核验证的证明代码，无未完成证明。
他认为中国、欧盟、印度、日韩等实验室将陆续追上并做出媲美 OpenAI 水平、能攻克千禧年大奖难题的系统，且数学之外物理、生物同样有巨大空间——问题近乎无限，容得下数千个玩家。
所属事件:小米 MiMo 2.6 Pro 助力李-约克混沌定理 Lean 形式化(2 条相关)→
「模型」频道最新
- 开发者自建 git 网页应用被 Codex 安全护栏误判为网络安全风险 — brianmichel · 2026-11-11
- DeepSeek 开源编码 agent DSH 登上 HF Harness 榜，五项评测并列第一 — TheZachMueller · 2026-11-11
- 博主断言美国开源模型将凭盈利模式主导，但仍难追 Claude — marktenenholtz · 2026-11-11
- NVIDIA 发布开源 GR00T 2：真实灵巧手全自动完成化学实验 — EricBuess · 2026-11-11
- 降价反而更贵:新模型太爱自查，单任务成本涨31% — tengyanAI · 2026-11-11
- 美国数据厂商被指向中国军方关联企业出售RL环境数据 — xeophon · 2026-11-11