https://mp.weixin.qq.com/s/1aJAsZ--nZaSFtcvHtXLzQ
最近，《華爾街日報》刊登了一篇讓全世界知識分子心頭一震的報道：
美國頂尖數學家、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｜那麽，這個讓教授願意“下凡打工”的女孩，到底有多厲害？
她來自廣州，是家裏的第一代大學生。
但她的人生軌跡，從一開始就開掛。
以下內容請深呼吸閱讀：
高中廣東省奧數隊，多次獲得全國高中數學聯賽獎項
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 共同探索無限的未知。
這是屬於時代的轉折點，也是一段比小說更炫目的真實故事。
大家都在問，洪樂潼是誰？
