小米发布 MiMo-V2.6 Pro 与 Flash，展示科研辅助能力
A co-pilot for scientific research. 🔬
小米 MiMo 发布 MiMo-V2.6 Pro 与 Flash 两款全模态模型，官方称 Pro 在多数智能体基准上与 Claude Opus 5、GPT-5.6 Sol 相当，并在 Artificial Analysis Intelligence Index 上得分 46。官方还展示了科研辅助案例：与小米材料研究人员合作提出用于捕获 PFAS 的 MOF 材料并完成文献专利调研与计算筛选；协助研究人员在 Lean 4 中形式化 Li–Yorke 混沌定理，项目代码超过 6000 行且经 Lean 内核验证无未完成证明占位符。Pro 与 Flash 模型权重、技术报告、7K+ RL 任务环境、端到端 RL 框架及可组合 mini-harness 均已开源，API 定价与 V2.5 持平。
正文
当前显示原文，中文全文译文尚未就绪。
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.