美國版梁文鋒來了

聞樂 2025-07-11 14:53:14 來源：量子位

聞樂 發(fā)自 凹非寺

量子位 | 公眾號 QbitAI

DeepSeek火爆全球，現(xiàn)在美國版“梁文鋒”來了。

來自美國的互聯(lián)網(wǎng)券商巨頭Robinhood的CEO——Vlad Tenev決定投身人工智能創(chuàng)業(yè)浪潮，與Tudor Achim聯(lián)合打造了一家專注于人工智能的初創(chuàng)公司——Harmonic AI。

這跨界的方式和路徑，不就是幻方量化、DeepSeek創(chuàng)始人梁文鋒嘛。

而且美版梁文鋒的AI創(chuàng)業(yè)，跟DeepSeek一開始的路徑也很像，從數(shù)學(xué)突破開始。

Harmonic AI這家人工智能初創(chuàng)公司，旨在構(gòu)建能夠解決復(fù)雜數(shù)學(xué)問題的AI系統(tǒng)，創(chuàng)造出數(shù)學(xué)超級智能（Mathematical Superintelligence，MSI）。

目前，Harmonic AI通過B輪融資，已籌集到1億美元資金。

Harmonic AI估值近9億美元

美版梁文鋒——Harmonic AI的聯(lián)合創(chuàng)始人Vlad Tenev，同樣出身名校，本科畢業(yè)于斯坦福大學(xué)，后在UCLA完成碩士學(xué)業(yè)。

2013年，他在加利福尼亞州門洛帕克成立了金融服務(wù)公司Robinhood Markets。

2024年12月，公司宣布計劃于2025年擴(kuò)張至亞洲，總部設(shè)在新加坡。

Vlad Tenev帶領(lǐng)公司在互聯(lián)網(wǎng)券商領(lǐng)域取得了顯著成就，美股市值一度達(dá)到約227億美元。

Robinhood主要從事零售經(jīng)紀(jì)業(yè)務(wù)，提供美國上市股票和交易所交易基金、相關(guān)期權(quán)和加密貨幣交易，以及現(xiàn)金管理（包括借記卡服務(wù)）。

Robinhood利用互聯(lián)網(wǎng)和移動應(yīng)用程序讓散戶投資者能隨時隨地交易，降低了投資門檻與成本。

此外，Robinhood還提供股息再投資、衍生品交易等服務(wù)。

2025年第一季度，Robinhood營收9.27億美元，凈利潤達(dá)3.36億美元，凈利率達(dá)到36%，創(chuàng)歷史新高，平臺總資產(chǎn)達(dá)到2210億美元。

然而，Vlad Tenev的目光并未僅僅局限于金融領(lǐng)域。

2023年，Vlad Tenev與同樣有著豐富創(chuàng)業(yè)經(jīng)驗的Tudor Achim攜手，共同創(chuàng)立了Harmonic AI。

Tudor Achim畢業(yè)于卡內(nèi)基梅隆大學(xué)計算機(jī)專業(yè)，他在人工智能領(lǐng)域尤其是大模型訓(xùn)練方面積累了深厚的經(jīng)驗，曾參與創(chuàng)立自動駕駛+大模型領(lǐng)域的明星公司Helm.ai，這次也同時擔(dān)任Harmonic AI的首席技術(shù)官。

早在2024年9月，公司就已完成由Sequoia Capital領(lǐng)投，Index Ventures、DST Global合伙人和Nikesh Arora參與的A輪融資，融資金額高達(dá)7500萬美元，當(dāng)時投后估值便達(dá)到3.25億美元。

目前，Harmonic AI宣布已完成B輪融資，成功籌集1億美元資金。

此輪融資由知名投資機(jī)構(gòu)Kleiner Perkins領(lǐng)投，Paradigm大力參與，Ribbit Capital作為新投資者加入，而現(xiàn)有投資者Sequoia Capital、Index Ventures和Charlie Cheever也紛紛跟投。

這一系列動作使得Harmonic AI的估值達(dá)到了8.75億美元，距離“獨角獸”公司的10億美元估值門檻僅一步之遙。

不過，此次未達(dá)“獨角獸”估值門檻是有意為之，與很多初創(chuàng)公司盲目追求高估值不同，Harmonic AI更注重長期發(fā)展。

在2021年股票交易服務(wù)首次公開募股之前為Robinhood籌集了數(shù)十億美元資金的Tenev說：

以估值為目標(biāo)永遠(yuǎn)都不是正確的選擇。

構(gòu)建一個數(shù)學(xué)能力超越人類的AI系統(tǒng)

2024年7月，Harmonic AI宣布首個模型Aristotle，該模型具備自動形式化能力，能將自然語言問題和解決方案轉(zhuǎn)化為正式表示，與數(shù)學(xué)家等更好協(xié)作。

△形式化前

△形式化后

為精準(zhǔn)評估Aristotle能力，Harmonic還對MiniF2F進(jìn)行了系列改進(jìn)，如重新劃分?jǐn)?shù)據(jù)集，將488個MiniF2F問題（原本均勻分為驗證集和測試集）隨機(jī)重新分為392個訓(xùn)練問題、48個驗證問題和48個測試問題。

經(jīng)過完善和改進(jìn)，Aristotle在MiniF2F（涵蓋多種難度數(shù)學(xué)問題，包括國際數(shù)學(xué)奧林匹克競賽題目）基準(zhǔn)測試中從83%提升到90%。

Harmonic計劃于今年向研究人員和公眾提供其旗艦?zāi)Ｐ虯ristotle。

公司的目標(biāo)是構(gòu)建一個數(shù)學(xué)能力超越人類的AI系統(tǒng)，以此來克服當(dāng)前AI面臨的諸多問題，比如令人頭疼的 “幻覺” 問題，即模型對無法正確回答的問題編造答案。

Vlad Tenev稱：

最終的目標(biāo)則是解決重大的未解數(shù)學(xué)問題，并將這一能力擴(kuò)展到物理學(xué)和計算機(jī)科學(xué)領(lǐng)域。

他們認(rèn)為，數(shù)學(xué)是推理的語言，是人類發(fā)現(xiàn)宇宙基本真理的工具，通過提升AI的數(shù)學(xué)能力，能夠讓AI擁有更強(qiáng)大的邏輯推理能力，從而在科學(xué)、工程等眾多領(lǐng)域發(fā)揮巨大作用。

翻譯一下，更直接來說，他AI創(chuàng)業(yè)的目標(biāo)就是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

— 完 —