AIで数学の未解決問題を解決か | eba-igoyaraのブログ