ChatGPTの発表内容
OpenAIは、未公開の社内モデルが作成した数学論文の集約データを公開しました。対話型AI「ChatGPT」の検証を進める中で得られた成果として、GitHub上で提供されています。
公開された目録には、722件の論文草稿が含まれています。これらは関連するテーマごとに、372のグループに整理されています。モデルの評価過程では、約4000問の課題が提示されました。それぞれの結果を得るために、「ChatGPT Pro」の思考計算資源が使われました。
この成果物群には、検証の度合いが異なる多様な結果が収録されています。形式的な証明手法であるLeanによる検証が完了していない論文も存在します。未検証の部分について問題が見つかった場合は、修正版を新しい版として記録しながら更新を続ける方針です。
利用者は、公開されたPDFやソースファイルを参照して検証の手順を確認できます。個別の論文を引用するための書式も用意されており、高度な数理処理に関する研究や調査の参考資料として活用できます。
つまり、どういうこと？
ざっくり言うと、AIが数学の難問に挑んだレポート722件を、OpenAIがまとめてネット上で見られるようにしたということです。
たとえるなら、研究室で解いた膨大な計算ノートを一般に公開したような状態です。完全には確かめられていない部分もありますが、AIの思考の筋道を誰でも確認できるようになりました。
誰に関係するか
高度な数学の難問や証明の妥当性を調査している人は、GitHub上で公開された722件の論文と検証用データを自由に確認できるようになります。
