Derek Partridge. Computer’s ability to verify proof is an illusion. Nature 425, 121 (11 September 2003.)

コンピュータを使った証明はチェックがほとんど不可能な領域に達しているという記事(Nature 424, 12; 2003)に対する反応。正しいと思われた証明が実は間違いだったという例もあるように、そもそも正しいと確信できることが間違いだとのこと。数学者がそう思っているとは知らなかったな。