Back in 1637, a French lawyer scribbled in the margin of a math book that he had a marvelous proof, but the margin was too small to hold it. Humanity took 358 years to produce that proof. An AI took 11 days to rebuild it line by line in a form a computer can verify. Andrew Wiles finally cracked Fermat's Last Theorem in 1995 after working in secret in his attic for 7 years. His proof ran 129 pages, and only a few dozen people on earth were qualified to read it. When he first announced it in…