数学者らが同業者に呼びかけ、OpenAIとの協力停止を

OpenAIは、未公開の社内モデルによる成果372件を公開しました。数学と理論計算機科学の長年の未解決問題を解決、または前進させたとしています（Scientific American報道）。主張には4次元のKakeya予想も含まれ、多くの証明は、証明の論理を検証する言語Leanでチェックされています。広報担当者によると、ほぼすべてが、1つのAIエージェントへの1つのプロンプトから生まれたといいます。

争点は情報開示です。OpenAIの以前のNavier-Stokes方程式の成果を受けて結成された数学者の助言グループは、各成果のモデル、正確なプロンプト、計算時間を公開するよう勧告しました。OpenAIが示すのは平均の計算時間だけでプロンプトは出さず、勧告に拘束されないとしています。MITのAndrew Sutherlandは同誌に、一発勝負の主張は外部の人間が再現できるまで未検証のままだと語り、トロントのDaniel Littは、今回の公開は数学にとって良いことだと述べました。

ラボの研究成果を見極める立場の人にとって、Leanによる証明のチェックは誰でもやり直せますが、モデルがその証明をどう導いたかは、モデルとプロンプトがなければ検証できません。