MiroMind 是一家前沿 AI 实验室，开发了一种通用问题求解器（General Purpose Solver）。这是一种推理优先的 AI 系统，旨在实现可验证的准确性，而非仅仅是概率性生成。它搭载了拥有 235B 参数的 MiroThinker 模型，利用“系统 2 思维”（System 2 Thinking）——一种审慎、结构化的逻辑演绎过程。该平台运行在 MiroMind OS 之上，通过有向无环图（DAG）推理协议管理复杂的问题求解，支持分支、回滚和重新规划。它专为软件工程、法律合规、金融工程和科学研究等需要 99% 确定性的关键任务行业而设计

用户向系统提供复杂的提示词，随后 MiroThinker 通过规划推理链（DAG）进行处理。系统执行每一步，并根据一系列策略进行验证，如果检测到错误，可以进行回滚或重新规划。它可以集成到资产管理、健康数据分析和企业运营的生产工作流中