小米 MiMo 2.6 Pro 助力李-约克混沌定理 Lean 形式化

小米官方称，MiMo 2.6 Pro 协助研究人员在 Lean 4 中完整形式化了李-约克经典论文《Period Three Implies Chaos》（周期三蕴含混沌）的原始主定理，代码超过 6000 行。过程中多个模型在研究设计的探索策略引导下协作完成。有博主称这标志着中国模型已进入高等数学研究阶段。

2026-09-22 ~ 2026-09-23 · 2 条相关

• 小米 MiMo 2.6 Pro 协助完成李-约克定理 Lean 形式化，超 6000 行代码 — bookwormengr · 2026-09-22
• 小米 MiMo 2.6 Pro 用 Lean 4 完整形式化「周期三蕴含混沌」定理 — Dr_Singularity · 2026-09-23