由Robinhood CEO弗拉德·特涅夫共同创立的AI初创公司Harmonic AI，近期完成了1亿美元的B轮融资，估值达到8.75亿美元。Harmonic AI专注于解决AI模型在数学运算方面的难题，致力于开发“数学超级智能”。公司计划在今年晚些时候向研究人员和公众开放其旗舰AI模型Aristotle，目标是打造数学解题能力超越人类的AI，并攻克数学领域未解难题。创始人特涅夫表示，公司采用形式化验证，以确保AI模型的输出和推理步骤经过验证，避免出现幻觉问题。特涅夫还强调，追求估值最大化并非明智之选。

🧠 Harmonic AI 是一家专注于解决AI模型数学运算难题的初创公司，由Robinhood CEO弗拉德·特涅夫和都铎·阿基姆于2023年共同创立。

💰 Harmonic AI 完成了1亿美元的B轮融资，本轮由Kleiner Perkins领投，红杉资本、Index Ventures和Paradigm参与投资，公司估值达到8.75亿美元。

🚀 Harmonic AI 计划开发“数学超级智能”，目标是打造数学解题能力超越人类的AI，并攻克数学领域未解难题。

✅ Harmonic AI 采用形式化验证，以确保AI模型的输出和推理步骤经过验证，避免出现幻觉问题。

💡 特涅夫表示，追求估值最大化并非明智之选，公司有意使估值略低于10亿美元的“独角兽”门槛。

bloomberg 2025-07-12 13:18 浙江

估值近 9 亿美元，“追求估值最大化从来都不是明智之选。”

图片来源：Harmonic

由 Robinhood Markets 的 CEO弗拉德·特涅共同创立的人工智能初创公司 Harmonic AI 已筹集 1 亿美元资金，致力于解决一个有时会困扰 AI 模型的难题：数学运算。

本轮B 轮融资由 Kleiner Perkins 领投，红杉资本、Index Ventures 和 Paradigm 参与投资。担任公司非执行董事长的特涅夫表示，这笔交易使这家 AI 初创公司的估值达到 8.75 亿美元。

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

Harmonic 的CEO是曾领导自动驾驶初创公司 Helm.ai 的都铎·阿基姆。这家总部位于加州帕洛阿尔托的初创公司由 Tenev 和 Achim 于 2023 年创立，致力于开发能解决复杂数学问题的人工智能系统，打造公司所称的"数学超级智能"。

Harmonic 计划在今年晚些时候向研究人员和公众开放其旗舰 AI 模型 Aristotle。

"近期目标是打造一个数学解题能力超越任何人类水平的 AI，"Tenev 向彭博社表示。"终极目标则是攻克数学领域尚未解决的重大难题，并将其拓展至物理学和计算机科学领域。"

Tenev 表示，Harmonic 以数学为先的策略应能使其优于支撑 AI 聊天机器人的大型语言模型——后者通常不擅长解决复杂数学问题。通过采用形式化验证（一种用于确保 AI 系统正确运行的数学方法），Harmonic 还致力于消除幻觉问题，即聊天机器人编造信息的情况。

“我们可以确保模型的每一个输出和推理步骤都经过可验证的正确性检验，”Tenev 表示，“这是一种截然不同的人工智能模型构建方式，我认为这将成为未来的主流方法。”

“永远不要接受最高报价，”曾为股票交易服务 Robinhood 在 2021 年上市前融资数十亿美元的 Tenev 说道，“追求估值最大化从来都不是明智之选。”

参考资料

https://www.bloomberg.com/news/articles/2025-07-10/robinhood-ceo-s-ai-math-startup-valued-at-nearly-900-million?srnd=phx-technology

编译：ChatGPT

-----------END-----------

🚀 我们正在招募新一期的实习生

🚀 我们正在寻找有创造力的00后创业者

关于Z Potentials

阅读原文

跳转微信打开