AI在线 AI在线

美国版梁文锋来了

闻乐 发自 凹非寺. 量子位 | 公众号 QbitAIDeepSeek火爆全球,现在美国版“梁文锋”来了。 来自美国的互联网券商巨头Robinhood的CEO——Vlad Tenev决定投身人工智能创业浪潮,与Tudor Achim联合打造了一家专注于人工智能的初创公司——Harmonic AI。

闻乐 发自 凹非寺

量子位 | 公众号 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的联合创始人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说:

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

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 Agent放贷款,获投4.3个亿

AI也能做贷款业务了。 这家公司叫Salient,主打AI agents贷款服务,刚刚在A轮融资中筹集了6000万美元,折合人民币4.3亿元。 此次融资由Andreessen Horowitz旗下的a16z领投,Matrix Partners、Michael Ovitz和Y Combinator跟投。
8/3/2025 10:33:23 PM
闻乐

WAIC 2024 已落幕:大模型再无新玩家,AGI 下半场是计算与应用

导语:「十八金刚」暗示的,其实是巨大的技术想象力与迫切的 AI 生产力。 作者:马蕊蕾编辑:陈彩娴WAIC 论坛最后一天下午,启明创投主管合伙人周志峰在世博中心红厅分享了一组数据:经统计,仅 2023 年,一级市场中 AI 投资金额就达到了 224 亿美元,超过了前 10 年投资累计总和。 其中,超过三分之二的资金投向从事基础设施或模型开发的企业。
7/9/2024 3:14:00 PM
马蕊蕾

阿尔特曼澄清 OpenAI 尚未研发出 AGI,呼吁外界降低预期

今日,OpenAI 首席执行官山姆・阿尔特曼(Sam Altman)通过社交媒体平台 X 澄清,尽管公司长期致力于开发比人类更聪明的通用人工智能(AGI),但目前尚未实现这一目标。
1/20/2025 6:28:14 PM
远洋
  • 1