Posted by auggierose 2 days ago
But Godel's Incompleteness Theorem and Tarski’s Undefinability theorem ensure an infinite space of provable true statements.
Neither LLM's nor humans can exhaust it. So yes, both mathematicians and LLMs are needed.
Both can contribute and there will still be work leftover.
IMO, this is why we actually need mathematics -- as a field in which to learn what it means to know what you're talking about.
This is just silly. AI isn't an intelligent species. It's a tool, it doesn't have autonomy or any motive apart from the one we enforce through reinforcement learning. That's like saying machines are "stronger" than humans, and obv they could kill us all so why would they not just take over.
If not for nothing else but to form a basis for how to distribute/share/hoard the wealth created by a society. The eternal question - who gets what.
What a disgrace, but I'm happy he's showing his true self to the public.
What's the tldr;?
What are the mathematicians arguing for exactly? And against? Totally unclear to me even after chomping through that massive word salad.
This all feels very John Henry to me. Why is it not a good thing that we have new tools that can accelerate discovery? Because it disrupts the current order?
If you can't make the argument in 100 words, you probably don't have one.