New Scientist Breaking News - Mathematical proofs getting harder to verify

A mathematical proof is irrefutably true, a manifestation of pure logic. But an increasing number of mathematical proofs are now impossible to verify with absolute certainty, according to experts in the field.