OpenAIのAIが、80年間未解決だった離散幾何学の数学的予想を反証することに成功した。数学者による検証も完了しており、AIが科学発展の重要なパートナーとなり得る歴史的成果となった。