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

>>22
いやまあ、古くは４色問題を
「コンピュータで総当たりして」検証したことがあるし・・・

それでも「ヤコビアン予想」の反例は結構なインパクトがあったけどな