AIは数学者の代わりになれるか？　「満点10点中6点」というテストの答え合わせ

未発表の数学の補題をAIに解かせる評価プロジェクト「First Proof」の結果が発表されました。トップの成績を収めたのはスイス連邦工科大学チームで、正答率は10問中6問でした。彼らは複数のAIを相互に議論させる手法を採用し、単一モデルより高い精度を実現しました。自信満々な誤答も多く見られましたが、研究の補助ツールとしてのAIの実力や限界を測る厳格で有意義な試みとして注目されています。参考記事〇Humans outperform AI at this highly rigorous mathematics test（2026年6月10日） https://www.nature.com/articles/d41586-026-01888-9〇AI scores a 'C–' on its hardest math test yet（2026年6月10日） https://www.scientificamerican.com/article/ai-gets-a-c-on-its-hardest-math-test-yet/〇First Proof is AI's toughest math test yet. The results are mixed（2026年2月14日） https://www.scientificamerican.com/article/first-proof-is-ais-toughest-math-test-yet-the-results-are-mixed/〇AI just solved an 80-year-old maths problem set by Erdős（2026年5月） https://www.nature.com/articles/d41586-026-01651-0#数学 #AI #FirstProof #人工知能 #補題 #証明 #OpenAI #ETHZurich #UCLA #プリンストン大学 #ChatGPT #Gemini #Claude #ハーネス #ジェレミーアヴィガッド #未解決問題 #研究 #テクノロジー #科学ニュース #サイエンス #定理 #テスト #アルゴリズム #論文 #数学者