OpenAIが数学の未解決問題を次々と打ち破る700本のプレプリントを公開

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

OpenAIがGitHub上で700本の数学プレプリントを公開した。内容は、長年未解決だった予想への反例や新しい証明が中心で、Kaplansky、Kurosh、Hadwiger、Seymourといった著名な数学者の予想を覆すものも含まれる。AIが数学の最前線で成果を出し始めたことを示す大規模な公開となった。