OpenAI、最新リリースで数学基準を満たせず 719件の証明のうち、推論チェーンを含むのはわずか10件
OpenAIは今週、約719件の数学解答を公開したが、プリンストン高等研究所に設置された数学・人工知能諮問グループ(AGMAI)が公表したガイドラインの基準を満たさなかった。719件の原稿のうち、モデルの推論過程を含んでいたのはわずか10件で、証明がコードによる形式検証を受けていたのも42%にとどまった。AGMAIは、証明を形式化するとともに、OpenAIが解答を検証する人間の数学者に資金を提供するよう具体的に推奨していたが、これらの勧告は完全には履行されなかった。ケンブリッジ大学とキングス・カレッジ・ロンドンの研究者による論文では、OpenAIの自然言語による証明と、それを形式化したコード表現との間に食い違いがあることが明らかになった。
GateNews·10-08 18:13
