Three scientists have joined to jointly advance the development of MiroMind Heavy Duty Solver engine in the three major directions of reasoning, runtime, and verifiable AI.
Just now, MiroMind announced on its official website that three outstanding AI scientists have joined the leadership team. These important appointments mark a key step in MiroMind's mission to build 'Discoverable Intelligence' — an AI that not only analyzes existing knowledge but can also predict and explore entirely new concepts. With Dr. Du Shaolei appointed as Lead Scientist for Reasoning Models & Training, Professor An Bo as Lead Scientist for Runtime & Agent Systems, and Dr. Yang Kaiyu as Lead Scientist of the Verifiable AI Lab, the three core technical pillars of the Heavy Duty Solver engine that MiroMind is building are now fully in place.
MiroMind was founded by renowned global innovator and philanthropist Chen Tianqiao, whose vision is to create a next-generation AI platform geared toward Discoverable Intelligence, bringing a unique global perspective to the company and the AI industry.
MiroMind's mission is not to build a more eloquent language model, but to construct an entirely new AI system capable of rigorous reasoning and solving complex real-world problems. The system's output is not merely 'plausible-sounding'; it can also be formally verified.
Dr. Du Shaolei, Lead Scientist for Reasoning Models & Training
Dr. Du Shaolei is currently an associate professor at the Paul G. Allen School of Computer Science & Engineering at the University of Washington, with research spanning machine learning theory, deep learning optimization, and large-scale reasoning model training. He brings to MiroMind a unique background that combines rigorous academic research with cutting-edge AI industry practice:
• Previously a Member of Technical Staff at xAI, directly participating in frontier large model research and development
• Former visiting professor at Facebook AI Research (FAIR)
• Conducted postdoctoral research at the Institute for Advanced Study in Princeton
At MiroMind, Dr. Du Shaolei will be responsible for the end-to-end construction of the company's core reasoning model training system, including model architecture design, large-scale training strategies, and systematic enhancement of reasoning capabilities. His research will become the key technical engine driving MiroMind's Heavy Duty Solver.
Professor An Bo, Lead Scientist for Runtime & Agent Systems
Professor An Bo is a lifetime professor at Nanyang Technological University (NTU) in Singapore, with long-term research in multi-agent systems, reinforcement learning, game theory, and AI decision-making systems. His work has been published in top international conferences such as NeurIPS, ICML, and AAAI, he has led multiple large-scale research projects, and has trained numerous doctoral candidates, enjoying broad reputation in the international academic community.
Beyond academic achievements, Professor An Bo has extensive experience in applied AI and technology transfer. He has collaborated with leading technology companies and government agencies on projects involving large-scale decision systems, autonomous coordination mechanisms, and AI optimization systems. His long-standing practice bridging basic research and engineering implementation enables him to effectively drive the translation of MiroMind's research into products.
At MiroMind, Professor An Bo will lead the Runtime & Agent Systems technical department, responsible for designing and continuously evolving the system execution layer architecture. He will promote deep integration between reasoning models and the verification core, constructing a highly reliable, horizontally scalable, auditable system framework, further strengthening MiroMind's core capabilities in agent architecture, multi-agent collaboration, and system-level reliability assurance.
Dr. Yang Kaiyu, Lead Scientist, Verifiable AI Lab
Prior to joining Meta Fundamental AI Research (FAIR) as a research scientist, Dr. Yang Kaiyu conducted postdoctoral research at the California Institute of Technology.
He has achieved significant research results in the field of verifiable reasoning and formal proof systems, which are core foundations of MiroMind's technical vision.
At MiroMind, Dr. Yang Kaiyu will be responsible for establishing and fully leading the Verifiable AI Lab, focusing on advancing two major research directions: verifiable reasoning and verifiable generation.
These technologies will be applied to code generation, mathematical proof, and complex reasoning tasks. His team will build a complete technical loop from basic research validation, through system engineering implementation, to product deployment, creating next-generation AI foundational capabilities that provide machine-checkable correctness guarantees, thereby fundamentally enhancing the reliability and trustworthiness of AI outputs.
Founder Chen Tianqiao said: “We have assembled the core technical leadership team for MiroMind's Heavy Duty Solver engine — from Dr. Yang Kaiyu, who oversees verifiability, to Professor An Bo, who leads agent systems, to Dr. Du Shaolei, who heads reasoning models and training — forming the critical iron triangle for achieving Discoverable Intelligence. This marks that our AI strategy is now fully in place; next, we let the engine roar. We look forward to this world-class top-tier team leading us to build a truly reliable, trustworthy AI capable of solving serious problems.”
According to the MiroMind website, MiroMind is an international AI research and technology company headquartered overseas, dedicated to building the world's first General Purpose Solver — an AI system centered on reasoning, whose goal is not merely to appear correct but to be provably correct.
Through pioneering verifiable long-chain System 2 reasoning capabilities, MiroMind aims to provide reliable, trustworthy AI power for high-risk scenarios such as software engineering, financial services, healthcare and pharmaceuticals, legal and compliance, and scientific research.
MiroMind was founded by Chen Tianqiao, with over 80% of its team consisting of doctoral researchers, and led by a global team of world-class scientists.
Official website: https://www.miromind.ai/
GitHub: https://github.com/MiroMindAI
Hugging Face: https://huggingface.co/MiroMind-ai
Talent contact: talent@miromind.ai
MiroMind app is now available for download:
App Store: https://apps.apple.com/app/id6759390724
Google Play: https://play.google.com/store/apps/details?id=ai.miromind.app
© THE END
Reprint permission please contact this public account.
Submissions or interview requests: liyazhou@jiqizhixin.com