Comment by bigyabai
6 days ago
> I think you are unable to cope with AI encroaching your life and you are hiding away from it.
That would be the case if you were doing anything impressive or noteworthy with it. Can you show me your AI magnum opus, or are you also struggling to adopt it?
> And you think people speaking about LLMs are naive or something?
No, just you. Your rhetoric is entirely emotional and relies on authority that you haven't earned as a developer. You've neglected the logical appeal of your argument so I'm laughing at your inability to highlight AI's most influential contributions to humanity. Relative to actual hard-tech, it's a nothingburger sandwich.
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?