"「First Proof」プロジェクトは、4つのAIシステムを対象に研究レベルの数学問題10問のテストを実施した。 最も優れた成績を収めたETHチューリッヒのモデルは、10問中6問を正解した。 このテストは、未発表の問題を使用することで、AIが学習データに依存することを防ぐ設計となっている。"