Xiaomi Tech
@XiaomiTech_
Let everyone in the world enjoy a better life through innovative technology.
38 Following 3.3K Followers
A new architecture exploration for Xiaomi MiMo-V3.
HySparse2 explores a new architecture designed for long-context, multi-turn agent tasks — reducing Prefill computation, lowering KV Cache usage, and improving long-context retrieval.
Discover the research behind Xiaomi MiMo-V3 ↓
#XiaomiMiMo# #XiaomiAI# #AIAgent#
Show more
A classic mathematical theorem. 6,000+ lines of Lean code. Verified by the kernel.
Xiaomi MiMo 2.6 Pro assisted researchers in fully formalizing the original main theorem of Li–Yorke’s classic paper Period Three Implies Chaos in Lean 4.
Guided by a research-designed exploration strategy, multiple Subagents collaborated on theorem formulation and proof formalization. After revision and integration, the project spans 6,000+ lines of Lean code, verified by Lean’s kernel with no unfinished proof placeholders.
Notably, Xiaomi MiMo 2.6 Pro was not specifically post-trained for Lean.
#XiaomiMiMo# #XiaomiMiMoV26# #AIforScience# #XiaomiAI#
Show more
Xiaomi-Robotics-U0 is now fully open source. 🤖
We’re releasing the Xiaomi-Robotics-U0 World Model training and inference framework, and model weights in 4B and 34B, supporting:
• Embodied scene generation & editing
• Single-image generation & image editing
• Video generation
• Interleaved vision-language sequence generation
We hope this open release lowers the barrier to experimentation and accelerates the exploration and real-world application of world models in robotics.
Website：
GitHub：
Hugging Face：
#Robotics# #EmbodiedAI# #WorldModel# #XiaomiAI# #XiaomiRobotics#
Show more
