00后學(xué)霸女生獲14億融資 AI新星崛起(2)

小大

用微信掃描二維碼
分享至好友和朋友圈

關(guān)鍵詞：

2026-03-17 17:13:26 新浪財經(jīng)

Axiom的答案是可驗證人工智能（Verified AI）。其核心優(yōu)勢在于形式化驗證：通過Lean編程語言，將數(shù)學(xué)證明轉(zhuǎn)化為可執(zhí)行程序，從根本上確保結(jié)果的正確性。在這里，大模型不再是基于概率去“猜”答案，而是將代碼轉(zhuǎn)化為嚴(yán)格的數(shù)學(xué)邏輯，證明出結(jié)果。每一步推理，都必須通過確定性驗證器的檢驗。

洪樂潼認為，科學(xué)突破往往需要兩步：提出假設(shè)，再用證明去驗證。Axiom的終極使命是無限壓縮把好奇心轉(zhuǎn)化為真理的時間。她表示：“Verified AI關(guān)注的，絕不僅僅是修補AI的缺點。真正瞄準(zhǔn)的，是AI的上限，是通向超級智能的階梯?！?/p>

洪樂潼的故事離不開她的成長背景。2001年，她出生于廣州，父母是潮汕人。自幼便展現(xiàn)出不凡的數(shù)學(xué)天賦，中學(xué)就讀于廣東名校華南師范附中。高中時期，她是數(shù)學(xué)奧林匹克省隊唯一四名女生之一，多次在華羅庚金杯、全國高中數(shù)學(xué)聯(lián)賽等競賽中取得好名次。2019年，她考入麻省理工學(xué)院，攻讀數(shù)學(xué)和物理雙學(xué)位。三年后，洪樂潼成功拿到牛津大學(xué)羅德獎學(xué)金，成為僅有的四名中國獲獎?wù)咧?。隨后，她在英國牛津大學(xué)獲得碩士學(xué)位，并在倫敦大學(xué)學(xué)院進行人工智能和機器學(xué)習(xí)研究。

2024年8月，洪樂潼進入斯坦福大學(xué)攻讀數(shù)學(xué)博士和法學(xué)博士。不久，她闖入了AI界。Axiom已組建了一支堪稱“夢之隊”的核心團隊：CTO Shubho Sengupta曾任Meta AI研究總監(jiān)，核心科學(xué)家Fran?ois Charton率先將Transformer模型引入數(shù)學(xué)領(lǐng)域，創(chuàng)始數(shù)學(xué)家Ken Ono加入Axiom。目前，Axiom擁有30多名員工，招聘速度還在不斷加快。

AI浪潮已成為00后的主場。上周，靈初智能宣布完成天使輪及Pre-A輪共計20億元融資，聯(lián)合創(chuàng)始人陳源培出生于2001年，曾就讀于北京大學(xué)、斯坦福大學(xué)，師從李飛飛。優(yōu)理奇創(chuàng)始人楊豐瑜同樣是位00后，博士畢業(yè)于耶魯大學(xué)，本科畢業(yè)于美國密歇根大學(xué)計算機專業(yè)，曾在DeepMind工作。這些年輕創(chuàng)業(yè)者展現(xiàn)了超越年齡的成熟，幾乎是最優(yōu)秀的一群人。在技術(shù)重構(gòu)世界的前夜，沒有包袱，往往就是最好的行囊。

首頁上一頁 12共 2 頁

(責(zé)任編輯：0764)

關(guān)閉