
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數學領域的最前線。
更戲劇的是:
他加入的公司叫Axiom Math。
創始人,是24歲的洪樂潼。
這家公司剛成立就從頂尖基金那裏拿到6400 萬美元融資,一口氣挖來一批 Meta 的頂尖 AI 數學研究員。
而她給自己的導師開放的職位名稱簡潔粗暴:
Chief Math Guy(首席數學家)。
最後雙方談判結果是:
Founding Mathematician(創始數學家)。
一個57歲的數學大家,與一個24歲的天才女生,一起衝向數學 + AI 的無人區。
現實比科幻更科幻。
她來自廣州,是家裏的第一代大學生。
但她的人生軌跡,從一開始就開掛。
以下內容請深呼吸閱讀:
然後她還順便:
在牛津拿了神經科學碩士
在全球最頂尖的機器學習研究機構Gatsby Unit做研究
在斯坦福攻讀數學 PhD + 法學博士 JD
周末為低收入工人做法律援助
用經濟學研究執法改革
更誇張的是,她在咖啡館裏讀數學論文時,和隔壁桌Meta的AI科學家聊了聊天,於是為未來大膽做出了決定。
你以為她會去華爾街做量化?
不,她選擇
退學創業。
因為她覺得:
研究數學已經很難了。
AI 做數學?
更難。
我要去做這個。
知難而進,這才是數學天才的浪漫。
洪樂潼創立的 Axiom,不是做一般意義上的 AI。
她要做的是:
能獨立思考、提出猜想、做出證明的AI 數學家。
這意味著什麽?
意味著:
AI 可以自動做數學研究
能檢驗理論正確性
能優化物流、芯片設計、金融係統
能解決人類幾百年沒解決的難題
如果成功,它會成為數學界的深藍時刻。
也會成為科技界最大的爆點之一。
Ken Ono 說:
她是我教過最亮的星星之一。
更重要的是,他認為Axiom 做的是數學史上從未有人做過的事情。
他現在的日常工作包括:
給 AI 模型設計必須通過的數學難題
構建數學能力的基準測試
推動模型向數學創造力進化
純數學很美,但很少改變世界。
而 AI 數學,將改變整個世界。
在 UVA,他越來越少做數學
隨著司法部將矛頭指向高等教育,他擔心聯邦研究經費會受到威脅。
今年早些時候,弗吉尼亞大學校長在特朗普政府的壓力下辭職。
作為教務長的STEM顧問,小野要應對政治、資金、行政。真正屬於數學的那部分時間,被不斷吞噬。
而在矽穀,他可以:
每天和世界最聰明的人討論數學
push AI 到極限
參與構建數學的未來
讓自己的數學真正改變世界運行方式
於是,57 歲的數學大師,決定離開弗吉尼亞大學投身人工智能領域。
帶著妻子和他們家的狗狗,搬去了矽穀。
他說:
我不是為了錢來這的。我是為了參與改變世界。
他已經是弗吉尼亞大學薪酬最高的員工之一,並拒絕了其他AI公司更豐厚的薪酬和更大的股份。
這是一個數學家的浪漫,也是一個時代的召喚。
這件事背後,其實是更大的時代信號:
全球最聰明的人,正在從大學湧向 AI 前線。
為什麽?
因為在500年、5000年的曆史尺度上:
真正改變世界的,不是論文數量,而是工具。
數學家 Ken Ono 看到了:
AI 正在重做科學方法
數學研究將被加速
人類知識體係將被重構
而這些都不會在象牙塔裏發生。
他說:
如果我是第一個,那就讓我來。
我不會是最後一個。
搬去矽穀上班的前一天,Ken Ono 說了一句話:
即便我們創造出超級智能,
世界上仍會有數學問題無人能解。
而我,依然會在尋找答案。
數學永遠不會被徹底解完。
而數學家們,也永遠不會停止追尋。
隻不過,如今他們身邊多了一個夥伴:AI
數學正在進入一個全新時代
不再是人類單打獨鬥,而是與 AI 共同探索無限的未知。
這是屬於時代的轉折點,也是一段比小說更炫目的真實故事。
大家都在問,洪樂潼是誰?