Georges Gonthier of Microsoft Research Cambridge, working with colleagues from Inria, recently delivered a computer-assisted proof of the Feit-Thompson Theorem, which when first published 50 years ago, took two volumes and 255 pages to contain it.
↧
