数学界のスターが大学教授の職を辞し、24歳の学生に奉仕

ウォール・ストリート・ジャーナルによると、ケン・オノ教授は57歳でバージニア大学を無期限休職した。しかし、それ以上に注目を集めたのは、彼がかつて指導した優秀な元学生、カリーナ・ホンさん（24歳）が設立したスタートアップ企業、Axiom Mathに入社したことだ。

「自然な知性」からAIに納得するまで

数年前、小野氏はAIはまだ「誇大宣伝」されていると考えており、自らを「自然知能派」（NI派）と称していました。しかし、新世代AIモデルの推論能力と数学的証明能力を目の当たりにしたとき、すべてが変わりました。

小野健教授.jpg — ケン・オノは2025年10月3日、ジェファーソン文学討論協会の著名講演者シリーズ（米国）に参加した。写真：*キャバリア・デイリー*

「私とモデルの間のギャップは縮まっている」と彼は昨年、AIテストセットを構築する専門家チームに加わった後に認めた。

小野氏は、毎日1～2時間AIと「数学チャット」を始め、これが人々の数学の取り組み方に革命を起こす可能性があることに気づきました。

元生徒が…新しい上司に

小野氏に大学を辞めるよう説得したのは、数学とAIの分野で「現象」とみなされているカリーナ・ホン氏だった。

ホン氏はMITを3年で卒業し、権威あるモーガン賞を受賞し、ローズ奨学金も受給した後、スタンフォード大学で数学と法学の博士号を取得しました。中退してAxiomを設立する前に、6,400万ドルの資金を調達し、Metaから複数のAI研究者を引き抜きました。

Axiomは「AI数学者」の構築を目指しています。これは、推論を行い、新たな問題を作成し、形式的な証明によって自己検証できるシステムです。投資家は、「数学的超知能」がソフトウェアテスト、物流、アルゴリズム取引、そして定量金融に革命をもたらす可能性があると考えています。

小野健の異例の旅

バージニア大学のウェブサイトによると、小野氏は第二次世界大戦後にアメリカに移住した日本人家庭に生まれました。才能があったにもかかわらず、数学に飽きてしまい、プレッシャーから高校を中退しました。転機となったのは、数学の天才でありながら「完璧な」学問の道を歩まなかったラマヌジャンの物語を知ったことでした。

ギフテッドプログラムに参加し、高校卒業資格なしでシカゴ大学に入学した小野は、徐々に数学の素晴らしさを発見しました。その後、カリフォルニア大学ロサンゼルス校（UCLA）の大学院に進学し、バジル・ゴードン教授の指導を受けました。ゴードン教授は、小野の数学キャリアの礎を築きました。

オノ氏はウィスコンシン大学、エモリー大学、バージニア大学で長年教鞭をとり、優秀な学生のためのトップレベルの研究プログラムを主導し、カリーナ・ホン氏を含む 10 名のモーガン賞受賞者を育成しました。