OpenAIのナビエ–ストークス方程式の証明において数学からコードへの翻訳ミスが発覚

概要

OpenAIが発表したナビエ–ストークス方程式の解決策において、人間向けの証明と検証用コードの間に不一致があることが数学者によって指摘された。

詳細内容

OpenAIがミレニアム懸賞問題の一つであるナビエ–ストークス方程式の解決を発表した際、人間が解読可能な証明と、コンピュータ検証用の形式化されたコードの2種類を提示したが、両者が正確に一致していないことが数学者グループの指摘により明らかになった。この「翻訳ミス」は必ずしも証明自体の誤りを意味するものではないが、AIが生成する数学的成果の信頼性に対する疑問を投げかけている。ケンブリッジ大学のアンダース・ハンセン教授らは、LLMが生成した証明の検証には人間による多大な精査が必要であり、数学者の負担を増大させるリスクがあると警鐘を鳴らしている。この問題はOpenAIが公開した722件の数学関連論文の精査プロセスにおいて浮上したものである。

元記事を読む