速递｜“保证不存在幻觉”数学AI争夺升级，获奥林匹克竞赛金牌，初创公司Harmonic估值8.75亿美元

由Robinhood 首席执行官 Vlad Tenev 联合创立的 AI 初创公司 Harmonic 周一宣布，其搭载 AI 模型 Aristotle 的 iOS 和 Android 聊天机器人应用已开启测试版发布。

Aristotle 的测试版发布距 Harmonic 完成 1 亿美元 B 轮融资仅数周，该轮融资由 Kleiner Perkins 领投，公司估值达 8.75 亿美元。

Achim 声称 Harmonic 在实现数学超级智能 MSI 目标的道路上"进展非常迅速"，投资者认为鉴于其初创企业的雄心规模，这个估值是合理的。

通过此次发布，该公司旨在扩大对Aristotle 的访问范围。Harmonic 声称该模型能为涉及数学推理的问题提供"无幻觉"答案——鉴于当前 AI 模型的可靠性问题，这一主张颇为大胆。

Harmonic 专注于创造"数学超级智能"（MSI）；这家初创公司最终希望帮助用户应对所有依赖数学的领域，包括物理学、统计学和计算机科学。

"Harmonic 首席执行官兼联合创始人 Tudor Achim 在接受 TechCrunch 采访时表示：" Aristotle 是首款面向公众、能够进行推理并正式验证输出结果的产品。在 Aristotle 支持的定量推理领域内，我们确实可以保证不存在幻觉。"

Harmonic 表示，最终还计划发布一个 API 供企业访问 Aristotle，同时为消费者推出网页应用。

Harmonic 表示，Aristotle 通过正式测试（即题目被转化为机器可读格式），在2025 年国际数学奥林匹克竞赛（IMO）中，达到了金牌水平。Google 和 OpenAI 也开发了能在今年 IMO 达到金牌水平的 AI 模型 ，但采用的是自然语言的非正式测试方式。

Harmonic 称目前暂不公布 Aristotle 的其他基准测试结果。

多家头部科技公司正专注于训练 AI 模型解决数学问题。具备数学能力的 AI 本身具有价值，同时数学也被视为需要核心推理能力的独特可验证领域。开发这些能力的系统在其他领域也可能被证明有用。

阿希姆表示，Harmonic 通过让 Aristotle 使用开源编程语言 Lean 生成响应来实现超高精度解答。在向用户提供答案前，该模型会通过不涉及 AI 的算法流程双重验证解决方案的正确性。Harmonic 首席执行官指出，医疗设备和航空等高危领域也采用类似技术来验证输出结果。

即便在狭窄领域内，实现AI 模型的无幻觉表现也是极其困难的任务。研究发现即便是领先的 AI 模型也经常产生幻觉 ，且该问题似乎未见改善。

OpenAI 最新 AI 推理模型的幻觉现象比旧版本更为严重 。

参考资料

编译：ChatGPT