在迅速崛起的AI創業賽道上，年齡、性別，甚至出身背景已經沒那麼重要。新一代「00後」草根創業者正在高速崛起。

去年3月成立的AI初創企業Axiom，近日宣布完成2億美元（約16億港元）A輪融資，公司估值達16億美元（約125億港元），正式躋身獨角獸之列。其開發的AI系統如同「AI數學家」，去年末成功在無人干預的情況下，攻克兩道困擾數學界數十年的世界級難題，在全球學術界引發震動。而這家公司背後的創始人，是來自廣州的「00後」美少女學霸洪樂潼。\大公報記者 盧靜怡綜合報道

洪樂潼2001年出生在廣州天河區的一個普通家庭，父母是土生土長的潮汕人，都未上過大學，在廣州務工打拚。洪樂潼從小就展現出了驚人的數學天賦，父母也竭盡所能支持她。14歲時，她在草稿紙的邊緣寫下「MIT」（註：麻省理工學院的英文縮寫）三個字母，激勵自己。有着超強數學天賦的她，早在高一就入選了廣東省中學生英才計劃，師從中山大學教授王學欽。此後，她在全國中學生數學奧林匹克廣東選拔中脫穎而出，成為僅有的四位女生之一。

當普通同齡人還在為高考埋頭苦讀時，年僅17歲的洪樂潼已經如願考入美國麻省理工學院，選擇了數學與物理雙專業。在美國求學期間，彼時正值疫情。她回憶那段經歷稱：「沒什麼其他事情幹，就一直做數學研究。」

瞄準金融客群 打造量化解決方案

只用了三年時間，洪樂潼就在麻省理工學院修完了兩個學位，並在國際一流期刊發表了涉及模橢圓曲線與K3曲面上的L函數、「月光猜想」的9篇學術論文，研究方向涵蓋數論、組合學等基礎數學領域，為其當前AI創業埋下伏筆。麻省理工導師對她評價稱：「當多數人還在關注應用層時，她已瞄準數學證明自動化這一基礎難題。」當被問到如何保持高能量時，洪樂潼的答案十分簡單直接：「我睡得挺充足的，能睡9個小時。」

洪樂潼的創業路徑，同樣帶着幾分「不按常理」。她創立的科技公司的名字Axiom，意為公理，是構建數學理論的出發點。Axiom專注於數學領域，核心邏輯是通過Lean程序語言建構驗證系統，強制AI在推理時步步可驗證，杜絕AI出現「幻覺」問題。這套系統在無人干預的情況下，成功攻克兩道困擾數學界數十年的世界級難題，在全球學術界引發震動。

大公報記者了解到，這家估值達16億美元的年輕科技公司Axiom，已將商業視野瞄準對沖基金、量化交易員等高端金融客群，試圖以AI破解複雜數學證明的終極難題，為金融市場打造更高效、更嚴謹的量化解決方案。

建議創業者選擇最難問題

洪樂潼的創業團隊背景十分多元。團隊裏她不是最年輕的，因為還有2003年出生、已發表多篇重要論文的青年研究者。團隊也有來自科技大廠的工程師、編譯器專家與理論物理學家。更引人矚目的是，57歲的美國弗吉尼亞大學數學系講席教授小野健（Ken Ono）早前亦辭去終身教職，加入自己曾經學生的這家初創公司。

來自粵港澳大灣區的洪樂潼受訪時表示，自己出身草根，而她最喜歡的事亦正是做個nobody（小人物）。「因為從nobody做起，這樣的學習坡度最陡、速度最快。」對於年輕創業者，洪樂潼建議一定要選擇最難的問題研究。「如果已經覺得很難了，還要把它想得更難一些。」她表示：「如果你覺得這個問題兩年內會解決，不要做。你要做一個5到10年後還在進行的問題。」