陈天桥落子顶尖科学家，MiroMind放弃参数崇拜重仓“系统2”推理

硅谷Tech news 2026.03.13 17:37 · 来自北京 全文1323字

在硅谷创投圈，豪华阵容的AI初创公司层出不穷。然而，MiroMind今日公布的三位核心人事任命却显露出明显的产业逆流特性。

MiroMind是一家由陈天桥创立，在加州和新加坡双线发展的AI新星。他们没有选择专注于通用大语言模型（LLM）开发，而是在“推理模型”、“智能体运行时系统”及“可验证AI”领域引入了顶尖科学家杜少雷、安波和杨凯峪。

这三位科学家的学术履历构筑了MiroMind的技术底座，“重型求解器（Heavy Duty Solver）”。他们明确地将目光投向被业界视为“系统2”的深度推理，这是一种与当前大模型依赖概率预测的“系统1”直觉式生成完全不同的技术路径。

杜少雷曾参与xAI和Meta前沿大模型的研发，他专注于重构底层模型架构和训练策略，使AI能进行像研究员一样的长链条思考；安波作为强化学习和博弈论领域的学者，致力于解决大模型在复杂现实环境中的执行偏差问题；杨凯峪领导的“可验证AI实验室”则确保每一结论不仅看起来正确，而且经过数学逻辑上的严格自证。

MiroMind的技术路径表明，AI竞赛的核心战场已经从单纯的参数规模转向谁能严谨地处理复杂的业务。这种技术路线在商业落地中显得尤为重要，因为企业客户更愿意为确定性的解决方案买单，而非仅仅依靠文采飞扬的聊天机器人。

具体来看，MiroThinker 1.5搜索智能体仅使用300亿参数量，就将单次调用成本降至竞品的二十分之一，并在复杂研究基准测试中超越了千亿规模模型。这表明单纯堆砌算力已经遭遇商业落地的现实高墙。

MiroMind此次密集的人事变动向行业明确释放了一个信号：AI竞赛不再只是一场参数游戏，而是转向严谨处理复杂业务的效率之战。