OpenAIの数学解答、学界の基準に未達

TechCrunchの報道によると、OpenAIは今週、難解な数学問題の解答を数百件公開したが、プリンストン高等研究所のAGMAIが示した指針を完全には満たしていない。719件の原稿のうちモデルの思考連鎖を公開したのは10件のみで、証明の42%は形式化されていない。ケンブリッジ大学とキングス・カレッジ・ロンドンの新論文は、OpenAIによるNavier-Stokes方程式の解答で、自然言語の証明とLeanコードの間に少なくとも2カ所の不一致があることも記録している。