美国版梁文锋来了

—じ☆ve人生—

闻乐 发自 凹非寺
量子位 | 公众号 QbitAI

DeepSeek火爆全球，现在美国版“梁文锋”来了。
来自美国的互联网券商巨头Robinhood的CEO——Vlad Tenev决定投身人工智能创业浪潮，与Tudor Achim联合打造了一家专注于人工智能的初创公司——Harmonic AI。
这跨界的方式和路径，不就是幻方量化、DeepSeek创始人梁文锋嘛。
而且美版梁文锋的AI创业，跟DeepSeek一开始的路径也很像，从数学突破开始。
Harmonic AI这家人工智能初创公司，旨在构建能够解决复杂数学问题的AI系统，创造出数学超级智能（Mathematical Superintelligence，MSI）。

目前，Harmonic AI通过B轮融资，已筹集到1亿美元资金。
Harmonic AI估值近9亿美元

美版梁文锋——Harmonic AI的联合创始人Vlad Tenev，同样出身名校，本科毕业于斯坦福大学，后在UCLA完成硕士学业。

2013年，他在加利福尼亚州门洛帕克成立了金融服务公司Robinhood Markets。

2024年12月，公司宣布计划于2025年扩张至亚洲，总部设在新加坡。
Vlad Tenev带领公司在互联网券商领域取得了显著成就，美股市值一度达到约227亿美元。
Robinhood主要从事零售经纪业务，提供美国上市股票和交易所交易基金、相关期权和加密货币交易，以及现金管理（包括借记卡服务）。
Robinhood利用互联网和移动应用程序让散户投资者能随时随地交易，降低了投资门槛与成本。
此外，Robinhood还提供股息再投资、衍生品交易等服务。
2025年第一季度，Robinhood营收9.27亿美元，净利润达3.36亿美元，净利率达到36%，创历史新高，平台总资产达到2210亿美元。

然而，Vlad Tenev的目光并未仅仅局限于金融领域。
2023年，Vlad Tenev与同样有着丰富创业经验的Tudor Achim携手，共同创立了Harmonic AI。

Tudor Achim毕业于卡内基梅隆大学计算机专业，他在人工智能领域尤其是大模型训练方面积累了深厚的经验，曾参与创立自动驾驶+大模型领域的明星公司Helm.ai，这次也同时担任Harmonic AI的首席技术官。
早在2024年9月，公司就已完成由Sequoia Capital领投，Index Ventures、DST Global合伙人和Nikesh Arora参与的A轮融资，融资金额高达7500万美元，当时投后估值便达到3.25亿美元。
目前，Harmonic AI宣布已完成B轮融资，成功筹集1亿美元资金。
此轮融资由知名投资机构Kleiner Perkins领投，Paradigm大力参与，Ribbit Capital作为新投资者加入，而现有投资者Sequoia Capital、Index Ventures和Charlie Cheever也纷纷跟投。
这一系列动作使得Harmonic AI的估值达到了8.75亿美元，距离“独角兽”公司的10亿美元估值门槛仅一步之遥。
不过，此次未达“独角兽”估值门槛是有意为之，与很多初创公司盲目追求高估值不同，Harmonic AI更注重长期发展。
在2021年股票交易服务首次公开募股之前为Robinhood筹集了数十亿美元资金的Tenev说：

以估值为目标永远都不是正确的选择。

构建一个数学能力超越人类的AI系统

2024年7月，Harmonic AI宣布首个模型Aristotle，该模型具备自动形式化能力，能将自然语言问题和解决方案转化为正式表示，与数学家等更好协作。

△形式化前

△形式化后

为精准评估Aristotle能力，Harmonic还对MiniF2F进行了系列改进，如重新划分数据集，将488个MiniF2F问题（原本均匀分为验证集和测试集）随机重新分为392个训练问题、48个验证问题和48个测试问题。
经过完善和改进，Aristotle在MiniF2F（涵盖多种难度数学问题，包括国际数学奥林匹克竞赛题目）基准测试中从83%提升到90%。

Harmonic计划于今年向研究人员和公众提供其旗舰模型Aristotle。
公司的目标是构建一个数学能力超越人类的AI系统，以此来克服当前AI面临的诸多问题，比如令人头疼的 “幻觉” 问题，即模型对无法正确回答的问题编造答案。
Vlad Tenev称：

最终的目标则是解决重大的未解数学问题，并将这一能力扩展到物理学和计算机科学领域。

他们认为，数学是推理的语言，是人类发现宇宙基本真理的工具，通过提升AI的数学能力，能够让AI拥有更强大的逻辑推理能力，从而在科学、工程等众多领域发挥巨大作用。
翻译一下，更直接来说，他AI创业的目标就是AGI。
参考链接：[1]https://www.bloomberg.com/news/articles/2025-07-10/robinhood-ceo-s-ai-math-startup-valued-at-nearly-900-million[2]https://harmonic.fun/news
— 完 —

温馨阁

数学AI能解决物理难题吗

ress

说数学AI能解决物理化学问题有点乐观了 数学好比会认路的导航仪 但开车还得靠司机 实际应用场景差得远呢