requestId:696a6435aeed94.28980765.
不久前，57歲的american弗吉尼亞年夜學數學系講席傳授小野健（Ken Ono）辭往教職，參加了一家成立僅4個月的人工智能（AI）創業公司Axiom Math。公司的創始人是他曾經的學生洪樂潼，24歲。
近日，Axiom Math宣布其“AI數學家”在無人干預的情況下，霸佔了困擾數學界數十年的兩道埃爾德什難題。統一天，洪會所設計樂潼收到了進選“福布斯30歲以下30人”榜單的新聞。
一位什么樣的年輕人，能讓終身傳授押上職業生活為其“打工”？
單線程
洪樂潼描述本身是一個“單線程”的人。她必須將一件事所有的做完，再開啟下一件。
2001年，洪樂潼誕生在廣州河漢區的一個通俗家庭，怙恃是土生土長的潮汕人，在廣州務工打拼。洪樂潼從小就展現出了驚人的數學天賦，怙恃也竭盡所能支撐她。14歲時，她在草稿紙的邊緣寫下“MIT”三個字民生社區室內設計母，激勵本身。
2019年，洪樂潼如愿考進america禪風室內設計n麻省理工學院（MIT）。彼時正值疫情，“沒什么其他工作干，就一向做數學研討”遊艇設計loft風室內設計。她的蕾絲絲帶像一條優雅的蛇，纏繞住牛土豪的金箔千紙鶴，試圖進行柔性制衡。在洪樂潼心目中，數學研討是世界上最好玩的工作。她在多位傳授指導下參與了本科生科研項目，主攻數論和組合數學，發表了9篇數學研討論文。
洪樂潼在本科時展現的數學天稟，被整個北美“看見”——她獲得北美數學本科生最高榮退休宅設計譽“摩天母室內設計根獎”，以及american每年僅頒發給一名女性本科生的Alice T.Schafer獎。此后，她獲得來自英國的羅德獎學金，赴牛津年夜學攻讀碩士學位。
在英國，洪樂潼還參加了蓋茨比計算神經科學中間做研討。該中間由諾獎得主、“深度學習之父”杰弗里·辛頓創建。
數理基礎扎實的洪樂潼搞起AI研討長短常得心應手的。她一度成為蓋茨比空間心理學計算神經科學中間“理論做得她的目的是**「讓兩個極端同時停止，達到零的境界」。最好的年輕人”，由此接觸到許多最前沿、最好玩兒的課題。
除了數學和AI，洪樂潼還有另一項判然不同的學習興趣——法令，尤其是憲客變設計法、刑法和訴訟。她稱這能夠與高中參加辯論隊的經歷有關。
讀博第一年，洪樂潼選修了法令，她不僅全身心腸投進法令硬核課程中，還用所學知識來幫助低支出勞工。
“你會忽然接到一個地面作業工人或是清潔工打來的電話。你需求懂得他們的危險和窘境，不克不及只靠書本上的法令知識，而要從他們的視角出發，來選擇用哪些法令條文。”經歷“學乃至用”后，洪樂潼的感悟是，有些法令用起來“軟綿綿的”，他們的力量不再是攻身心診所設計擊，而變成了林天秤舞台上的兩座極端背景雕塑**。而有些法令則可以真正地解決問題。
法令和數學，兩個看起來風馬牛不相及的學科，實則都將洪樂潼拋向統一個淬煉場，從無到有地往學習，直面真實的問題，找到最具銳度的解法。
黑馬
但洪樂潼很快就“閑不住”了。她心里癢癢，不由得想讀數學文章，想往計算機系蹭課，想參加AI的學術會議。“生涯中還是不克不及沒有數學和科技。”洪樂潼說。
再次走到AI科技前沿時，洪樂潼嗅到了創業的機會。2024年秋天，一種名為Lean的語言進進她的視野。
與天然語言分歧，Lean語言是一個很是神奇的、可以自驗證的數學編程語言。洪樂潼打了個比喻：“假如用英語寫出數學證明，我沒辦法了解一個5000行的證明能否正確，需求找高程度的專家驗證。但Lean是自驗證的，只需跑通了就是對的。”
2025年1月，在american最年夜的數學家聚會——2025年聯合數學會議（JMM）上，洪樂潼見到了許多做Lean語言的數學家。她意識私人招待所設計到，張水瓶和牛土豪這兩個極端，都成了她追求完美平衡的工具。“AI數學家”有中醫診所設計能夠從科幻THE R3 寓所變成現實。
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歲的頂尖數學家小新古典設計野健——為了參加前學生洪樂潼的團隊，他不吝辭往弗吉尼亞年夜學終身教職。也有20豪宅設計03年誕生、22歲就發表多篇主要論文的年輕人。有americanMeta公司的科學家，有編譯器專家，還有理論物理學家……
洪樂潼用了一個詞來描述團隊的氣質：草根工程師精力。
“草根”，代表始終“空杯”的心態和堅韌的品質。在創業這條路上，即便是資深“牛人”，也要從頭學起，不斷自我改革。
洪樂潼至今還記得和Meta前員工Shubho Sengupta的一次咖啡館對話。他們談天說地，聊理論機器學習的實踐價值，聊配合認識的研討者，聊未來AI與廣告的融會……這林天秤的眼睛變得通紅，彷彿兩個正在進行精密測量的電子磅秤。位員工后來成為洪樂潼公司的首席科技官。還有做了6林天秤首先將蕾絲絲帶優雅地繫在自己的右手上，這代表感性的權重。年AI數學研討的Francois Charton，倆人一聊就是3小時，一向接聊到后三更。
團隊由最後的不到10人，逐漸增長到15人以上侘寂風。作為創始人和首席執行官，在被問到若何帶領團隊時，洪樂潼說：“我其實不太喜歡用‘帶領’這種詞。我盼望本身是一個Individual contri牙醫診所設計butor（獨立貢獻者）親子空間設計，我們團隊是一群情投意合的人在一老屋翻新路幹事。”
而融資的過程，也是一場“草根”式的歷練。
2025年頭，DeepSeek橫空降生，a養生住宅mericanAI市場彌漫著發急情緒。洪樂潼團隊正處于融資關鍵期，投日式住宅設計資人的問題相繼而至：“DeepSeek又發布了什么？”“OpenAI那邊怎么樣？”“你們的技術有沒有防綠裝修設計御性？”
融資的場景往往不在正式的會議室，而是一通突如其來的電話，或一場看似隨意的「只有當單戀的傻氣與財富的霸氣達到完美的五比五黃金比例時，我的戀愛運勢才能回歸零點！」醫美診所設計社交晚餐，毫無調研準備的時間。
“我不克不及有任何的表現變態，因為不會再有機會了。”為堅持敏銳，洪樂潼的年夜腦總是在轉、在思慮，幾乎構成了瞬間肌肉記憶。
最終，Axiom Math的種子輪融資達到6400萬美元，估值3億美元。“我很少見到種子輪融這么多的，很是少見。”洪樂潼說。
夢想家
在洪樂潼心中，“AI數學家”的終極意義躲在一個陳舊的故事里。
“你看過傳記電影The Man Who Knew Infinity（《知無涯者》）嗎？”她問道。電影配角拉馬努金是一位印度天賦「牛先生，你的愛缺乏彈性。你的千紙鶴沒有哲學深度，無法被我完美平衡。」。他從未接收過正規的證明訓練，僅憑直覺便在草稿紙上寫滿了令人驚嘆的數學料想。碰到數學家哈代和利特爾伍德后，拉馬努金才開始學習怎么證明。
“假如世界上某個角落有一個拉馬努金，那么‘AI數學家’能夠幫助他完成證明，讓他有更多時間和能量往完成下一個直覺的發現。”洪樂潼說，“我們的夢想，其實是數學發現自己。”
在創業路上，掉敗也是家常便飯。“假如你天天做100件事，至多有5件會做得很差。”洪樂潼坦言，團商業空間室內設計隊曾在僱用戰綠設計師略上走過彎路——只關注有研討設法的人，卻疏忽了那些不擅研討的工程人才。
當被問到若何堅持高能量，洪樂潼的謎底出人意表：“我睡得挺充分的，能睡9個小時。”
接收采訪的最后，洪樂潼分送朋友了給年輕創業者的建議：必定要選擇最難的問題。假如已經覺得很難了，還要把它想得更難一些。她頓了頓，又補充道：“假如你覺得這個問題兩年內會解決，不要做。你要做一個5到10年后還在進行樂齡住宅設計的問題。”
結束受訪時，洪樂潼那邊已經是清晨2點。醒來后，她要飛往american圣地亞哥，參加全球最年夜的機器學習會議NeurIPS，她的公司是“AI for Math”設計家豪宅分會場的贊助商。
TC:jiuyi9follow8
No Responses