MathArc 由两个产品面组成：面向数学研究的智能体工作台，以及面向工业场景的数学问题解决方案。数学状态由证据门与独立验证器控制，模型输出只作为候选。
Codex Research Console：证明义务 DAG、证据账本、路线组合与实时流式研究回合。
面向真实业务约束的建模、求解与验证流水线：问题入口、方案合同、可重放求解证据。