Posted by srcreigh 21 hours ago
What is Magnus Carlsen going to do when he can't beat the computer?
It seems like a category error between humans using tools and humans building tools.
There is not much point in trying to figure out a better chess engine. There has never been a better time though to want to learn chess.
I find the idea that the computer will discover mathematics and humans call it a day rather ridiculous. As if humans will not then spend their time understanding and incorporating the ideas from the computer.
Alphafold is a better example. Alphafold is only bad if you spent your life trying to solve protein folding. But even if you did, that is the same person who is the most setup to reap the benefits of the unlock in the pragmatic application of protein folding.
We don't figure out how to get machines to harvest corn and then spend all day sitting around eating corn in between naps.
Stuff! Inscrutable stuff, maybe, but that's not "doing math for math's sake."
Yes, why not? And, of course, AI doing math for AI.
We may not be needed forever...
It becomes another abstraction, really. As long as we can use it for something useful, it's still valuable.
If the LLM is operating at such a high level that it never actually constructs a useful product for humans to use, then how will that be good for humanity?
If you replace "LLM" with "mathematician" than this is the state of the world today. Stuff like Galois theory is beautiful mathematically, but what has it constructed or enabled for you and me?
A cpu (the physical thing that sits in your mother) is not an abstraction, what are you talking about
If you believe that math is discovering, it's natural to think that all of that AI math already exists and is just waiting for us to find ways to discover and understand it.
Don't write us out quite yet. :)
We want to understand. Quantum physics, mathematics, how stuff works. Ants don't.
That want is not a given, not all of us have that drive. In fact, very few of us have it. So far though, it seems multiple disconnected civilizations learned to keep that trait going instead of suppressing it and focusing only on practical ant-like activities.
This makes no sense whatsoever.
We need more, because there will always be far more difficult problems yet to be discovered and solved, and that means, we certainly need expert humans to define and verify them.
If you cannot even explain the problem you are facing, not only you don't understand it, but you certainly would not be able to know if the AI solved your problem correctly.
And this will be true for how long? 3-4 months?
We were told in 2023 that there’d be no more jobs within months and the singularity was here. At some point you have to realise it’s not happening.
Let me know when the other (much harder) millennium problems get resolved, let alone explained in a satisfactory way.
I never recall hearing that other than from people strawmanning what the labs were saying.
It's the same as conservatives who tirelessly repeat "In 1995 they told us the world would be underwater by 2015, those climate scientists are full of shit" - no, no one ever said that, you just listen to grifters who only can strawman.
By the way, I don’t think climate denial has (or at least should, though I know Americans like to politicise everything under the sun) anything to do with ‘conservatism’.
The risk of liability is a social problem that is far more difficult to be solved with technical solutions even with AI.
I propose we enact a new law that makes it so ai engineers can only fly on ai designed planes powered by ai designed engines flown by ai. Maybe then we'll get some real progress out of this slop producing crapware or the problem will be solved a different way.
I can’t afford to be one of your credentialed reserves, Amit. ADHD screwed me over in early life or I’d have breezed through that dual masters in cognets/compsci by 2003, and now that I’ve stabilized my brain and am burning through years of school at a rapid pace, my country’s socioeconomically ruined — I’ll be lucky to escape with my accounting degree as my school is visibly being sucked into the vortex every year I progress. The only hope left for me to be what you need of us is to self-study, but without a degree I’ll just be treated as a crank or an AI proxy/puppet if I slip up and talk about interesting math with anyone, so what’s even the point of taking that path? I originally pivoted my math skills into systems theory and process diagnostics instead, which of course now everyone has kicked to the curb and replaced with AI. I’d have made an excellent Susan Calvin — I was working to be a cognitive tech with diagnostics, zeroth law, and group psych specialties, AMA! — but the financial investment to provide the runway to take that lonely, dreary six year slow as molasses slog through maths that universities think is somehow an appropriate teaching velocity (six months for precalculus alone?!) in order to earn the mere chance to have my resume rejected by an AI firm that uses AI hiring and and can’t tolerate someone with a strong moral position regarding societal harms is a very bad choice, whether you use simple probability or game or systems theory to evaluate it. Taking that quarter-mil-plus burden as loans in the hopes of employment at the other end in a field actively having its social, reputational, and moral fabric being ripped apart by AI? That’s not just a bad bet, that’s chasing fool’s gold at the end of a fading rainbow in a desert mirage. So, with sincere apologies, while you’d benefit from having me on your ‘reserves’ list (I have written testimonials spanning some twenty-plus years to that effect) I’ll never come to your attention as a support tech or as an accountant, and I accepted that outcome years before anyone else realized this need for cogsci mathematicians with a teacher’s specialty of analogy-building and the ability to disregard interpersonal nonsense to focus on the needs of societies. Better luck with the next generation, though!
....-----
---/Shark\---Terry Tao