87年未解決のヤコビアン予想をAIが反証 「発見」はだれの仕事になるのか【海外の反応・解説】

87年間未解決だった数学のヤコビアン予想が、AIの生成した反例によって崩れました。数学者たちが数時間で検算した経緯と、AIが担った工程・成果の認定段階を海外の反応とともに整理し、発見という仕事の役割分担を解説します。