(資料圖片僅供參考)
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)出的能力震撼。“在一些不擅長的數(shù)學(xué)領(lǐng)域,AI已經(jīng)讓我大吃一驚了。”此后,他幾乎每晚與AI模型“討論”數(shù)學(xué)問題。
促使他離開學(xué)術(shù)界的另一因素,是行政事務(wù)日益擠壓研究時間。而成為Axiom的第 15 名員工,讓他有機(jī)會“在黑板之外改變世界”。Ken Ono強(qiáng)調(diào)加入Axiom是“探索精神驅(qū)使我前行。”他說,“即使未來出現(xiàn)超級智能,仍會有數(shù)學(xué)問題等待人類解答。”
Axiom的目標(biāo)不僅是破解百年難題,更希望將數(shù)學(xué)AI應(yīng)用于軟件驗(yàn)證、金融工程、物流優(yōu)化等商業(yè)場景。“研究數(shù)學(xué)很難,用AI做數(shù)學(xué)更難。”洪樂潼表示,但這正是值得挑戰(zhàn)的方向。
本文來源投資界,原文:https://news.pedaily.cn/202512/558241.shtml
標(biāo)簽: 弗吉尼亞大學(xué)