(資料圖片僅供參考)

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模型測試后，他被其在數學領域展現出的能力震撼?！霸谝恍┎簧瞄L的數學領域，AI已經讓我大吃一驚了?！贝撕?，他幾乎每晚與AI模型“討論”數學問題。

促使他離開學術界的另一因素，是行政事務日益擠壓研究時間。而成為Axiom的第 15 名員工，讓他有機會“在黑板之外改變世界”。Ken Ono強調加入Axiom是“探索精神驅使我前行。”他說，“即使未來出現超級智能，仍會有數學問題等待人類解答?！?/p>

Axiom的目標不僅是破解百年難題，更希望將數學AI應用于軟件驗證、金融工程、物流優化等商業場景。“研究數學很難，用AI做數學更難?！焙闃蜂硎荆@正是值得挑戰的方向。

本文來源投資界，原文：https://news.pedaily.cn/202512/558241.shtml

標簽： 弗吉尼亞大學