Harmonic推出AI数学助手 助力精准解题

快速阅读: 据相关媒体最新报道，Harmonic公司推出AI聊天机器人Aristotle，号称无幻觉数学推理工具。其在2025年数学奥赛获金牌，完成1亿美元融资，估值8.75亿美元。

据Harmonic公司近日消息，这家由Robinhood首席执行官弗拉德·特涅夫（Vlad Tenev）共同创立的人工智能初创公司，正式推出了其iOS和Android平台上的AI聊天机器人应用——亚里士多德（Aristotle）。这款应用目前处于测试阶段，旨在为用户提供一个“无幻觉”的数学推理工具。

Harmonic公司声称，亚里士多德能够在数学推理领域提供准确的答案，这一特点在当前AI模型普遍存在的可靠性问题中显得尤为突出。公司CEO兼联合创始人图多尔·阿基姆（Tudor Achim）在接受TechCrunch采访时强调：“亚里士多德是第一个能够进行推理并形式验证输出的产品。在亚里士多德支持的定量推理领域，我们保证没有幻觉。”

此外，Harmonic计划未来推出API接口，使企业能够接入亚里士多德，并将开发面向消费者的网页应用。值得注意的是，亚里士多德在2025年国际数学奥林匹克竞赛中取得了金牌成绩，这是通过正式测试实现的，表明其在数学推理方面的能力得到了权威认可。

与此同时，Harmonic刚刚完成了1亿美元的B轮融资，公司估值达到了8.75亿美元。阿基姆表示，这一估值反映了公司在实现数学超智能方面的快速进展。目前，多家领先科技公司正致力于训练AI模型解决数学问题，而Harmonic通过让亚里士多德使用开源编程语言Lean，实现了高精度的解决方案验证。

尽管在特定领域内实现无幻觉的AI模型是一项极具挑战性的任务，但Harmonic在这一领域已经迈出了重要的一步。

(以上内容均由AI生成)