A co-pilot for scientific research. 🔬
Without RL tailored specifically to scientific research, MiMo-V2.6-Pro is showing promise in materials design and mathematical formalization.
🧪 Materials research
Working with Xiaomi’s materials researchers, it proposed MOF materials for capturing PFAS “forever chemicals,” reviewed literature and patents, and ran computational screening to identify candidates for wet-lab validation.
📐 Formal mathematics
It helped researchers formalize the full main theorem of Li–Yorke’s “Period Three Implies Chaos” in Lean 4. After revision and integration, the project spans 6,000+ lines of code, verified by Lean’s kernel with no unfinished proof placeholders.
