MATHEMATICS: Maths proof smashes size record

    loading  Checking for direct PDF access through Ovid

Abstract

Supercomputer produces a 200-terabyte proof — but is it really mathematics?

Related Topics

    loading  Loading Related Articles