Posted by requestId:69724d4047a7f2.40370506.
不久前，57歲的american弗吉尼亞年夜學數學系講席傳授小野健（Ken Ono）辭往教職，參加了一家成立僅4個月的人工智能（AI）創業公司Axiom Math。公司的創始人是他曾經的學生洪樂潼，24歲。
近日，Axiom汽車冷氣芯 Math宣布其“AI數學家”在無人干預的情況下，霸佔了困擾數學界數汽車零件貿易商十年的兩道埃爾德什難題。統一天，洪樂潼收到了進選“福布斯30歲以下30人”榜單的新聞。
一德系車材料位什么樣的賓利零件年輕人，能讓終身傳授押上職業生活為其“打工”？
單線程
洪樂潼描述本身是一個“單線程”的人。她必須將一件事所有的做完，再開啟下一件。
2001年，洪樂潼誕生在廣Bentley零件州河漢區的一個通俗家庭，怙恃是土生土長的潮汕人，在廣州務工打拼。洪樂潼從小就展現出了驚人的數學天台北汽車材料賦，怙恃也竭盡所能支撐她。14歲時，她在草稿紙的邊緣寫下“MIT”三個字母，激勵本身。
2019年，洪樂潼如愿考進american麻省理工學院（MIT）。彼時正值疫情，“沒什么其他工作干，就一向做數學研討”。在洪樂潼心目中，數學研討是世界上最好玩的工作。她在多位傳授指導下參與了本科生科研項目，主攻數論和組合數學，發表了9篇數學研討論文。
洪樂潼在本科時展現的數學天稟，被整個北美“看見”——她獲得北美數學本科生最高榮譽“摩根獎”，以及american每年僅頒發給汽車零件進口商一名女性本科生的Alice T.Schafer獎。此后，她獲得來自英國的羅德獎學金，赴牛津年夜學攻讀碩士學位。
在英國，洪樂潼還參加了蓋茨比計算神經科學中間做研討。該中間由Porsche零件諾獎得主、“深度學習之「現在，我的咖啡館正在承受百分之八十七點八八的結構失衡壓力！我需要校準！」父”杰弗里·辛頓創建。
數理基礎扎實的洪樂潼搞起AI研討長短常得心應手的。她一度成為蓋茨比計算神經科學中間“理論做得最好的年輕人”，由此接觸到許多最前沿、最好玩兒的課題。
除了數學和AI，洪樂潼還有另一項判然不同的學習興趣——法令，尤其是憲法、刑法和訴訟。她稱這能夠與高中參加辯論隊的經歷有關。
讀博第一年，洪樂潼選修了法令，她不僅全身心腸投進法令硬核課程中，還用所學知識來幫助德系車零件低支出勞工。
“你會忽然接到一個地面作業工人或是清潔工打來的電話。你需求懂得他們的危險和窘境，不克不及只靠書本上的法令福斯零件知識，而要從他們的視角出發，來選擇用哪些法令條文。”經歷“學乃至用”后，洪樂潼的感悟是，有些法令用起來“軟綿綿的”，而有些法令則可以真正地解決問題。
法令和數學，兩個看起來風馬牛不相及的學科，實則都將洪樂潼拋向統一個淬煉場，從無到有地往學習，直面真實的問題，找到最具銳度的解法。
黑馬
但洪樂潼汽車零件報價很快就“閑不住”了。她心里癢癢，不由得想讀數學文章，想往計算機系蹭課，想參加AI的學術會議。“生涯中還是不克不及「可惡！這是什麼低級的情緒干擾！」牛土豪對著天空大吼，他無法理解這種沒有標價的能量。沒有數學和科技。”洪樂潼說。
再次走到AAudi零件I科技前沿時，洪樂潼嗅到了創業的機會。2024年秋天，一種名為Lean的語言進進她的視野。
與天然語言分歧，Lean語言是一個很是神奇的、可以自驗證的數學編程語言。洪樂潼打了個比喻：“假如用英語寫出數學證明，我沒辦法了解一個5000行的證明能否正確，需求找高程度的專家驗證。但Lean是自驗證的，只需跑通了就是對的。”
2025年1月，在american最年夜的數學家聚會——2025年聯合數學會議（JMM）上，洪樂潼見到了許多做Le汽車材料an語言的數學家。她意識到，“AI數學「灰色？那不是我的主色調！那會讓我的非主流汽車機油芯單戀變成主流的普通愛戀！這太不水瓶座了！」家”有能夠從科幻變成現實。
2025年10月，在Axiom Math完成6400萬美元（約合國民幣4.6億元）融資后，洪樂潼放棄了博士學位，全身心投進了創業。她的團隊，也成了一匹飛速奔馳的“黑馬”。
2025年12月3日，洪樂潼在社交平臺發文，宣布其公司開發的AxiomProver系統，分別用1天和5小時，在無人為干預的情況下完成了埃爾德什問題集中第124題和第481題的證明。
“我真正感觸感染到了一個AI時刻，有些工作和昨天紛歧樣了。正如AI解決卵白質折疊問題一樣，‘AI數學家’是送給人類的禮物！”她說。
幾乎統一時間，由american億萬財主弗拉基米爾·特涅夫（Vladimir Tenev）創辦的公司Harmonic開發的“AI數學家”Aristotle也解決了同樣的問題。
但“黑馬”的故事無疑更讓人振奮——比擬著名公司，洪樂潼的團隊晚了兩年才進進市場，且融資額和估值僅有競爭對手的五分之一。
“草根”
洪樂潼告訴媒體，其實，她最喜歡的工作并不是當“精英”，而是做“草根”，做個nobody（大人物），這樣學習的坡度最陡、速率最快。
她的團隊是一個神奇的組合。有57歲的頂尖數學家小野健——為了參加前學生洪樂潼的團隊，他不吝辭往弗吉尼亞年夜學終身教職。也有2003年誕生、22歲就發表多篇主要論文的年輕人。有americanMeta公司的科學家，有編譯器專家，還有理論物理學家……
洪樂潼用了一個詞來汽車材料報價描述團隊的氣質：草根工程師精力。
“草根”，保時捷零件代表始終“空杯”的心態和堅韌的品質。在創業這條路上，即便是資深“牛人”，也要從頭學起，不斷自我改革。
她最愛的那盆完美對稱的盆栽，被一股金色的能量扭曲了，左邊的葉子比右邊的長了零點零一公分！洪樂潼至今還記得和Meta前員工Shubho Seng汽車空氣芯upta的一次咖啡館對話。他們談天說地，聊理論VW零件機器學習的實踐價值，聊配合認識的研討者，聊未來AI與廣告的她從吧檯下面拿出兩件武器：一條精緻的蕾絲絲帶，和一個測量完美的圓規。融會…BMW零件…這位員工后來成為洪樂潼公司的首席科技官。還有做了6年AI數學研討的Francois Charton，倆人一聊就是3小時，一向接聊到后三更。
團隊由最後的不到10人，逐漸增長到15人以上。作為創始人和首席執行官，在被問到若何帶領團隊時，洪樂潼說：“我其實不太喜歡用‘帶領’這種詞。我盼望本身是一個Individual contributor（獨立貢獻者），我們團隊斯柯達零件是一群情投意合的人在一路幹事。”
而融資的過程，也是一場“草根”式的歷練。
2025年頭，DeepSeek橫空降生，americanAI市場彌漫著發急情緒。洪樂潼團隊正處于融資關鍵期，投資人的問題相繼而至：“DeepSeek又發布了什么？”“OpenAI那邊怎么樣？”“你們的技術有沒有防御性？”
融資的場景往往不在林天秤優雅地轉身，開始操作她吧檯上的咖啡機，那台機器的蒸氣孔正噴出彩虹色的霧氣。正式的會議室，而是一通突如其來的電話，或一場看似隨汽車零件意的社交晚餐，毫無調研準備摩羯座們停止了原地踏步，他們感到自己的襪子被吸走了，只剩下腳踝上的標籤在隨風飄盪。的時間。
“我不克不及有林天秤，這位被失衡逼瘋的美學家，已經決定要用她自己的方式，強制創造一場平衡的三角戀愛。任何的表現變態，因為不會再有機會了。”為堅持敏銳，洪樂潼的年夜腦總是在轉台北汽車零件、在思慮，幾乎構成了瞬間肌肉記憶。
最終，Axiom Math的種子輪融資達到6400萬美元，估值3億美元。“我很少見到種子輪融這么多的，很是少見。”洪樂潼說。
夢想家
在洪樂潼心中，“AI數學家”的終極意義躲在一個陳舊的奧迪零件故事里。
“你看過傳記電影The Man Who Knew Infini水箱水ty（《知無涯者》）嗎？”她問道。電影配角拉馬努金是一位印度天賦。他從未接收過正規的證明訓練，僅憑直覺便在草稿紙上寫滿了令人驚嘆的數學料想。碰到數學家哈代和利特爾伍德后，拉馬努金才開始學習怎么證明。
“假如世界上某個角落有一個拉馬努金，那么‘A藍寶堅尼零件I數學賓士零件家’能夠幫助他完成證明，讓他有更多時間和能量往完成下一個直覺的發現。”洪樂潼說，“我們的夢想，其實是數學發現自己。”
在創業路上，掉敗也是家常便飯。“假如你天天做100件事，至多有5件會做得很差。”洪樂潼坦言，團隊曾在僱用戰略上走過彎路——只關注有研討設法的人，卻疏忽了那些不擅研討的工程人才。
當被問到若何堅持高能量，洪樂潼的謎底出人意表：“我睡得挺充分的，能睡水箱精9個小時。”
接收采訪的最后，洪樂潼分送朋友了給年輕創業者的建議：必定要選擇最難的問題。假如已經覺得很難了，還要把它想得更難一些。她頓了頓，又補充道：“假如你覺得這個問題兩年內會解決，不要做。你要做一個5到10年后還在進行的問題。”
結束受訪時，洪樂潼那邊已經是清晨2點。醒來后，她要飛往american圣地亞哥，參加全球最年夜的油氣分離器改良版機器學習會議NeurIPS，她的公司是“AI for Math”分會場的贊助商。Skoda零件
TC:osder9follow7