Krystal Hu

路透11月25日 - 由 Robinhood 首席执行官弗拉德-特内夫（Vlad Tenev）联合创办的人工智能初创公司 Harmonic 已获得 1.2 亿美元的新一轮融资，公司估值达 14.5 亿美元，该公司将通过提高推理 能力来解决人工智能 "幻觉"（即错误或无意义的答案）问题。

劳伦-鲍威尔-乔布斯（Laurene Powell Jobs）的投资公司 Emerson Collective 也作为新的支持者加入了这 一轮融资。

这笔交易标志着该公司在14个月内的第三次重大融资，使其融资总额达到2.95亿美元，凸显了投资者对初创公司的浓厚兴趣，这些初创公司甚至在拥有商业产品之前，就试图使人工智能更加准确和可靠。

Harmonic正在开发一种被称为 "数学超级智能"（Mathematical Superintelligence）的人工智能$(MSI)$，这种人工智能专注于高级推理，它声称 ，不存在困扰许多生成式人工智能模型的幻觉和其他事实错误。

该公司称，其旗舰模型 "亚里士多德"（Aristotle）在合成数学证明（用于教授解决问题的计算机生成示例）上进行了训练，并在今年7月的国际数学奥林匹克 (link)，与谷歌 (link)、OpenAI并驾齐驱，首席执行官图多尔-阿希姆（Tudor Achim）表示，这一胜利有助于吸引投资者的兴趣。

成立于2023年的Harmonic公司表示，它可以通过使用形式推理来实现这一目标，要求其人工智能以Lean4编程语言的计算机代码形式输出推理，并对代码的正确性进行检查。阿希姆表示，新资金的大部分将用于训练模型所需的巨大计算能力。

通过专注于可验证、无差错的逻辑，Harmonic 公司表示，它的目标是在航空航天和金融等安全关键行业中建立对人工智能的信任，因为在这些行业中，错误可能会造成严重后果。

"首席执行官图多尔-阿希姆（Tudor Achim）在接受采访时说："消除幻觉的直接原因是，我们要求系统以代码形式输出推理，而不是以英语形式输出推理。

Harmonic公司目前通过免费的API向公众提供亚里士多德模型，开发者可以通过这个工具将模型插入自己的软件中。该公司表示，数学家和研究人员一直在使用该工具检查复杂的证明并加速新发现。Achim 表示，未来将探索商业化。

"他说："我认为，在软件开发的某些领域，安全性和可靠性是最重要的。

(为便利非英文母语者，路透将其报导自动化翻译为数种其他语言。由于自动化翻译可能有误，或未能包含所需语境，路透不保证自动化翻译文本的准确性，仅是为了便利读者而提供自动化翻译。对于因为使用自动化翻译功能而造成的任何损害或损失，路透不承担任何责任。)