>>240
あのねえ、普通の数学者は、原理的には時間をかければ
計算機で検証可能なレベルで、厳密に定理を証明できるだけの能力は持ってるよ
（まあ幾何学者とか一部あまり厳密で無い人も居るけど）

単に時間が無駄だからそうしないだけでね