由 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 说道，“追求估值最大化从来都不是明智之选。”
参考资料
编译：ChatGPT
（文：Z Potentials）