由 Robinhood Markets Inc. 首席执行官弗拉德·特涅夫联合创立的人工智能初创公司 Harmonic AI 已获得 1 亿美元融资，致力于解决一个时常困扰 AI 模型的难题：数学运算。
本轮 B 轮融资由凯鹏华盈领投，红杉资本、Index Ventures 和 Paradigm 跟投。担任公司非执行董事长的特涅夫表示，这笔交易使这家 AI 初创公司估值达到 8.75 亿美元。Harmonic 现任 CEO 是曾领导自动驾驶初创公司 Helm.ai 的都铎·阿基姆。
这家总部位于加州帕洛阿尔托的初创公司由特涅夫和阿基姆于 2023 年创立，旨在构建能够解决复杂数学问题的 AI 系统，打造该公司所称的”数学超级智能”。Harmonic 计划在今年晚些时候向研究人员和公众开放其旗舰 AI 模型”亚里士多德”。
“短期目标是打造一个数学解题能力超越任何人类的人工智能，”特涅夫向彭博新闻表示，“终极目标则是攻克那些悬而未决的重大数学难题，并将这种能力拓展至物理学和计算机科学领域。”
特涅夫指出，Harmonic 公司以数学为核心的研究路径，相较于支撑 AI 聊天机器人的大型语言模型更具优势，后者通常不擅长解决复杂数学问题。通过采用形式化验证这一能确保 AI 系统正确运行的数学方法，Harmonic 还致力于消除”幻觉”问题——即聊天机器人编造信息的现象。
“我们可以确保模型输出的每个结论及推理过程的每个步骤都经得起验证，”特涅夫说，“这种构建 AI 模型的方式截然不同，我认为它将成为未来的主流范式。”
Harmonic 此前已从红杉资本和 Index Ventures 融资 7500 万美元。本轮新融资使公司估值略低于 10 亿美元的“独角兽”门槛。特涅夫表示这是有意为之的选择。
“你永远不该接受最高报价，”特内夫表示，他在股票交易服务 Robinhood 于 2021 年首次公开募股前为其筹集了数十亿美元资金，”追求估值最大化从来都不是正确选择。”