ChatGPTがまたしても50年前の数学的予想を証明した
概要
OpenAIの新しい大規模言語モデル「GPT-5.6 Sol」が、50年以上にわたり未解決だったグラフ理論の難問「サイクルダブルカバー予想」を証明しました。この成果は、複数のAIエージェントを並行して稼働させ、互いに結果を検証させる手法と、AIに対して粘り強く取り組むよう促す特殊なプロンプト技術を組み合わせることで実現しました。専門家は、この成果が「難問」という先入観によって人間が見落としていた解決策を、AIが既存の手法の積み重ねによって見つけ出せることを示していると指摘しています。
(出典：Scientific American)