【数学】人類史上最大の難問の一つ 「リーマン予想」 ついに解明か / 名乗り出たのはフィールズ賞受賞数学者マイケル・アティヤ氏[09/26]

[0523 ニュースソース検討中＠自治議論スレ 2018/10/08(月) 11:42:14.37 ID:4f1n8VSf]

>>522
でも、素数は無限にあるから調べ切ることは出来ない。
四色問題は全てのパターンが決まっているから、しらみつぶしでも、証明としては成り立っている。