Google DeepMindは、大規模言語モデルを用いて数学の未解決問題を解明することに成功しました。
AIツール「FunSearch」を用いて、これまで存在しなかった検証可能で価値のある新たな情報を発見しました。FunSearchは数学分野における解を発見できるツールであり、大規模言語モデル「Codey」と連携して使用されます。
この過程で、ビンパッキング問題(bin packing problem)の解決にも成功しました。
この研究は、大規模言語モデルが数学研究において大きな可能性を秘めていることを示唆しています。