AIの支援により数学の未解決問題が証明される

AIの支援により数学の未解決問題が証明される https://bunrin.work/news/ja/news/is-mathematics-about-to-enter-the-conservatory-150142 湖南大学の研究者らが、AIであるOpenAI Codexを活用して1974年以来未解決であった球面的ハドウィガー予想を証明したと報じられています。