AI初創(chuàng)公司Axiom近日宣布完成2億美元A輪融資,由知名風(fēng)投Menlo Ventures領(lǐng)投,老股東悉數(shù)跟投。成立僅一年多的Axiom估值飆升至16億美元,躋身“獨(dú)角獸”俱樂部。這家公司的創(chuàng)始人洪樂潼是一位出生于2001年的廣州女生。
Axiom的故事始于2024年深秋的一個(gè)周末,在美國加州斯坦福大學(xué)附近的一家咖啡館里。當(dāng)時(shí)還在攻讀博士學(xué)位的洪樂潼與Meta AI研究總監(jiān)Shubho Sengupta進(jìn)行了一次深入交談。他們討論了AI能否解決世界上最棘手的數(shù)學(xué)問題,并在思想碰撞中找到了新的方向。不久后,洪樂潼決定退學(xué)創(chuàng)業(yè),她認(rèn)為當(dāng)好奇心與真理之間只差一次驗(yàn)證時(shí),壓縮這個(gè)過程的時(shí)間就是最大的商業(yè)價(jià)值。
Axiom選擇了一條硬核且冷僻的賽道——可驗(yàn)證人工智能(Verified AI)。洪樂潼觀察到許多大模型在數(shù)學(xué)測試中的表現(xiàn)并不理想,尤其是在展示嚴(yán)謹(jǐn)證明過程時(shí)。Axiom的解決方案是借助一種名為Lean的編程語言,這種語言專為數(shù)學(xué)證明設(shè)計(jì),通過其檢驗(yàn)的結(jié)果邏輯上絕對(duì)正確。Axiom的核心系統(tǒng)在普特南競賽中取得了滿分,進(jìn)一步驗(yàn)證了這一理念的可行性。
Axiom的團(tuán)隊(duì)也是一支夢(mèng)之隊(duì)。CTO Shubho Sengupta曾是Meta AI研究總監(jiān),核心科學(xué)家Fran?ois Charton是將Transformer模型引入數(shù)學(xué)領(lǐng)域的先驅(qū)。最令人震撼的是57歲的數(shù)學(xué)權(quán)威Ken Ono的加盟。Ono辭去了弗吉尼亞大學(xué)的教職,加入洪樂潼的初創(chuàng)公司。他曾在學(xué)術(shù)界指導(dǎo)過十位摩根獎(jiǎng)得主,而洪樂潼正是其中之一。
洪樂潼出生在廣州天河區(qū)的一個(gè)普通家庭,自幼展現(xiàn)出不凡的數(shù)學(xué)天賦。她在華南師大附中就讀期間多次獲獎(jiǎng),并考入麻省理工學(xué)院攻讀數(shù)學(xué)和物理雙學(xué)位。疫情期間,她發(fā)表了多篇高質(zhì)量論文,拿下了北美數(shù)學(xué)本科生的最高榮譽(yù)“摩根獎(jiǎng)”。隨后,她獲得牛津大學(xué)羅德獎(jiǎng)學(xué)金,在英國進(jìn)行了深入研究。2024年,洪樂潼進(jìn)入斯坦福大學(xué)攻讀數(shù)學(xué)博士,但最終選擇了創(chuàng)業(yè)。
洪樂潼形容自己是一個(gè)“單線程”的人,必須將一件事全部做完,再開啟下一件。她的自我認(rèn)知清晰:既能像花一樣融入時(shí)代的繁茂,又能像樹一樣在專業(yè)領(lǐng)域扎根獨(dú)行。她希望Axiom能夠幫助那些像拉馬努金一樣的天才完成證明,讓他們有更多時(shí)間和能量去完成下一個(gè)直覺的發(fā)現(xiàn)。對(duì)于洪樂潼而言,她的“證明題”才剛剛開始。
知名投資者邁克爾·伯里近期對(duì)特斯拉提出批評(píng),認(rèn)為其市值被高估。伯里通過Substack專欄指出,特斯拉的估值問題已持續(xù)很長時(shí)間
2025-12-02 17:14:27做空英偉達(dá)后大空頭對(duì)特斯拉開火