数学者、AI向け初の数学試験「First Proof」を開始
概要
一流の学者チームが、「First Proof」という名の試験を開始しました。これは、現在の研究に関連する未解決の数学問題で構成されており、人工知能システムの純粋数学における能力を厳密にテストすることを目的としています。この取り組みは、AI業界による数学的証明に関する根拠のない主張への不満から生まれ、以前のオリンピック問題や既存の文献検索での成功とは異なり、透明性のある制御された実験を求めるものです。フィールズ賞受賞者を含む11人の数学の専門家が、これらの問題の暗号化された証明を提供しました。これらの問題は、通常単独で発表されることはないが、より大きな研究の過程で不可欠な小さな定理である「補題」とされています。この試験の目的は、大きな未解決問題を解くことではなく、日常的な数学研究の退屈な部分を加速するツールとしてのAIの近い将来の可能性を示すことです。
(出典：Scientific American)