小米开源 MiMo-V2.6 系列,Pro 模型以 Co-Scientist 身份参与真实科研
小米发布并开源 Xiaomi MiMo-V2.6 系列,含 Pro 与 Flash 两个原生全模态模型。Pro 以 Co-Scientist 角色参与 MOF 材料研究,将研发周期从约一个月压缩至 2—3 天;并在 Lean 4 中完成 Li–Yorke 定理形式化证明。
9 月 22 日凌晨,小米正式发布并开源 Xiaomi MiMo-V2.6 系列,该系列包含 Pro 与 Flash 两个原生全模态模型。小米方面表示,这是其探索 RSI(递归自我改进)路径的关键一步,通过规模化扩展强化学习算力,让模型在持续的探索与反馈中拓展智能边界。
据小米技术官方分享,MiMo-V2.6-Pro 已开始以“Co-Scientist”角色参与真实科研任务。在新材料研究中,该模型围绕金属有机框架(MOF)材料设计展开工作,协助研究人员检索文献、梳理研究方向、提出候选方案,并调用计算工具对材料性能进行模拟分析与筛选,探索永久性污染物(PFAS)吸附方向的设计可能。这一流程将原本约一个月的研发周期压缩到 2—3 天,效率提升 10 倍。
北京大学材料科学与工程学院特聘研究员、博士生导师窦锦虎对此评价称:“达到了训练有素的博士研究人员的水平。”
在数学形式化证明方面,MiMo-V2.6-Pro 协助研究人员在 Lean 4 中完成 Li–Yorke 经典论文《周期三蕴含混沌》主定理的完整形式化证明,6000 余行源码全部通过内核核验。值得注意的是,MiMo-V2.6-Pro 此前并未接受针对 Lean 的专项后训练,这一成果来自通用推理、代码生成与多智能体协作能力的综合运用。
MiMo-V2.6 系列沿用 V2.5 系列的 API 定价:Flash 为每百万词元输入 1 元。