在迅速崛起的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年後還在進行的問題。」
