早期生活與教育
小野健於1968年出生於美國賓夕法尼亞州費城。童年時,小野健承受來自父母的巨大壓力,沒能讀完高中。但沒有高中文憑的他仍考入
芝加哥大學,並在數學家父親的影響下愛上了數學。
職業生涯
2025年,小野健辭去
維吉尼亞大學終身教職,加入由其學生
洪樂潼(Carina Hong)創辦的AI創業公司Axiom Math,擔任第15名員工及創始數學家。他的工作包括設計數學問題以測試AI模型和起草基準體系,把公司的AI模型推向極限。公司旨在打造‘AI數學家’,融資6400萬美元。小野健的動機包括對AI進步的震撼、政治原因和探索精神,並引述“如果我是第一個,我一定不會是最後一個”和“我不是為錢而來”。
研究與貢獻
小野健以
數論方面的研究而聞名,他尤其以對印度數學奇才拉馬努金(Srinivasa Ramanujan)理論的深入研究而聞名,推動並擴展了拉馬努金的分拆理論,合作證明了大量關於
分拆函式的新等式、
母函式、模形式結構,包括拉馬努金同餘式到影月光猜想。2024年9月,他在《美國國家科學院院刊》(PNAS)上合作發表了一篇關於羅傑斯-拉馬努金恆等式的套用論文,並將其用於檢測
質數。他曾為
維吉尼亞大學的游泳運動員和美國隊的奧運游泳金牌得主提供諮詢,運用
數學分析和
建模為精英競技游泳運動員提供指導,例如為游泳者安裝裝有
陀螺儀和方向力計的
加速度計收集數據,利用
牛頓運動定律和套用
流體動力學分析數據,以改進技術和比賽策略。他還給
美國國家安全局提供建議。小野健參與製作了2015年的電影《知無涯者》,擔任該電影的聯合製片人兼數學顧問。此外,他為啤酒品牌Miller64拍攝廣告認證其卡路里值,出演了米勒淡啤(Miller Lite)的超級碗廣告,認證其卡路里值。2025年,小野健辭去維吉尼亞大學終身教職,全職加入AI初創公司Axiom Math,成為其第15名員工,擔任創始數學家。他的工作是將公司的AI模型推向極限,設計只有真正理解數學原理才能解決的代表性問題,並制定評估系統表現的基準,以指引模型向“數學創造力”進化。
主要作品
小野健參與製作了2015年的電影《知無涯者》,擔任聯合製片人兼數學顧問。小野健曾出演米勒淡啤(Miller Lite)的超級碗廣告,成為唯一一位出現在啤酒廣告中的數論學家。
榮譽與成就
小野健主導過全國頂尖的本科生研究項目,並在他的指導下有10人獲得摩根獎。美國數學會前主席肯·里貝稱他為“數學界的傳奇人物”。他是美國數學學會會士,並被數學界譽為“最懂拉馬努金的當代數論學者”及“繼承拉馬努金精神的現代數學家之一”。
人物經歷
曾就職於美國維吉尼亞大學。
2025年,小野健辭去教職,加入了AI創業公司Axiom Math。
個人生活與軼事
小野健因其對拉馬努金理論的深入研究,被譽為“最懂拉馬努金的當代數論學者”和“繼承拉馬努金精神的現代數學家之一”。他個人風格鮮明,2007年《紐約時報》人物特寫將其演講描述為“數學演唱會”,形容他在講台上“像吉他手一樣來回奔跑、用幻燈機打出爆炸式彩色公式”,因此也被ESPN稱為“最會彈吉他的數學家”。他曾出演米勒淡啤(Miller Lite)的超級碗廣告,成為史上唯一出現在啤酒廣告裡的數論學家。在AI興起初期,他曾以“天生智慧型(NI,Naturally Intelligent)”調侃AI技術。
2024年春天,小野健受邀參加一場測試AI模型的研討會,作為30位數學家之一,負責提出研究級難題考驗AI模型。這次經歷極大衝擊了他,他感到自己原本領先AI的優勢正在迅速縮小,甚至在非專長領域已被AI超越,這促使他改變了對AI的看法,從懷疑論者轉變為積極探索者。此後,他每天會花一兩個小時與AI討論數學,並感嘆“半夜睡不著,我就開著手機跟它們討論數學,發現它們的水平高得離譜”。基於此,以及對大學行政事務占用研究時間的考量,他於2025年辭去維吉尼亞大學終身教職,舉家遷往矽谷,加入了其學生洪樂潼(Carina Hong)創辦的AI初創公司Axiom Math,成為該公司的第15名員工,擔任創始數學家。他表示此舉是為了“把數學的影響力延伸到校園之外”,並參與“改變世界運作方式的事業”。
在Axiom Math,小野健的任務是將公司的AI模型推向極限,設計只有真正理解數學原理才能解決的難題,並制定評估系統表現的基準,他將此工作比作“製作航海圖”,旨在幫助模型找到前進方向。他表示自己並非為金錢加入(他本是維吉尼亞大學薪酬最高的教職人員之一,並曾拒絕其他AI公司更優厚的邀約),而是被公司的使命和探索精神所吸引,希望在此與同事及AI合作,尋找自己的“傳世之作”。