Comment by bigyabai
6 days ago
This "Fields medalist" work is automated proof-checking. Turning the question around, then - what does it say about you to worship pushbutton smoke-testing?
I don't what your life is like, but I don't salivate with disbelief when various conjectures are disproved. It's quite literally a waste of my time and an insult to my intelligence to read through them, because it's an expected part of the development pipeline for proofs. We see results like this from children and undergraduates, I'm not really blown away by most LLM mathematics.
Got any other examples?
No it’s not automated proof checking? It literally closed open problems that mathematicians couldn’t solve. In other words it primarily helped solved the problems that otherwise would be unsolved.
Do you first agree on this?