ショルツェでなくて、コンピューター数学の人が査読論文で、100万ドルに挑戦する?
コンピューターが、「本質的は欠陥がここ、ここだよ」って。