Harmonic 发布AI数学助手聊天机器人，帮助用户准确解答难题
发布时间：2025-07-29 10:18:27 | 责任编辑：吴昊 | 浏览量：13 次
Harmonic 是一家由 Robinh ood CEO 弗拉德・特涅夫（Vlad Tenev）共同创办的人工智能初创公司，近日宣布推出其 iOS 和 Android 平台的 AI 聊天机器人应用程序，用户可以通过该应用访问其 AI 模型 —— 亚里士多德(Aristotle)。此款应用目前处于测试阶段，旨在让更多人使用这一 “无幻觉” 的数学推理工具。
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亿美元，发展迅速。
🧠 亚里士多德利用开源编程语言进行算法验证，确保输出无幻觉。
Harmonic AI 由 Robinhood 首席执行官 Vlad Tenev 与 Tudor Achim 于 2023 年共同创立，专注于开发数学超级智能（MSI），已完成 1 亿美元 B 轮融资（由 Kleiner Perkins 领投，红杉资本等参投），估值达 8.75 亿美元。其旗舰产品 Aristotle 是一款数学专用 AI 聊天机器人，具备解决复杂数学问题的能力，在 MiniF2F 数学基准测试中准确率达 90%（涵盖从高中数学到国际数学奥林匹克竞赛难度的问题），并采用形式化验证技术以避免“幻觉”问题（即编造虚假信息），从而提升系统可信度。
目前，Aristotle 的 iOS 和 Android 测试版已上线，供用户试用，旨在未来将数学解题能力拓展至物理学和计算机科学领域，最终目标包括解决重大未解数学难题。
本网站(https://aigc.izzi.cn)刊载的所有内容，包括文字、图片、音频、视频等均在网上搜集。
访问者可将本网站提供的内容或服务用于个人学习、研究或欣赏，以及其他非商业性或非盈利性用途，但同时应遵守著作权法及其他相关法律的规定，不得侵犯本网站及相关权利人的合法权利。除此以外，将本网站任何内容或服务用于其他用途时，须征得本网站及相关权利人的书面许可，并支付报酬。
本网站内容原作者如不愿意在本网站刊登内容，请及时通知本站，予以删除。
