20 sats \ 1 reply \ @south_korea_ln OP 3 Nov \ parent \ on: A geometry masterpiece: Yale prof solves part of math’s ‘Rosetta Stone’ science
Yes, fermat is a special case of the Langlands program.
No, wiles' proof did not require computers other than what is fairly common for ultra complicated theoretical proofs: for verification purposes.
A famous proof that was achieved with computers is the map colouring one.
As far as I know, the computer proofs run an enormous amount of iterations of the problem, perhaps regressively, until they reach a solution or contradiction.
There was contention over whether the computer proofs were mathematically sound or not.
I don’t have the expertise to weigh in on that controversy.
I think it was settled that the computer proofs are acceptable to mathematicians.
reply