pull down to refresh

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.
write
preview
0 sats \ 0 replies \ @Rothbardian_fanatic 3 Nov
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