由 Robinhood CEO Vlad Tenev 联合创办的 AI 初创公司 Harmonic，近日发布了其 iOS 和 Android 聊天机器人应用的测试版，主打 Aristotle——一款专为无幻觉数学推理设计的 AI 模型。
该公司近期刚完成 1 亿美元 B 轮融资，估值达 8.75 亿美元。与主流 AI 模型不同，Harmonic 专注于“数学超级智能”（MSI）。与那些在复杂计算面前常常出错的传统大语言模型不同，Aristotle 从零开始构建，确保在定量领域的答案准确无误。
Harmonic CEO 兼联合创始人 Tudor Achim 表示：“Aristotle 是首个能够推理并对输出进行形式化验证的产品。在 Aristotle 支持的定量推理领域内，我们实际上可以保证没有幻觉。”
该系统通过两步流程实现了卓越的准确性。首先，Aristotle 会将自然语言的数学问题转译为开源编程语言 Lean 4，这是一种证明助理，可以对数学定义和定理的正确性进行检查。随后，在向用户提供答案前，模型还会通过不涉及 AI 的算法验证流程对解答进行双重检查——这类似于医疗设备和航空等高风险领域采用的验证方法。
Harmonic 称，Aristotle 通过正式测试，在 2025 年国际数学奥林匹克竞赛（IMO）中取得了金牌表现，测试过程将题目转化为机器可读格式。今年，Google DeepMind 和 OpenAI 的 AI 模型也通过非正式的自然语言测试达到了 IMO 金牌标准。
Harmonic 的雄心不限于数学。公司相信，MSI 将帮助用户解决所有依赖数学推理的领域，包括物理、统计学和计算机科学。未来，Harmonic 还计划推出企业级 API 和面向消费者的网页版应用，有望彻底改变各行业在精确定量推理问题上的解决方式。