Xiaomi MiMo 2.6 Pro Helps Formalize Period-Three-Implies-Chaos Theorem in Lean 4

Xiaomi says its MiMo 2.6 Pro helped researchers fully formalize the classic Li-Yorke 'Period Three Implies Chaos' theorem in Lean 4, spanning over 6,000 lines of code.

2026-09-22 ~ 2026-09-23 · 2 related posts

• Xiaomi MiMo 2.6 Pro formalizes Li–Yorke chaos theorem in 6,000+ lines of verified Lean — bookwormengr · 2026-09-22
• Xiaomi's MiMo 2.6 Pro formalizes Li-Yorke chaos theorem in Lean 4 with 6,000+ verified lines — Dr_Singularity · 2026-09-23