AIで数学の未解決問題をほぼ自動的に解くことに成功、AIツールにおける重要な進展に