AIが数学の未解決問題「リーマン予想」で新発見　当初苦戦も「諦めないで」との励まし受けて [すらいむ★]

AIが生成した証明を人類が理解できなくなった時が怖いな。
正しいのか間違っているのかすらも分からないままそれを使う事になる。