OpenAI、AIが生成した数学・物理等の証明を外部専門家が検証中

OpenAIは、自社の内部AIモデルが数学、コンピュータサイエンス、および物理学における3つの主要な未解決問題を解決したと発表した。これらの問題のうち1つは、それぞれ100万ドルの賞金がかけられた有名なミレニアム懸賞問題の一部である。

現在、ノーベル賞受賞者を含む外部の専門家が、AIが作成した証明が正しいかどうかを検証している。もしコンピュータサイエンスに関する証明が単独で成立した場合、数百の研究論文がその基盤を失うことになるとされている。