数学界で80年間未解決だった「単位距離問題」をOpenAIのAIモデルが反証したニュースを紹介。AIが単なる道具から、数学的発見を加速させる存在へと進化している現状を解説する。