學術圈最近炸了個大新聞。

一位57歲的世界級數學家，突然宣布放棄自己的終身教職——跑去給24歲前學生打工了。

這位數學家叫Ken Ono，在弗吉尼亞大學教了很多年書。他這次加入的公司叫Axiom Math，是個專注AI數學的初創團隊，創始人正是他曾經帶過的學生Carina Hong（洪樂瀾）。

有意思的是，Ken Ono以前其實不怎麼看好AI搞數學。但最近這些模型在推理和證明上的表現，徹底改變了他的想法。現在他在Axiom Math當「創始數學家」，負責訓練模型、設計測試標準、把握研究方向。

Axiom Math剛成立沒多久，就拿到了6400萬美元融資。他們的目標很明確：造出能做數學推理、自動證明、形式化驗證的AI，然後把這套東西用到科研、安全稽核、工程驗證這些實際場景裡去。

再說說這位創始人。Carina Hong本科MIT數學系，後來去史丹佛讀數學和法律雙博士（JD+PhD那種）。她本科時就拿過摩根獎提名——那可是數學界給本科生的最高榮譽之一。畢業後她去了Meta的前沿AI團隊，專門研究數學推理方向，還拉了一幫前Meta的研究員出來創業。

現在行業裡不少人覺得，Axiom Math的出現是個信號：當大模型遇到推理瓶頸時，數學能力可能就是下一個突破口。Ken Ono的加盟，某種程度上也算是傳統學術界給這個方向投的一票。

順帶一提，Ken Ono是日裔，Carina Hong是華裔。兩代人，跨越三十多歲的年齡差，在AI這條新賽道上重新組隊了。