Harmonic 是一家由 Robinh ood CEO 弗拉德・特涅夫（Vlad Tenev）共同创办的人工智能初创公司，近日宣布推出其 iOS 和 Android 平台的 AI 聊天机器人应用程序，用户可以通过该应用访问其 AI 模型 —— 亚里士多德(Aristotle)。此款应用目前处于测试阶段，旨在让更多人使用这一 “无幻觉” 的数学推理工具。

image.png

Harmonic 声称，亚里士多德能够提供在数学推理领域的问题的准确答案，这一主张在当今人工智能模型常见的可靠性问题背景下尤为大胆。Harmonic 的目标是创造出 “数学超智能”（Mathematical Superintelligence，MSI），希望能够帮助用户解决涉及数学的各个领域，包括物理、统计和计算机科学。

Harmonic 的 CEO 和共同创始人图多尔・阿基姆（Tudor Achim）在接受 TechCrunch 采访时表示:“亚里士多德是第一个能够进行推理并形式验证输出的产品。在亚里士多德支持的定量推理领域，我们实际上保证没有幻觉。” 此外，Harmonic 计划在未来推出 API，让企业能够访问亚里士多德，并且还会发布消费者用的网页应用。

值得一提的是，Harmonic 声称，亚里士多德在2025年国际数学奥林匹克（IMO）中取得了金牌表现，这是通过正式测试实现的，意味着问题被转化为机器可读的格式进行验证。与此相比，谷歌和 OpenAI 的 AI 模型在今年的 IMO 中也取得了金牌，但它们是通过自然语言进行的非正式测试。

此次亚里士多德的测试版发布恰逢 Harmonic 最近完成了一轮1亿美元的 B 轮融资，融资由 Kleiner Perkins 领投，公司估值达到8.75亿美元。阿基姆表示，投资者认为这一估值合理，因为 Harmonic 在实现数学超智能的道路上快速前进。

目前，许多领先的科技公司都在致力于训练其 AI 模型以解决数学问题。能够进行数学运算的 AI 本身就具有很高的价值，同时，数学作为一个独特的可验证领域，要求核心推理能力的系统可能在其他领域也会发挥重要作用。

阿基姆指出，Harmonic 通过让亚里士多德使用开源编程语言 Lean 来实现其高精度的解决方案。在给出答案之前，亚里士多德会通过一种不涉及 AI 的算法过程来双重检查解决方案的正确性。这种类似的技术在医疗设备和航空等高风险领域的输出验证中也有广泛应用。

尽管在一个狭窄领域中实现无幻觉的 AI 模型表现是极其困难的任务，然而，Harmonic 仍然在这一领域迈出了重要一步。

官网:https://harmonic.fun/

划重点:  

📊 Harmonic 推出的亚里士多德 AI 聊天机器人旨在提供精准的数学推理答案。  

💰 公司近期获得1亿美元 B 轮融资，估值达8.75亿美元，发展迅速。  

🧠 亚里士多德利用开源编程语言进行算法验证，确保输出无幻觉。