3 ms·
I lean more towards the "proofs from the book" mindset - if there's a really beautiful proof of some theorem out there I would be happy to see it no matter whet
by zem 2mo ago
I lean more towards the "proofs from the book" mindset - if there's a really beautiful proof of some theorem out there I would be happy to see it no matter whether it was discovered by a human or a computer, and conversely if a computer has churned through a search space and generated a clunky proof in 100000 lines of lean code that just means that people trying to find a nice proof can do so with the assurance that the theorem is true. note that mathematicians didn't give up on trying to find a better proof of the four colour theorem once a clunky computer assisted proof showed the theorem was true.
- czgov 2mo agoThe question is, will universities continue to fund graduate programs to the extent they currently do so that people can find elegant proofs of AI derived theorems? I’m skeptical. A lot of good mathematicians tried to prove or disprove the Jacobian Conjecture and AI did easily. The value added by human mathematicians seems to be low return on the investment.
- zem 2mo agothat is a genuine concern, yeah :( but at least for me it's unrelated to the mystique of mathematics itself.