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