Comment by simianwords
6 days ago
I don’t make magnum opus. I use it in my daily life. I’m forced to. It’s basically my job.
My job has completely transformed because of AI.
> so I'm laughing at your inability to highlight AI's most influential contributions to humanity
AI recently helped solve open problems in mathematics that would have normally been awarded a Fields medal for.
You think it’s a nothingburger when a fields medalist has said that it is reshaping mathematics, what does that say about your ability to grasp the importance of it?
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?