北京
12月4日，AI初創公司Axiom Math宣布著名數學家、弗吉尼亞大學前教授小野健Ken Ono加入公司，擔任創始數學家（Founding Mathematician）職位。
Axiom Math致力于打造“AI數學家”能推理、發現并證明數學問題的AI，公司已融資6400萬美元，核心團隊包括多位來自Meta等科技巨頭，公司已融資6400萬美元，核心團隊包括多位來自Meta等科技巨頭。此外，公司宣布其模型在沒有人類干預的情況下，自動完成了兩個數學猜想的證明埃爾德什問題（Erd?s Problem）中的 481 號和 124 號。
年僅24歲的創始人洪樂潼（Carina Hong）本科畢業于麻省理工學院，前往斯坦福攻讀法學與數學雙博士，后輟學創業。她也曾是Ken Ono的學生。
Ken Ono是位舉足輕重的數學家，指導過多位摩根獎得主。曾在威斯康星大學和埃默里大學任教數十年，2019年加入弗吉尼亞大學。對于AI，Ken Ono曾認為其難以替代人類在純數學中的創造力。但去年參與一次AI模型測試后，他被其在數學領域展現出的能力震撼。“在一些不擅長的數學領域，AI已經讓我大吃一驚了。”此后，他幾乎每晚與AI模型“討論”數學問題。
促使他離開學術界的另一因素，是行政事務日益擠壓研究時間。而成為Axiom的第 15 名員工，讓他有機會“在黑板之外改變世界”。Ken Ono強調加入Axiom是“探索精神驅使我前行。”他說，“即使未來出現超級智能，仍會有數學問題等待人類解答。”
Axiom的目標不僅是破解百年難題，更希望將數學AI應用于軟件驗證、金融工程、物流優化等商業場景。“研究數學很難，用AI做數學更難。”洪樂潼表示，但這正是值得挑戰的方向。
特別聲明：以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布，本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
