Robinhood联合创始人AI初创公司Harmonic推出“无幻觉”数学推理机器人Aristotle

由Robinhood首席执行官Vlad Tenev联合创办的AI初创公司Harmonic周一宣布，其iOS和Android聊天机器人应用进入测试阶段，用户可在此访问其AI模型Aristotle。

通过此次发布，该公司旨在扩大对Aristotle的访问范围。Harmonic声称，该模型在处理涉及数学推理的问题时能提供“无幻觉”的答案——鉴于当前AI模型的可靠性问题，这是一个大胆的主张。Harmonic专注于打造“数学超级智能”（MSI）；这家初创公司最终希望帮助用户解决所有依赖数学的领域，包括物理学、统计学和计算机科学。

“[Aristotle]是首款面向公众提供推理功能并正式验证输出的产品，”Harmonic首席执行官兼联合创始人Tudor Achim在接受TechCrunch采访时说。“在Aristotle所支持的定量推理领域内，我们确实保证不会出现幻觉。”

Harmonic表示，未来还计划推出API，让企业能够访问Aristotle，同时为消费者提供一款网页应用。

IMO金牌水平表现与融资进展

Harmonic表示，亚里士多德通过正式测试（即问题被转换为机器可读格式）在2025年国际数学奥林匹克竞赛（IMO）中取得了金牌水平的表现。Google和OpenAI也开发了在今年的IMO中取得金牌水平表现的AI模型，但它们是通过对自然语言进行的非正式测试实现的。

Harmonic称，目前不会发布Aristotle的其他基准测试结果。

Aristotle的测试版发布距离Harmonic完成由Kleiner Perkins领投的B轮融资仅几周时间，该轮融资估值为8.75亿美元，融资金额为1亿美元。Achim声称，Harmonic正“快速推进”实现MSI的目标，投资者认为考虑到其初创公司的雄心壮志，这一估值是合理的。

技术原理与行业挑战

多家领先科技公司正致力于训练其AI模型以解决数学问题。具备数学能力的AI本身具有重要价值，而数学也被视为一个独特且可验证的领域，要求具备核心推理能力。在这些能力上取得进展的系统，也可能在其他领域证明其有用性。

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

即使在狭窄的领域内，让AI模型实现无幻觉的表现也是一项极其困难的任务。研究发现，即使是领先的AI模型也会产生大量幻觉，而且这个问题似乎并没有好转。OpenAI最新的AI推理模型的幻觉比其旧版更多。