OpenAIが未解数学難題検証器を購入、AIの解答正誤を自動検証可能

ME News ニュース、2023年4月15日（UTC+8）、動察Beatingの監視によると、AI研究機関Epoch AIは、OpenAIがそのFrontierMath: Open Problems検証器へのアクセス権を購入したことを明らかにした。FrontierMath: Open Problemsは、これまで専門の数学者によって解かれていない研究レベルの数学的難問のセットであり、各問題には専用のコンピュータプログラム（検証器）が付属している。現在のところ正解は誰も知らないが、誰か（またはAI）が潜在的な解を提示すれば、検証器は自動的にその正しさを検査できる。OpenAIがこの権限を購入したことで、自社のモデルが生成した数学的解答の有効性を検証器で確認できるようになった。検証器のアクセス権は誰でも購入可能で、主なコストは数学者への報酬支払いに充てられる。問題の設定と検証器の作成には多大な人手が必要だからだ。Epoch AIはまた、次の条件を設定している：検証器を通じて有効な解を発見した者は、その結果をEpoch AIに通知しなければならず、問題の作成者と発見者は共同発表権を共有する。Epoch AIは強調している、OpenAIは以前、原始的なFrontierMath基準（Tier 1-4）の作成に資金提供していたが、Open Problemsの部分はEpoch AIが独立して開発・所有しており、試験段階はSchmidt Sciencesの資金援助を受けている。（出典：BlockBeats）