喺人工智能由「聊天工具」向「科學革命者」轉型嘅時候，24歲嘅斯坦福輟學博士Carina Hong迅速組成一支「夢幻團隊」：佢創辦嘅Axiom Math唔單止由Meta嘅Fundamental AI Research（FAIR）實驗室挖走多位頂尖研究員，仲說服佢以前嘅導師——全球知名嘅數論學者Ken Ono——辭去弗吉尼亞大學（UVA）嘅終身教職，轉做全職。呢間成立不足9個月嘅AI數學初創公司，已經完成6400萬美元種子輪融資，估值飆升到幾億美元。Hong嘅吸引力來自佢大膽嘅願景：打造一個「AI數學家」——能夠獨立解決複雜數學問題、產生嚴謹嘅證明同自我驗證嘅系統。喺《華爾街日報》專訪入面，Ono直言：「Carina嘅洞見令我見到數學同AI未來融合，我無辦法袖手旁觀。」喺2025年硅谷人才爭奪愈演愈烈嘅大環境下，呢個故事唔只係創業神話，亦反映出AI界對「數學力量」嘅追逐——由DeepSeek V3.2喺數學基準嘅突破，到Google Gemini 3嘅推理進步，數學已經成為AI嘅「皇冠明珠」。
Carina Hong嘅傳奇由斯坦福校園開始。2024年秋，佢係羅德學者（Rhodes Scholar）兼斯坦福計算機科學博士生，周末常喺校園附近嘅Verve Coffee Roasters研讀數學論文。當時，AI模型例如GPT‑5喺語言任務表現出色，但喺數學證明同抽象推理上多次「翻船」——例如喺AIME競賽中準確率淨係得70%。Hong敏銳地睇到呢個痛點：AI需要具備「數學思維」先可以攻破藥物發現、氣候建模等硬核問題。佢迅速組建咗一支小隊，喺2025年3月輟學創辦Axiom Math，總部設喺矽谷帕羅奧圖（Palo Alto）。公司願景直指核心：開發「AI數學家」，唔止解題，仲可以產生「可驗證嘅證明」同「自我反省機制」，目標係重塑數學研究嘅範式。呢輪種子融資由Index Ventures領投，Kleiner Perkins跟投，投資者包括前OpenAI高管——佢哋被Hong嘅「數學+AI」敘事說服，相信可以填補現有模型嘅「推理鴻溝」。
吸引Meta頂尖研究員，係Hong「人才磁場」嘅第一波衝擊。Axiom Math員工淨係17人，但「人才密度驚人」：核心團隊好多嚟自Meta FAIR，包括多位喺Llama模型開發有重要貢獻嘅AI研究員。喺LinkedIn上，Index Ventures合夥人Jon Turow發帖讚嘆：「Axiom係我見過最密集嘅頂尖團隊。」呢啲「叛逃者」點解會放棄Meta嗰啲穩定高薪（年薪總包超過50萬美元）？Business Insider獨家採訪指出：Hong嘅「數學優先」文化係關鍵。唔同於OpenAI嘅「通用AGI」野心，Axiom專注「數學基礎」，讓研究員直面AI嘅「認知瓶頸」——例如證明生成同錯誤自查。呢啲喺Meta FAIR做廣泛研究時好難做到。一位匿名研究員透露：「Carina每週嘅『數學茶話會』激發咗靈感，我哋唔係喺『修補』模型，而係喺『重構』數學邏輯。」此外，Hong嘅羅德學者背景同斯坦福人脈，提供跨界資源：由哈佛數學家到矽谷風投，佢建立咗學術同產業之間嘅橋樑。《富比世》報道，Axiom嘅股權激勵亦好吸引：早期員工可獲0.5–1%股份，遠高於Meta嘅RSU。
最震撼嘅「挖角」，係Ken Ono嘅加盟。呢位58歲嘅數學泰斗，係UVA嘅Marvin Rosenblum數學教授，被譽為「全球備受引用嘅數論學者之一」，佢嘅研究影響由拉曼努金猜想到橢圓曲線理論，引用次數超過2萬次。Ono唔單止係Hong喺斯坦福嘅導師，仲同佢合作過多項計劃。2025年秋，Ono出現咗一個「頓悟」：喺審閱Axiom內部原型時，佢發現AI可以「產生新嘅數學見解」，呢樣顛覆咗傳統學術範式。《華爾街日報》獨家報道，Ono主動聯絡Hong：「我無辦法喺象牙塔旁觀數學革命。」佢辭咗終身教職（tenure），全職加入Axiom，出任首席數學科學家。呢個決定喺學界好罕見——終身教職象徵「鐵飯碗」，Ono嘅選擇震驚咗UVA同事。SwimSwam補充，Ono身為游泳隊顧問，佢遷往矽谷亦帶嚟跨界視角：數學同AI嘅融合，可能幫助優化運動模擬。Ono喺X上發帖：「加入Axiom，唔係離開數學，而係擁抱佢嘅未來。」
Hong嘅「吸引力公式」可以拆成三個要素：第一係願景共鳴。Axiom嘅「AI數學家」直擊AI嘅弱點——目前模型例如Claude Opus 4.5喺證明生成上淨係有85%準確，而Axiom嘅原型已達到92%。研究員視之為「聖杯」：如果解決咗數學難題，可以衍生藥物設計同量子計算嘅突破。第二係資源傾斜。6400萬美元融資直接投放人才：Hong承諾「無會議周」，令研究員專注做研究。第三係個人魅力。Reddit r/mathematics有熱議：「Carina好似數學界嘅Elon Musk——年輕、激進、能夠說服巨人。」佢嘅羅德獎背景（牛津交流）同斯坦福導師網絡，提供咗信任背書。
呢個現象反映出AI創業生態嘅變遷。喺2025年，矽谷嘅「人才大戰」升級：Meta FAIR嘅流失率上升咗15%，頂尖研究員嘅薪資飆到80萬美元。Axiom嘅成功證明「專注細分領域」勝過「通用野心」——好似DeepSeek V3.2呢類數學專精模型，已喺IMO競賽攞到金牌。對學術界嘅衝擊更大：Ono嘅「叛逃」可能會引發一波「人才流失」，Hacker News嘅討論帖有36條留言，有人戲言：「終身教職變咗雞肋，AI初創係新嘅象牙塔。」不過風險依然存在：Axiom嘅「AI數學家」要克服「證明驗證」呢個難題，失敗會打擊團隊士氣。
展望未來，Axiom Math或者會成為AI數學嘅「斯坦福孵化器」。Hong喺YouTube訪談中話：「我哋唔係取代數學家，而係擴展人類嘅邊界。」喺呢位24歲創辦人手上，呢間初創唔單止係一個創業故事，仲係數學同AI交匯嘅「新黎明」——當導師為學生「下凡」，矽谷嘅魔力再次證明：願景可以移山。