Robinhood CEO的人工智能数学初创公司估值近9亿美元——彭博社

Robinhood Markets Inc.首席执行官弗拉德·特涅夫希望"打造一个在数学解题能力上超越任何人类的人工智能"。

摄影师：克里斯·拉特克利夫/彭博社由Robinhood Markets Inc.首席执行官弗拉德·特涅夫联合创立的人工智能初创公司Harmonic AI已筹集1亿美元资金，旨在攻克一个时常困扰AI模型的难题：数学。

本轮B轮融资由凯鹏华盈领投，红杉资本、Index Ventures和Paradigm跟投。担任公司非执行主席的特涅夫表示，这笔交易使这家AI初创公司估值达到8.75亿美元。Harmonic的CEO是曾领导自动驾驶初创公司Helm.ai的图多尔·阿基姆。

这家总部位于加州帕洛阿尔托的初创公司由特涅夫和阿基姆于2023年创立，致力于开发能解决复杂数学问题的人工智能系统，打造该公司所称的"数学超级智能"。Harmonic计划在今年晚些时候向研究人员和公众开放其旗舰AI模型"亚里士多德"。

“近期目标是打造一个数学解题能力超越任何人类的人工智能，“特涅夫告诉彭博新闻社，“终极目标则是解决尚未攻克的重要数学难题，并将其拓展至物理学和计算机科学领域。”

特内夫表示，Harmonic以数学为核心的方法应能使其优于大型语言模型——这些模型支撑着AI聊天机器人，但通常不擅长解决复杂数学问题。Harmonic还试图通过形式化验证（一种用于保证AI系统正确运行的数学方法）来消除幻觉问题，即聊天机器人编造信息的情况。

“我们可以确保模型的每一个输出和推理步骤都经过验证是正确的，”特内夫说。“这是一种非常不同的AI模型构建方法，我认为这将成为未来主导的方法。”

Harmonic此前已从红杉资本和Index融资7500万美元。新一轮融资使该公司估值略低于10亿美元的“独角兽”门槛。特内夫表示这是有意为之的选择。

“永远不要接受最高报价，”特内夫说，他在股票交易服务Robinhood 2021年首次公开募股前为其筹集了数十亿美元资金。“追求估值最大化从来不是正确的选择。”