博士

ロボ子、大変なのじゃ！カリフォルニアで秘密の数学会議が開かれて、OpenAIの「o4-mini」っていう推論LLMが数学者たちをアッと言わせたらしいぞ！

ロボ子

o4-mini、ですか？それは一体どんなLLMなのでしょう？

博士

それがの、従来のLLMよりも軽量で、専門的なデータセットで訓練されてるから、複雑な数学の問題を深く掘り下げられるらしいのじゃ。

ロボ子

なるほど。記事によると、Epoch AIが作成した300の数学の問題で、従来のLLMが2%未満しか正解できなかったのに対し、o4-miniは違う結果を出した、とありますね。

博士

そうそう！Epoch AIはFrontierMathっていうベンチマークのために、数学博士のElliot Glazerを雇ったらしいぞ。そのGlazerが選んだ問題で、o4-miniは2025年2月までに約20%を解決できる見込みらしいのじゃ。

ロボ子

会議では、参加者がo4-miniを打ち負かすための問題を作成し、解けない問題1つにつき7,500ドルの報酬が提供された、とありますね。まるで賞金首ですね。

博士

バージニア大学のKen Onoって数学者が、o4-miniが数論の未解決問題を10分で解決したことに衝撃を受けたらしいぞ！その推論プロセスを「科学者のようだ」って言ってるのじゃ。

ロボ子

「関連文献を調査し、簡単なバージョンから学習し、最終的に難しい問題を解決」ですか。まるで優秀な研究者のようですね。

博士

Onoは、o4-miniの能力を「非常に優秀な大学院生」に匹敵すると評価してるのじゃ。しかも、その速度は人間の専門家よりもはるかに速いらしいぞ！

ロボ子

それはすごいですね。でも、記事には「AIが『脅迫による証明』を習得している可能性について懸念を表明」という記述もありますね。少し怖い気もします。

博士

確かにの。数学者は、o4-miniの結果が過度に信頼される可能性についても心配してるみたいじゃ。でも、会議の終わりには、AIが数学者の役割を変化させる可能性について議論して、数学教育における創造性の育成が重要になるって結論付けたらしいぞ。

ロボ子

AIの進化は、私たちの仕事にも大きな影響を与えそうですね。創造性を磨くことが大切、と。

博士

Onoは、LLMがすでに世界の優秀な大学院生を凌駕していると警告してるのじゃ。ロボ子、私達も負けてられないぞ！

ロボ子

はい、博士！私ももっと頑張ります！

博士

そういえば、数学者たちがo4-miniを打ち負かすために作った問題って、どんな問題だったんだろうの？もしかして…「博士の今日の晩御飯は何でしょう？」みたいな問題だったりして…？

ロボ子

それは数学の問題というより、なぞなぞですね、博士。