粤公网安备 44011302004783号 AI Aristotle来袭! Harmonic融资破1亿刀, 数学AI赛道或迎红利?
新媒网跨境了解到，由 Robinhood 首席执行官 Vlad Tenev 联合创立的人工智能初创公司 Harmonic 于 2025年第二季度宣布，正式推出其 AI 聊天机器人应用程序的测试版本，该应用同时支持 iOS 和 Android 平台。用户可以通过这款应用访问 Harmonic 旗下的人工智能模型 Aristotle。
此次发布旨在扩大 Aristotle 的用户覆盖范围。Harmonic 声称，Aristotle 能够为涉及数学推理的问题提供“零幻觉”的答案。考虑到当前人工智能模型普遍存在的可靠性问题，这一说法显得颇为大胆。
Harmonic 专注于创造“数学超智能”（MSI）。这家初创公司的最终目标是帮助用户解决所有依赖数学的领域的问题，包括物理学、统计学和计算机科学。
Harmonic 首席执行官兼联合创始人 Tudor Achim 在接受 TechCrunch 采访时表示：“[Aristotle] 是首款面向大众推出的能够进行推理并正式验证输出结果的产品。在 Aristotle 支持的领域，即定量推理领域，我们实际上可以保证不会出现幻觉。”
Harmonic 计划未来发布一个 API，让企业可以访问 Aristotle，同时还将推出一个面向消费者的 Web 应用程序。
在本次测试版本发布前几周，Harmonic 刚刚完成了由 Kleiner Perkins 领投的 B 轮融资，融资金额高达 1 亿美元，公司估值达到 8.75 亿美元。Achim 声称，Harmonic 在实现 MSI 的道路上“进展非常迅速”，投资者认为鉴于 Harmonic 的雄伟目标，这一估值是合理的。
Achim 表示，Aristotle 能够实现超高精度的解决方案，是因为它使用开源编程语言 Lean 生成响应。在 Aristotle 向用户提供答案之前，该模型会通过一种不涉及人工智能的算法过程来复核解决方案是否正确。Harmonic 的首席执行官指出，类似的技术也被用于验证医疗设备和航空等高风险领域的输出结果。
即使在狭窄的领域内，要让人工智能模型实现零幻觉的表现也是一项极其困难的任务。研究表明，即使是领先的人工智能模型也会出现大量幻觉，而且这个问题似乎并没有得到改善。OpenAI 最新的人工智能推理模型比其旧模型更容易产生幻觉。
Harmonic 表示，Aristotle 在 2023 年国际数学奥林匹克（IMO）中通过了一项正式测试（意味着这些问题被翻译成机器可读的格式），并获得了金牌。谷歌和 OpenAI 也开发了在 2023 年 IMO 中获得金牌的人工智能模型，但它们是通过以自然语言进行的非正式测试实现的。
新媒网（公号: 新媒网跨境发布），是一个专业的跨境电商、游戏、支付、贸易和广告社区平台，为百万跨境人传递最新的海外淘金精准资讯情报。
