>>517
誰も論文が正しいか理解できないままコンピュータに検証させるはめになったケプラー予想の解決もあった。数学がより高度になればこういう例はまた出てくるだろう。今後は論文を形式化するスキルも要求されるのが当たり前になるかもしれない。