<h1><b style="font-size:22px; color:rgb(1, 1, 1);">本美篇號：4265276</b></h1><p class="ql-block"><br></p><h1><b style="font-size:22px; color:rgb(1, 1, 1);">本文圖片：下載自網(wǎng)絡(luò)</b></h1><p class="ql-block"><br></p><h1><b style="font-size:22px; color:rgb(1, 1, 1);">本文文字：文龍</b></h1><p class="ql-block"><br></p><h1><b style="font-size:22px; color:rgb(1, 1, 1);">本文編輯：文龍</b></h1> 正? ? 文 <h1><b style="color:rgb(1, 1, 1); font-size:22px;"> 2026年3月中旬，硅谷AI圈被一位廣州女孩刷屏。由25歲天才少女洪月潼（Carina Hong）創(chuàng)辦的AI初創(chuàng)公司Axiom宣布完成2億美元（約合14億元人民幣）的A輪融資，領(lǐng)投方為頂級風(fēng)投Menlo Ventures，Greycroft、Madrona Venture、B Capital、Toyota Ventures等老股東持續(xù)加碼。至此，公司估值高達(dá)16億美元（約合人民幣110億元），成立不到一年即躋身全球最年輕的獨角獸之一，天才少女履歷“開掛”，她是如何一步步走到硅谷的？</b></h1> <h1><b style="color:rgb(1, 1, 1); font-size:22px;"> 2001年，洪月潼出生于廣州，父母是潮汕人，均為普通務(wù)工者。自幼她便展現(xiàn)出不凡的數(shù)學(xué)天賦，高中就讀于廣東名校華南師大附中，多次在奧數(shù)競賽中獲獎，曾入選廣東省中學(xué)生英才計劃，師從中山大學(xué)教授王學(xué)欽。是廣東奧數(shù)省隊僅有的四名女生之一，多次斬獲“華羅庚金杯”和全國高中數(shù)學(xué)聯(lián)賽獎項。</b></h1><h1><br></h1><h1><b style="color:rgb(1, 1, 1); font-size:22px;"> 2018年，17歲的她被麻省理工學(xué)院（MIT）錄取，攻讀數(shù)學(xué)與物理雙專業(yè)，僅用3年便完成學(xué)業(yè)。本科期間發(fā)表了9篇學(xué)術(shù)論文，研究方向涵蓋模橢圓曲線、K3曲面上的L函數(shù)、“月光猜想”等基礎(chǔ)數(shù)學(xué)領(lǐng)域。她還曾獲得全美女性數(shù)學(xué)家最高榮譽Alice T. Schafer數(shù)學(xué)獎，以及表彰北美數(shù)學(xué)專業(yè)本科生杰出研究的AMS-MAA-SIAM摩根獎。</b></h1> <h1><b style="color:rgb(1, 1, 1); font-size:22px;"> 2021年，洪月潼獲得牛津大學(xué)羅德獎學(xué)金，成為當(dāng)年僅有的四位中國獲獎?wù)咧弧Ａ_德獎學(xué)金被譽為“本科諾貝爾獎”，是世界上歷史最悠久、最負(fù)盛名的國際獎學(xué)金項目之一。在牛津攻讀神經(jīng)科學(xué)碩士期間，她在倫敦大學(xué)學(xué)院蓋茨比計算單位作為第一作者開展深度學(xué)習(xí)研究，正式踏入AI領(lǐng)域。隨后她又進(jìn)入斯坦福大學(xué)，攻讀數(shù)學(xué)與法律雙學(xué)科博士。然而，博士還沒讀完，她便做出了一個決定：退學(xué)創(chuàng)業(yè)。</b></h1><h1><br></h1><h1><b style="font-size:22px; color:rgb(1, 1, 1);"> 洪月潼看到的，是AI行業(yè)最尖銳的矛盾：大模型的能力在狂飆，但可靠性始終是個黑盒?！叭粘?yīng)用中的‘胡說八道’或許無傷大雅；但在金融、國防或關(guān)鍵基礎(chǔ)設(shè)施領(lǐng)域，任何基于概率的錯誤都可能釀成災(zāi)難?！彼齽?chuàng)立的Axiom（源自數(shù)學(xué)術(shù)語“公理”），目標(biāo)正是打造能自動驗證計算機(jī)代碼的AI系統(tǒng)，讓大模型的推理過程像數(shù)學(xué)證明一樣嚴(yán)格，每一步都可驗證。其核心技術(shù)是形式化驗證：通過Lean編程語言，將數(shù)學(xué)證明轉(zhuǎn)化為可執(zhí)行程序，從根本上確保結(jié)果的正確性。大模型不再是基于概率去“猜”答案，而是將代碼轉(zhuǎn)化為嚴(yán)格的數(shù)學(xué)邏輯，每一步推理，都必須通過確定性驗證器的檢驗。</b></h1> <h1><b style="color:rgb(1, 1, 1); font-size:22px;"> 2024年深秋，斯坦福附近的一家咖啡館里，洪月潼與當(dāng)時Meta AI研究總監(jiān)Shubho Sengupta聊了整整幾個小時，核心議題只有一個：AI能不能真正學(xué)會數(shù)學(xué)推理？兩人一拍即合，一個退學(xué)，一個辭職，兩人一起創(chuàng)業(yè)。Axiom成立后先后有20多名員工加入，洪月潼用了一個詞來形容團(tuán)隊的氣質(zhì)：草根工程師精神。但事實上，這支團(tuán)隊的成員身份一點也不草根，甚至背景堪稱豪華。Axiom第一位成員，正是和她在咖啡館聊了好幾個小時的Meta前員工Shubho Sengupta，如今他的身份是公司的CTO。核心科學(xué)家Fran?ois Charton，則是將Transformer架構(gòu)引入數(shù)學(xué)推理領(lǐng)域的先驅(qū)人物。他干的活，就是把數(shù)學(xué)算式當(dāng)成一種“語言”輸入進(jìn)Transformer，試試看Transformer能不能像翻譯句子一樣去翻譯數(shù)學(xué)。其他成員約半數(shù)來自Meta AI，另一半則是世界級數(shù)學(xué)家與形式化驗證先驅(qū)。</b></h1> <h1><b style="color:rgb(1, 1, 1); font-size:22px;">Axiom Math主要成員合影，中間為創(chuàng)始人洪月潼（Carina Hong）</b></h1> <h1><b style="color:rgb(1, 1, 1); font-size:22px;"> 最近，美國一位傳奇數(shù)學(xué)家，放下了終身教職，開始為一位24歲的年輕人“打工”。據(jù)《華爾街日報》，57歲的美國頂尖數(shù)學(xué)家小野?。↘en Ono）辭去了弗吉尼亞大學(xué)終身教職，上周正式加入了他之前的學(xué)生，一位24歲年輕人洪月潼（Carina Hong）創(chuàng)辦的AI數(shù)學(xué)公司Axiom Math，成為第15號員工。</b></h1><h1><br></h1><h1><b style="color:rgb(1, 1, 1); font-size:22px;"> 小野健出生于1968年，是美國頂尖數(shù)論學(xué)家，弗吉尼亞大學(xué)終身教授，研究領(lǐng)域為數(shù)論（ number theory），曾任弗吉尼亞大學(xué)教務(wù)長STEM顧問。</b></h1><h1><br></h1><h1><b style="color:rgb(1, 1, 1); font-size:22px;"> 當(dāng)然，洪月潼亦是一位數(shù)學(xué)界的“天才少女”。她用三年時間從麻省理工學(xué)院畢業(yè)，作為美國頂尖的本科數(shù)學(xué)研究者榮獲摩根獎（Morgan Prize），并獲得羅德獎學(xué)金（Rhodes scholarship）。之后，她前往斯坦福大學(xué)攻讀法律和數(shù)學(xué)雙博士學(xué)位。中途，她決定退學(xué)創(chuàng)辦Axiom Math，并完成了6400萬美元的融資，從Meta挖來數(shù)名AI研究員，以及，請來了她的導(dǎo)師。小野健的決定，在數(shù)學(xué)界與AI圈都引起廣泛關(guān)注，因為這是少有的頂尖純數(shù)學(xué)家轉(zhuǎn)身投入AI創(chuàng)業(yè)公司的案例，也意味著“數(shù)學(xué)研究+AI”有了一種新方向。</b></h1> <h1><b style="font-size:22px;">數(shù)學(xué)家小野?。↘en Ono）和他的學(xué)生洪月潼</b></h1> <h1><b style="color:rgb(1, 1, 1); font-size:22px;"> 洪月潼的核心研究方向是將數(shù)學(xué)嚴(yán)謹(jǐn)性注入AI，解決大模型可靠性不足的行業(yè)痛點。她指出當(dāng)前AI大模型本質(zhì)是“概率黑盒”，依賴海量數(shù)據(jù)模式匹配而非真正理解邏輯。例如GPT-4在數(shù)學(xué)測試中看似準(zhǔn)確率96%，但要求展示推理過程時得分率驟降至5%。洪月潼帶領(lǐng)她的團(tuán)隊研發(fā)AxiomProver系統(tǒng)，基于Lean編程語言實現(xiàn)數(shù)學(xué)證明的機(jī)器可驗證性。2025年12月，AI系統(tǒng)自動證明了埃爾德什問題集中第124題（懸置30年）和第481題（懸置45年），證明過程被美國數(shù)學(xué)學(xué)會評價為“邏輯嚴(yán)謹(jǐn)、無任何隱性錯誤”。在普特南數(shù)學(xué)競賽中，Axiom系統(tǒng)完成了12道題目全對的滿分成績，這一成就此前近百年僅有5位人類數(shù)學(xué)家達(dá)成。</b></h1> <h1><b style="font-size:22px; color:rgb(1, 1, 1);"> 洪月潼創(chuàng)立的Axiom正在推動一場數(shù)學(xué)與AI的交叉革命，其技術(shù)應(yīng)用前景包括：</b></h1><h1><b style="font-size:22px; color:rgb(1, 1, 1);">1. 高可靠性AI落地場景</b></h1><h1><b style="font-size:22px; color:rgb(1, 1, 1);">金融領(lǐng)域：為對沖基金和量化交易公司提供可驗證的資產(chǎn)定價模型，降低因AI“幻覺”導(dǎo)致的投資風(fēng)險。</b></h1><h1><b style="font-size:22px; color:rgb(1, 1, 1);">關(guān)鍵基礎(chǔ)設(shè)施：在芯片設(shè)計、自動駕駛、國防安全等領(lǐng)域，通過形式化驗證確保AI系統(tǒng)決策的絕對正確性。</b></h1><h1><b style="font-size:22px; color:rgb(1, 1, 1);">2. 數(shù)學(xué)研究范式革新</b></h1><h1><b style="color:rgb(1, 1, 1); font-size:22px;">加速數(shù)學(xué)發(fā)現(xiàn)進(jìn)程，AI數(shù)學(xué)家可協(xié)助人類攻克百年未解的數(shù)學(xué)猜想，例如當(dāng)前團(tuán)隊正嘗試攻克“黎曼假設(shè)”相關(guān)問題。</b></h1><h1><b style="font-size:22px; color:rgb(1, 1, 1);">創(chuàng)造“數(shù)學(xué)即服務(wù)”模式，通過API向科研機(jī)構(gòu)提供AI輔助證明工具，降低數(shù)學(xué)研究的門檻。</b></h1><h1><b style="font-size:22px; color:rgb(1, 1, 1);">3. AI認(rèn)知能力進(jìn)化</b></h1><h1><b style="font-size:22px; color:rgb(1, 1, 1);">突破當(dāng)前大模型“知其然不知其所以然”的局限，構(gòu)建真正具備邏輯推理能力的通用人工智能。</b></h1><h1><b style="font-size:22px; color:rgb(1, 1, 1);">未來AI系統(tǒng)將能像人類數(shù)學(xué)家一樣，提出新的數(shù)學(xué)猜想并完成嚴(yán)謹(jǐn)證明，推動基礎(chǔ)科學(xué)的跨越式發(fā)展。</b></h1> <h1 style="text-align:center;"><b style="font-size:22px;">AI數(shù)學(xué)天才洪月潼</b></h1> <h1><b style="color:rgb(1, 1, 1); font-size:22px;"> 00 后洪月潼的故事，道破了未來教育的核心：扎實的基礎(chǔ)讓孩子有底氣，多元的路徑讓孩子有選擇，解決問題的思維讓孩子能成事。教育從來不是把孩子打造成統(tǒng)一的 “標(biāo)準(zhǔn)件”，而是尊重天賦與選擇，讓每個孩子都成長為獨一無二的自己。</b></h1> 全? 文? 完