12月4日，AI初創(chuàng)公司Axiom Math宣布著名數(shù)學(xué)家、弗吉尼亞大學(xué)前教授小野健Ken Ono加入公司，擔(dān)任創(chuàng)始數(shù)學(xué)家（Founding Mathematician）職位。

Axiom Math致力于打造“AI數(shù)學(xué)家”能推理、發(fā)現(xiàn)并證明數(shù)學(xué)問題的AI，公司已融資6400萬美元，核心團(tuán)隊包括多位來自Meta等科技巨頭，公司已融資6400萬美元，核心團(tuán)隊包括多位來自Meta等科技巨頭。此外，公司宣布其模型在沒有人類干預(yù)的情況下，自動完成了兩個數(shù)學(xué)猜想的證明埃爾德什問題（Erd?s Problem）中的 481 號和 124 號。

年僅24歲的創(chuàng)始人洪樂潼（Carina Hong）本科畢業(yè)于麻省理工學(xué)院，前往斯坦福攻讀法學(xué)與數(shù)學(xué)雙博士，后輟學(xué)創(chuàng)業(yè)。她也曾是Ken Ono的學(xué)生。

Ken Ono是位舉足輕重的數(shù)學(xué)家，指導(dǎo)過多位摩根獎得主。曾在威斯康星大學(xué)和埃默里大學(xué)任教數(shù)十年，2019年加入弗吉尼亞大學(xué)。對于AI，Ken Ono曾認(rèn)為其難以替代人類在純數(shù)學(xué)中的創(chuàng)造力。但去年參與一次AI模型測試后，他被其在數(shù)學(xué)領(lǐng)域展現(xiàn)出的能力震撼?！霸谝恍┎簧瞄L的數(shù)學(xué)領(lǐng)域，AI已經(jīng)讓我大吃一驚了?！贝撕?，他幾乎每晚與AI模型“討論”數(shù)學(xué)問題。

促使他離開學(xué)術(shù)界的另一因素，是行政事務(wù)日益擠壓研究時間。而成為Axiom的第 15 名員工，讓他有機(jī)會“在黑板之外改變世界”。Ken Ono強(qiáng)調(diào)加入Axiom是“探索精神驅(qū)使我前行?！彼f，“即使未來出現(xiàn)超級智能，仍會有數(shù)學(xué)問題等待人類解答。”

Axiom的目標(biāo)不僅是破解百年難題，更希望將數(shù)學(xué)AI應(yīng)用于軟件驗證、金融工程、物流優(yōu)化等商業(yè)場景?！把芯繑?shù)學(xué)很難，用AI做數(shù)學(xué)更難?！焙闃蜂硎荆@正是值得挑戰(zhàn)的方向。