世界トップクラスのAI数学ベンチマークであるFrontierMathにおいて、9年間未解決だった2017年に提示された「重要な進展」とされるオープンな難問が解かれた——今回の功績はGPT-6Astraと3人の人間研究者の人間とAIの協働によるものである。この問題は「承認委員会選挙における『核が空である』かどうか」を尋ねるもので、本来は「核が空である」反例を探すことになっていたが、GPT-6Astraは逆にそれを証明した。つまり、このような反例は存在せず、どんな状況でも絶対的な公平性を持つ委員会が必ず存在するということである。

さらに美しいのは、モデルがついでに「調和エントロピー」に基づく新たな投票ルールを発明し、多項式時間のアルゴリズムを提示し、局所最適解がすでに「核」の要件を満たすことを証明した点である。この協働において、人は方向性を決めたり論理の整合性を確認したりし、AIは知識ベースや計算練習、そして飛躍的なインスピレーションを担った——分業はまるでスムーズに連携する研究チームのように非常に効率的であった。

これはAIが初めて「重要な進展」とされる数学的な難問を解いたことで、単に問題を解くだけでなく、数学的法則の発見に参加する協力者としての役割を果たすようになったという意味合いもある。それどころか、ランキングを管理しているEpoch AIもこの「人間＋AI」のステータスタグを新たに追加し、このような共同研究成果のために特別な位置を確保した。数学家が「プロンプトツールボックス」のような役割を果たし始めている今、科学研究の方法論は静かに書き換えられ始めている。