最近，《華爾街日報》刊登了一篇讓全世界知識分子心頭一震的報道：
美國頂尖數學家、57 歲的肯·小野（Ken Ono），辭去弗吉尼亞大學的終身教授職位，跑去矽穀給一個 24 歲的中國女孩打工——加入她創立的 AI 數學公司 Axiom Math，成為她公司的第15位員工。
是的，你沒看錯。
不是教授帶學生創業。
是教授去給學生打工。
而這位學生，就是來自中國廣州、天賦異稟、履曆炸裂到不真實的洪樂潼 （Carina Letong Hong）。
別著急，請聽我慢慢細說。
01｜當數學傳奇遇上 AI：教授被震到“身份危機”
Ken Ono 是什麽級別的人物？
UVA 頂級數學教授
世界最知名的數論學家之一
好萊塢、奧運會都找他做數學顧問
甚至因拍啤酒廣告被稱為“最會玩”的數學家
他的數學成就橫跨 Ramanujan 研究、數論、Moonshine 理論等超級深水區。
他本以為數學的創造力不會被AI取代，“至少還要幾十年”。
直到去年春天，他受邀參加一個對AI數學模型的測試。
看完之後，他整個人都不好了。
“在我不擅長的數學領域，AI 已經遠遠超過我。”
——Ken Ono
這個被譽為“數學界的巨人”的教授，第一次感受到知識的天花板正在被 AI 重寫。
他甚至陷入了一段深度的“身份喪失”：
“如果 AI 連這都能做，那我還能做什麽？”
直到那場“撞擊靈魂”的 epiphany（頓悟）到來——
“AI 不是來取代數學家，而是改變數學的做法。”
——Ken Ono
於是，他做出一個震動整個數學界的決定：
離開學術界，加入AI數學領域的最前線。
02｜教授跳槽去的公司，老板隻有24歲，而且還是他的學生
更戲劇的是：
他加入的公司叫 Axiom Math。
創始人，是24歲的洪樂潼。
這家公司剛成立就從頂尖基金那裏拿到 6400 萬美元融資，一口氣挖來一批 Meta 的頂尖 AI 數學研究員。
而她給自己的導師開放的職位名稱簡潔粗暴：
“Chief Math Guy（首席數學家）”。
最後雙方“談判”結果是：
Founding Mathematician（創始數學家）。
一個57歲的數學大家，與一個24歲的天才女生，一起衝向數學 + AI 的無人區。
現實比科幻更科幻。
03｜那麽，這個讓教授願意“下凡打工”的女孩，到底有多厲害？
大家都在問，洪樂潼是誰？
圖片來源：M I T官網
她來自廣州，是家裏的第一代大學生。
但她的人生軌跡，從一開始就開掛。
以下內容請深呼吸閱讀：
高中廣東省奧數隊，多次獲得全國高中數學聯賽獎項
MIT本科3年畢業，數學 + 物理雙學位
Sigma Pi Sigma 榮譽會員
美國本科數學最高榮譽——Morgan Prize摩根傑出研究獎得主
美國數學界最高女性獎 Schafer Prize愛麗絲·謝弗獎（美國一年隻選 1 人）
羅德獎學金（Rhodes Scholar）
瑪麗亞姆·米爾紮哈尼獎學金
多篇同行評審論文 + 頂會審稿人
在美德法英中各國峰會發表過演講
然後她還順便：
在牛津拿了神經科學碩士
在全球最頂尖的機器學習研究機構 Gatsby Unit 做研究
在斯坦福攻讀數學 PhD + 法學博士 JD
周末為低收入工人做法律援助
用經濟學研究執法改革
更誇張的是，她在咖啡館裏讀數學論文時，和隔壁桌Meta的AI科學家聊了聊天，於是為未來大膽做出了決定。
你以為她會去華爾街做量化？
不，她選擇——
退學創業。
因為她覺得：
“研究數學已經很難了。
AI 做數學？
更難。
我要去做這個。”
知難而進，這才是數學天才的浪漫。
04｜她的目標：打造 “AI 數學家”
洪樂潼創立的 Axiom，不是做一般意義上的 AI。
她要做的是：
能獨立思考、提出猜想、做出證明的“AI 數學家”。
這意味著什麽？
意味著：
AI 可以自動做數學研究
能檢驗理論正確性
能優化物流、芯片設計、金融係統
能解決人類幾百年沒解決的難題
如果成功，它會成為數學界的“深藍時刻”。
也會成為科技界最大的爆點之一。
05｜教授為何願意追隨她？
Ken Ono 說：
“她是我教過最亮的星星之一。”
更重要的是，他認為 Axiom 做的是數學史上從未有人做過的事情。
他現在的日常工作包括：
給 AI 模型設計必須通過的數學難題
構建數學能力的基準測試
推動模型向“數學創造力”進化
“純數學很美，但很少改變世界。
而 AI 數學，將改變整個世界。”
在 UVA，他越來越少做數學——
隨著司法部將矛頭指向高等教育，他擔心聯邦研究經費會受到威脅。
今年早些時候，弗吉尼亞大學校長在特朗普政府的壓力下辭職。
作為教務長的STEM顧問，小野要應對政治、資金、行政。真正屬於數學的那部分時間，被不斷吞噬。
而在矽穀，他可以：
每天和世界最聰明的人討論數學
push AI 到極限
參與構建數學的未來
讓自己的數學真正改變世界運行方式
於是，57 歲的數學大師，決定離開弗吉尼亞大學投身人工智能領域。
帶著妻子和他們家的狗狗，搬去了矽穀。
他說：
“我不是為了錢來這的。我是為了參與改變世界。”
他已經是弗吉尼亞大學薪酬最高的員工之一，並拒絕了其他AI公司更豐厚的薪酬和更大的股份。
這是一個數學家的浪漫，也是一個時代的召喚。
06｜知識分子的遷徙：從象牙塔到矽穀
這件事背後，其實是更大的時代信號：
全球最聰明的人，正在從大學湧向 AI 前線。
為什麽？
因為在500年、5000年的曆史尺度上：
真正改變世界的，不是論文數量，而是工具。
數學家 Ken Ono 看到了：
AI 正在重做科學方法
數學研究將被加速
人類知識體係將被重構
而這些都不會在象牙塔裏發生。
他說：
“如果我是第一個，那就讓我來。
我不會是最後一個。”
07｜尾聲：數學比故事更浪漫
搬去矽穀上班的前一天，Ken Ono 說了一句話：
“即便我們創造出超級智能，
世界上仍會有數學問題無人能解。
而我，依然會在尋找答案。”
數學永遠不會被徹底解完。
而數學家們，也永遠不會停止追尋。
隻不過，如今他們身邊多了一個夥伴：AI
數學正在進入一個全新時代——
不再是人類單打獨鬥，而是與 AI 共同探索無限的未知。
這是屬於時代的轉折點，也是一段比小說更炫目的真實故事。
各位看官，你覺得，在 AI 的加速下，未來數學家會是什麽樣子？
在評論區留下你的想法，讓我們一起聊聊這個比科幻更現實的數學革命吧！
