>And now that AI has solved all our problems, we can devote ourselves to more important work: going into quantitative finance, vibecoding sports-betting apps, consuming AI-generated TikTok shorts, and arguing with political bots on Twitter.
Grim but this is exactly where society is heading.
lwansbrough 45 minutes ago [-]
There are no shortage of artistic pursuits, subcultures, pick-up leagues, and more that you're free to engage with. Get off the beaten path and you'll find humans enjoying life in a wide variety of ways that are uncorrupted by AI.
Avicebron 4 minutes ago [-]
> you'll find humans enjoying life in a wide variety of ways that are uncorrupted by AI
Some of those people were mathematicians, engineers, physicists who found joy in being skilled at what they do and were able to be financially rewarded for their effort applying their skill. Are these artistic pursuits, subcultures, pick-up leagues, etc going to pay their mortgage? Will they help them get a job in a field they are trained in?
The "free to pursue more important things" is a hand-wavy statement that doesn't talk at all about what those people should be doing to provide for themselves after wages plummet. The hyperbole is drawing attention to the ridiculousness, not making a comment about there not being a rec soccer league or something.
flanz_10 36 minutes ago [-]
> Get off the beaten path
I would really push back on this
What you're describing _is_ the beaten path. People who argue with bots on twitter are actually, vastly, the minority.
Go to your local park or bar and have a drink and try not to talk about the internet.
Gigachad 7 minutes ago [-]
It's increasingly becoming more of a majority and it's spilling in to real life. In Melbourne, Australia there would be a weekly "cooker" protest where they shut down the street to get angry about covid mind control vaccines or whatever the latest facebook bots are programming them to be mad about.
lwansbrough 36 minutes ago [-]
Nice, fair enough.
augment_me 24 minutes ago [-]
Are you by any chance born to rich parents in a western country?
Because most people in the world are working around the clock to supply food and shelter for their family. It's a bit unclear still how you are going to consolidate the two facts
lwansbrough 16 minutes ago [-]
GP was talking about how humans would spend their time after the "real work" is done, as if the only purpose of humanity is productivity or consumption.
flanz_10 20 minutes ago [-]
We are referring to people in the context of "going into quantitative finance, vibecoding sports-betting apps, consuming AI-generated TikTok shorts, and arguing with political bots on Twitter.".
Those are hardly the "most people in the world are working around the clock to supply food and shelter for their family"
It's a bit unclear still how you are going to consolidate the two facts.
augment_me 18 minutes ago [-]
The article is satirical and hyperbolic, while the reply above is concrete in its suggestion
Loughla 24 minutes ago [-]
I've been looking for a baseball or softball league for my kid. He doesn't want to play school ball, doesn't play travel ball, but loves the game. It's impossible to find baseball or softball leagues after the age of 12 that are not attached to a school or travel. Volleyball is about the only thing that exists.
ToucanLoucan 32 minutes ago [-]
Except that engagement is not free. All of these things require money, and they require time that isn't already set towards the goal of making money to survive. And one of the selling points of AI is explicitly the redundancy of numerous workers, including ones parallel to myself.
seb1204 21 minutes ago [-]
For many things this is true nowadays. Where I live walking in nature or swimming in the ocean is still free. In Dubai nature as in a green park might raise an entry fee.
icantevenhold 6 minutes ago [-]
Arguably Dubai shouldn’t exist as a place where many humans live.
schleck8 41 minutes ago [-]
I get that someone wanted to let steam off but this just sounds like they don't have any arguments so they went for the good old "in the future, you won't have free will and social media companies force you to be online" fable. An addicting algorithm isn't the same thing as fentanyl, you can uninstall the app in 5 seconds and getting it back with signing in takes atleast two minutes, enough to reconsider whether you actually want to spend time on it.
The toxicity of apps like Tiktok comes from muscle memory, not the quality of the content. Your thumb knows where the app icon is and opening the app happens quicker than you can think (literally). So offloading or uninstalling breaks this very effectively. The only thing that would still keep you on the platform is social connections. If somebody gets upset over you uninstalling Instagram or Snapchat, they aren't a good friend.
nrawe 27 minutes ago [-]
I don't think this goes far enough -- its a best case scenario.
There is no Utopia for mankind at the end of an AGI that is the labor force because people need a purpose; without that, degenerate behaviours and vice are easy to fall into and the spiral is not big. The state of the human race - particularly the internet-native generations - is a testament to that.
The only way the AGI Utopia works is with a massive reduction in the human population with a Spartan/Helot relationship between those remaining.
Let's face it, the people who want AGI so badly aren't the wam cuddly people who want to feed the poor, house the homeless, and cure the sick. Their motives here are not pure...
10 minutes ago [-]
tripleee 26 minutes ago [-]
> offloading or uninstalling breaks this very effectively
For you, maybe. You can't assume that applies to everyone.
izend 22 minutes ago [-]
He forgot one, "creating AI slop games that no one will ever play".
guilty
47 minutes ago [-]
bryan0 42 minutes ago [-]
This is so well written, deep, funny, and sad.
> Looking up at the stars in wonderment, or enjoying a complex puzzle game, or being inspired by an encouraging teacher, and dreaming that one day an unfeeling corporate robot[1] will burn a rainforest to compile a list of 700 highly obscure barely-readable facts that might be true that nobody can understand as part of a marketing gimmick to raise hype for an IPO[2].
But if I am going to critique it's main point it would be this part:
> in the pursuit of advancing humanity’s knowledge as quickly as possible, many academics will recoil in anger at the suggestion that it is worth spending any time making results understandable to humans. It is inefficient to explain or check a result when those resources can be spent generating another.
While obviously ridiculous, I think this does not go far enough. The problem isn't that people don't care and resources should not be spent to explain AI results to human minds, the problem is that AI will soon be better at explaining itself than humans. The puzzle then changes from can AI formally verify and explain a proof to: do human minds trust the proof. Do we believe that the proof is correct and not an elaborate AI hallucination using tricks that are beyond our understanding. In order to trust it a formal verification is not enough unless it is human understandable. In fact human understandability is the only thing that matters. That is something that AI can never do on its own.
mrob 33 minutes ago [-]
>In order to trust it a formal verification is not enough unless it is human understandable.
The whole point of formal verification is to remove the necessity of understanding most of the work. We only need to trust the formalization of the problem statement, the proof verifier, and the formalization of the result. We already have proof verifiers that humans understand to a high level, and the formalizations of the problem statement and the result are much simpler than the full proof.
I'm confident that the Navier-Stokes equations can blow up because I'm confident that Lean works correctly, and I'm confident that the mathematicians verified the problem statement and result correctly. This is despite the actual proof not being human verified yet (as far as I know), and despite the "human-readable" version not actually corresponding to the formal proof. The formal method still worked.
bryan0 23 minutes ago [-]
Some mathematicians are not confident in the NS verification because it is non-trivial to tell if the Lean proof matches NS. I would argue this requires "human understability" to make this claim. The Lean proof is a very useful tool, but it does not replace human understanding.
WhatsTheBigIdea 8 minutes ago [-]
100% agree. In fact, this issue of verifiability is not at all unique to AI. It was a profound and growing issue before the advent of useful AI. Perhaps the issue was best elucidated by Dr. Anthony Fauci when he suggested that we "Believe the science" as a rational for why people should follow his covid prescriptions. I side with those who feel that Dr Fauci was really just trying to do his best. Regardless, with that statement he cut the foundation out from under the whole scientific project! Science (and math) are not to be believed. They are to be tested!
We have moved quite a long way down the "believe the science" road already, and for good reason. Belief is much (!) faster and cheaper than proof, so those who are fed good science(math) and believe it tend to outcompete people who get stuck trying to prove things all the time.
But fraud is fraud regardless of the platform (meat or silicon) committing it. People who believe in frauds often end up worse off for it, though it hard to know which piece of BS has led you astray or who's to blame for it or how to deal with the fall out.
Obviously, we shouldn't believe AI any more than we believe humans. That said, the world was already suffering greatly under the weight of human generated BS long before useful AI came on the scene. Now that AI has reduced the cost of producing plausible BS by orders of magnitude, we may need some new methods for BS detection.
idle_zealot 32 minutes ago [-]
I'm all for advancing human understanding, even if it might lag behind machine understanding, but there is a way to have machines prove they understand something we don't: ask them to build something functional that we can't. If your hypothetical future comes to pass, and we ask the machine to build a cancer-curing healing ray, and it works, I'd say that's its own win. Then we can spend however long it takes trying to understand how it works. It's depressing and disempowering in a way, but I think overall I'd be happy with that future.
docfort 23 minutes ago [-]
I once visited a town in Spain over which an ancient Roman aqueduct runs, elevated above most of the buildings, even today. It carried an essential ingredient foundational to life in the area, but after the fall of the Empire and the deaths of the architects and engineers who could understand it, the aqueduct stood in the midst of people who could not have repaired it. Relying on mission-critical technology divorced from human understanding is exceptionally risky. Obviously, people have done it before and will happen again, but it makes me nervous.
bfung 23 minutes ago [-]
Chess has already been this way: computers are far better than humans, yet the humans still play and learn/understand new position evaluations from the computers.
You’re spot on here by analogy.
cloverich 26 minutes ago [-]
> Then we can spend however long it takes trying to understand how it works.
...unfortunately it took 57 years to unravel, but the cryptic exploit resulting in our telomeres suddenly expiring took a mere 42.
Loquebantur 26 minutes ago [-]
Why not live in a cage then and have the zookeeper deal with catering to begin with?
The state you proclaim to be happy with is one of irresponsible dependency. A retreat to self-infantilization.
MINECRAFT_BIOLO 19 minutes ago [-]
[dead]
eitally 21 minutes ago [-]
It may not be the most prescient or innovative sci fi series, but I read The Three Body Problem a few years ago and it's really stuck with me. Specifically the description of how humanity reached an inflection point in math & physics research that almost immediately unlocked novel innovations in applied science ... which then made space exploration & settlement practical. Moreover, that the antagonist society in the series decided their absolute best bet at avoiding complete annihilation was to hamstring humankind's scientific research -- and that's it.
It feels like frontier models are starting to approach an asymptote where what you suggest could become reality, and we'll begin seeing not just AI research but AI-designed & led applications of that research into fundamental parts of our society & culture. For better and for worse.
omnicognate 18 minutes ago [-]
> the problem is that AI will soon be better at explaining itself than humans
(I assume you mean explain itself to humans here.)
I keep seeing people saying this as fact. It might, but it might not, and there are various reasons one might be skeptical that it will, using current techniques. Not least among these is that explaining something well to a human requires a degree of empathy and sophisticated theory-of-mind that LLMs have not yet exhibited yet*, and that is an area where humans are uniquely advantaged by being humans.
Someone will almost certainly reply by just stating as fact that they will achieve this goal, or pointing out that past predictions that LLMs wouldn't be able to do particular things have failed, and that's all very well. I certainly wouldn't be rash enough to claim it's impossible, but there are still models of all this available that are consistent with all the successes so far but don't predict "LLMs can do anything and will do everything". We'll find out in due course.
(I should clarify that the benchmark here is good human explanations. Of course many humans are capable of producing "explanations" worse than Markov chain text, let alone LLM output.)
* My idle speculation is that a lack of decent theory-of-mind is why LLMs still suck at using the "it's not X it's Y" construct. I doubt they actually use it any more frequently than humans when writing on the same topics, but they use it wrong and it's jarring. This particular rhetorical flourish works when there's some reason to think that X is an idea that might actually be present or forming in the mind of someone reading the passage (or in some other mind that they in turn might be imagining, eg. a fictional character), and that explicitly calling it out and negating it will have a particular dramatic effect. LLMs probably use it with about the expected frequency, but they use it for that reason (frequency) and then come up with something to put in the X and Y slots. The result often jars because the X it uses isn't something pertinent to the reader's thought process and/or the Y isn't a convincing, persuasive or relevant counterpoint to it. I suspect the result is that they stick out and seem more frequent than they are.
fidotron 24 minutes ago [-]
> an unfeeling corporate robot[1] will burn a rainforest to compile a list of 700 highly obscure barely-readable facts that might be true that nobody can understand
He'd have more of a point if a huge number of humans weren't occupied doing exactly this, and much worse on top.
frshgts 16 minutes ago [-]
Someone else doing something bad (or worse) doesn't negate all other bad things.
willmarch 31 minutes ago [-]
Your last sentence: "That is something that AI can never do on its own."
Never say never...
bryan0 21 minutes ago [-]
I'm saying this as a tautology: the definition of human understanding requires a human.
cdelsolar 16 minutes ago [-]
and really good RL
Loquebantur 32 minutes ago [-]
Understanding math isn't just about "having a good explanation ready".
People fundamentally misunderstand the nature of mathematics: it's not "flat" like most of common people's daily pursuits. It consists of building upwards, on top of previous concepts.
In other words, AI is like an oracle: it can tell you all kinds of stuff, but since you probably don't understand, you won't act properly.
34 minutes ago [-]
knorker 25 minutes ago [-]
Well, we can try tying it to ground truth. AI does the math for magnetic field containment? Test it. AI predicts a particle? Test it. AI says P=NP? Ok, factor this in polynomial time.
And if it fails, and AI goes, "I don't know what happened. I relied on these papers" then I guess one of those must be wrong.
I'm not saying it'd be easy, but I think AI can also find the pieces of the puzzle that broke a pyramid of "discoveries" culminating in a disproval,
And the only other option is to simply never understand as much. AI has the potential to understand things humans cannot. Not necessarily a strict superset.
Humans can deal in 5+-2 things at once. AI doesn't have to, and can cut through leaky abstractions.
If AI says a new invention will do X, and it doesn't, it'll say "you're absolutely right" and try again until it does the thing.
I mean... doomsday scenarios aside.
derektank 32 minutes ago [-]
I think the author is hiding the ball a bit. The problem is that, for a long time, humans have attributed meaning, value, and social status to great cognitive insights. Taking physics as an example, it has almost always been the theorists who develop new ideas, not the experimentalists that test and validate them, who have won praise and acclaim. The name Arthur Eddington doesn’t have the same cachet as that of Albert Einstein. But now that the creation of those insights can be automated, there is a great wrenching as esteem shifts away from the former.
Well, maybe it’s a good thing that we are seeing this shift. Maybe it is good and right that we begin valuing your ability to exist in the real world, rather than play math puzzles on a sheet of paper. Because, while the AI labs are receiving a lot of attention and excitement now, that’s a short run phenomenon. Ultimately, people aren’t impressed for long by a machine doing something novel. Once it’s up and running, it fades into the background just like the combustion engine, or the dishwasher, or electric lighting.
fidotron 21 minutes ago [-]
> The problem is that, for a long time, humans have attributed meaning, value, and social status to great cognitive insights.
Not really, they haven't. It's only when those insights can be communicated in such a way to other people that those other people can find utility (which could be enabling them to derive more insights that yet other people find utility in recursively) in the insights that they do so, and this is a huge difference. This is why AI is such a total problem to this mentality, because it disrupts not only insight production but the mechanism that values insight production.
lacker 18 minutes ago [-]
The question is the right one. "Why are we even doing all this?"
Why, indeed, is society funding pure mathematics? Many mathematicians are complaining that they do not like AI and their jobs are less fun when AI is involved. But does that matter? Should that matter to the institutions who fund mathematics research?
To me it seems that we fund pure mathematics because we believe that some pure mathematics will end up being useful. Turing was doing "pure mathematics" when he invented the Turing machine, because we didn't have another word for it, yet.
So, which is going to be more useful - the sort of pure mathematics that AI does in 2026, or the sort of pure mathematics that humans do in 2026? That is the debate I would like to see.
happytoexplain 15 minutes ago [-]
The article is about humans, not usefulness or efficiency.
If you put the former above the latter, you don't really exist, in a sense.
its_ethan 51 minutes ago [-]
Not a huge fan of the sentiment in this article, and the very cynical way it was communicated, but the references to the library of babel reminded me of this fun site.
I sympathize with some feelings the author is trying to communicate, but the cynical and sarcastic style really detract from the authors points in my view.
tacoooooooo 21 minutes ago [-]
the cynical and sarcastic style was my favorite part
happytoexplain 16 minutes ago [-]
Sorry to be a little insulting, but I don't believe you feel sympathy with the author if the cynicism/sarcasm put you off. That's the point.
kenjackson 14 minutes ago [-]
Man, mathematicians and scientists are going through it! I think one thing that makes things different for software engineers is there was always a belief that you were building for a specific use. It was rarely just for your own intellectual satisfaction. I think math and some of the sciences will now have to shift given that no one will be impressed by their intellectual achievements any longer.
What I’m most curious about is how this impacts our perception of who/what is smart.
ahsgtq 48 minutes ago [-]
Great satire, it is nice to see people with a human spirit left. The NYT should ask to republish this.
eadwu 50 minutes ago [-]
> From what I know about the academic community (mostly from Twitter and LinkedIn, which I assume are representative), there seems to be near-unanimous agreement that the purpose of math and science research is to gather a large quantity of potentially true factoids in a repository that nobody will actually ever read, in a ritual called “advancing humanity’s[3] knowledge”. That these results are well-written, understandable, pleasant to read or look at, or even completely correct is a secondary concern — in fact, in the pursuit of advancing humanity’s knowledge as quickly as possible, many academics will recoil in anger at the suggestion that it is worth spending any time making results understandable to humans.
Am I the only who thinks this is rhetorical? Modern mathematics is so far removed from the base average knowledge (lets just assume high school instead of going to axioms) that the only people who understand most (if not all new) mathematical achievement are the mathematicians themselves, heck not even all mathematicians, it needs to be spread and developed from "hot spots"?
Your math results are not "well-written, understandable, pleasant to read or look at" unless you literally operate with two or three levels within the proof paper compared to the average person who probably starts at an order of magnitude levels higher.
To the average person, asking a mathematician to explain something is the same as asking the AI/LLM. Both are asking an oracle to dumb it down to their level of abstraction.
To the person who are not career mathematicians, both LLMs and mathematicians do the same thing, pump out garbled output that they themselves understand, and to mathematicians, the difference is one probably explains using axioms rather than theorems.
joefourier 32 minutes ago [-]
As a mere software engineer, I found that many human written papers in my field (DSP, ML) aren’t exactly well-written, easily understandable or pleasant to read either, and it’s been the case for at least 15 years. In the past, I would frequently spend an hour or two trying to read a SOTA paper full of convoluted prose and dense pages of equations, only to realise that the algorithm is incredibly simple if visualised properly or even just written down as pseudocode.
Now with LLMs the process is much shorter. They can walk me through the algorithm step by step, translate it to pseudocode, explain equations, and most importantly, I can ask them questions and get clarifications, without worrying about seeming ignorant or exhausting their patience. With a paper, you’re stuck with whatever was written (and often, researchers aren’t good teachers, or intentionally over complicate simple concepts).
ZeWaka 21 minutes ago [-]
> many human written papers in my field (DSP, ML) aren’t exactly well-written, easily understandable or pleasant to read
Yep, my eyes glaze over at the convoluted mathematical explanations for pathfinding in worldspace, but when I see the pseudocode in the appendix it make so much more sense.
hatthew 34 minutes ago [-]
> (that’s philosophy, which I would never be a doctor of)
I'm in the office and was trying to contain my laughter next to my colleagues, but this tipped me over the edge
throwawaytea 22 minutes ago [-]
I work in construction now. Commercial Millwork/cabinets as a project manager.
It is so much harder and more stressful than my php/jquery mini saas coding days.
Often at work I start thinking "why are we doing all this? Why does anyone want this fancy reception desk?? This desk is not worth the human aggravation that it's causing."
I genuinely start thinking we should go back to concrete eastern European communist type buildings just for the simplicity and efficiency. Why all this fancy stuff that causes every project engineer, superintendent, and subcontractor Engineering department to get grey hair.
But I guess it makes the economy grow. I don't know.
grebc 9 minutes ago [-]
I hate the concrete/modern aesthetic, but live and let live I say and you should build your dream one day.
I read something interesting recently that some huge percentage of society, all genders, all classes etc etc hate modern architectural compared to classic architectural style. The only people that like are architects and/or architecture students. Amusing tid bit. Could also be complete junk when I drive all over Australia and see white/grey render & black trim absolutely everywhere. Yuck.
zemo 32 minutes ago [-]
> No rational person, least of all us masters of rationality in STEM, pursues these for the joy of creation, learning, or beauty
well yeah the purpose of STEM education is to be a factory to produce the correct worker for another factory
mwillis 23 minutes ago [-]
I don’t accept this framing. If tools allow us to pursue ever more deeply into the mystery of being, and get to both questions and answers we never thought we’d see, that’s a good thing. I think the genuinely curious should have no problem redoubling their “freed up time” into further exploration. The library Borges describes is infinite. I won’t mind getting to read a few books I wouldn’t have otherwise.
29 minutes ago [-]
deepsun 49 minutes ago [-]
> AI has solved all our problems
What about the Collatz conjecture? AFAIK, it requires some novel approaches to mathematics, which would be a real testament to AI creative skills.
I don't doubt it will be solved some day, but as of now it's too early to say that all our problems are solved.
fwip 33 minutes ago [-]
You may want to reread the essay. Many of the statements in it are not the sincere beliefs of the author.
throwaway624352 15 minutes ago [-]
We must secure the future of humanity and preserve dignity, freedom, purpose and agency.
bluepeter 44 minutes ago [-]
> First, they came for the artists,
and I did not speak out, because I was not an artist.
// actually FIRST they came for the programmers. and many of us were ultimately ULTIMATELY pretty tickled to get such a massive productivity boost. this anti-AI sentiment as seen here and in Jon Stewart's rant that all AI is good for is optimizing shopping carts or something... it's so upsetting see good folks buying into this and not realizing how much benefit it will bring. If anything, I've seen how much amazing power it has now given programmers such as myself... I can do what would take me years in an afternoon.
// Btw, can we retire the "first they came for the..." template, it's a little tired.
hatthew 27 minutes ago [-]
Diffusion models were the first gen AI tech to plausibly be able to replace humans, no? I feel like image generation was ahead of text generation 2015-2022, and prior to 2015 the best "gen AI" was markov chains which I don't think is within the scope of what we're talking about.
bluepeter 23 minutes ago [-]
I remember being blown away by BERT and all its variations (BART etc) after the Transformers paper. For topic modeling and other semantic understanding of text, that was bee's knees. But certainly not replacing any humans.
hatthew 9 minutes ago [-]
Yeah, BERT was cool, but IMO things like StyleGAN were equally cool. I think DALL-E was the first time that there was practical, nonphilosophical, discussion about AI replacing human industries. Maybe there was discussion within the data labeling industry about text classification models replacing humans prior to that? But also, data labeling is one of the industries that probably got a lot bigger due to AI, so...
ZeWaka 20 minutes ago [-]
We had some really neat powerful classification around then.
tocs3 1 hours ago [-]
This is not a very upbeat post. It does not say much about the AI Library of Babel but I have been wondering about the same thing.
dist-epoch 25 minutes ago [-]
So we have the Fields medal, awarded for making "progress" in math.
Now we are told explaining, understanding things, asking new questions is more important than proving things. So where is the math community medals/awards for this job?
DevKoala 24 minutes ago [-]
> dreaming that one day an unfeeling corporate robot[1] will burn a rainforest to compile a list of 700 highly obscure barely-readable facts that might be true that nobody can understand as part of a marketing gimmick to raise hype for an IPO
The climate effect argument against AI is so intellectually dishonest. It’s the same as saying that Tao is on the side of stopping the advancement of Cancer research.
I thought the people clowning him were dumb, but the people arguing for either side are really fighting on a mud pit.
Just hit "random." It's always gibberish. The odds of getting something that isn't gibberish are astronomically low, like winning the lottery.
The actual library Borges describes has 25^1312000 books, the very vast majority of which are utter nonsense. (As the simulator makes clear.)
Yet with AI, we're getting an abundance of very credible -- and, as Tao himself notes, frequently correct -- mathematical proofs. In these new AI math results, the ratio of signal to noise is high, which makes our current situation the exact opposite of the library, which is pure noise where signal emerges only by random necessity.
lkey 28 minutes ago [-]
Above: Literacy crisis casualty
Causes:
Failure to detect and appreciate irony and metaphor
Failure to engage with core critique
A_D_E_P_T 25 minutes ago [-]
The metaphor was, in my opinion, far too badly strained to work.
tacoooooooo 20 minutes ago [-]
its not even a metaphor. you're not understanding the library of bable
vhantz 11 minutes ago [-]
Maybe read TFA...
> Fortunately, OpenAI has brought us one step closer to realizing Borges’s vision. Rather than generating every possible mathematical paper, they’ve found a way to probabilistically generate things that look correct.
Or at least ask your favorite LLM to read it, then give it your knee-jerk comment and ask it to check if it's already covered on the text. This saves you from wasting time using your own brain.
ahsgtq 47 minutes ago [-]
Whoosh.
sublinear 21 minutes ago [-]
> This is a guest post by Rikab Gambhir.
Very much worth nothing for those about to read this! haha I got a couple of paragraphs in and shook my head.
41 minutes ago [-]
ahnick 26 minutes ago [-]
All the nihilism in the AI space is so tiresome. We have a tool now that can accelerate the technological development of our species and actually reach for the stars! How exciting! All these ruminations and lamentations about what it means to be human are downright laughable to people on the front lines of war, living in abject poverty, etc. "Oh, to be so lucky!", I'm sure they'd say.
The luddites and doomers should do the world a favor and go establish a commune in rural Alaska, then they can be happy and the rest of us can get back to building and playing with amazing technology!
crassglassass 2 minutes ago [-]
> All the nihilism in the AI space is so tiresome. We have a tool now that can accelerate the technological development of our species and actually reach for the stars!
Lol buzzword soup. What marketing department do you work for?
happytoexplain 20 minutes ago [-]
It's rationalism, not nihilism.
The luddites were rational.
Telling people to fuck off and go away when they were here first is hideous. You should be humiliated. You should feel unwelcome.
ahnick 5 minutes ago [-]
No, it's nihilism.
The luddites were not rational.
Telling people they should be humiliated and that they should feel unwelcome is hideous.
I didn't tell people to fuck off. I told them to go do what they want to do and we'll do what we want to do. That's called a win/win.
cdelsolar 14 minutes ago [-]
No one is telling them that, unless they're the ones starting the fight
cdelsolar 18 minutes ago [-]
oh stop it
Apreche 50 minutes ago [-]
I’m not doing it. Why are you?
FLeXMurphy 59 minutes ago [-]
It's a nice rant that I think will become more common until everyone burns out and one important realization dawns upon them: the corporations doing these things don't really care about your plight, suffering, etc. You can write thousands of books using this kind of tongue-in-cheek-but-really-angry language, and they'll just laugh it off. Felix Reisenberg will make a new post about something he's doing with Claude, Boris will make a tweet and everyone will rush to turn it into LLM-generated images so they can post on their LinkedIn for their bosses to measure their engagement KPIs, and we'll forget about the rants.
kderbyma 55 minutes ago [-]
So if you are suggesting that life is now meaningless at status quo, it suggests that life will find new meaning....perhaps it will come in the form of a realisation that if corporations are in no ones interest, perhaps the better life is the one fighting against meaninglessness through our own redefinitions of noble pursuits...perhaps the most noble pursuit will become war against companies and executives in a post-modern religious crusade to reclaim some purpose in ones life. Perhaps murder is not a problem when you murder companies
none_to_remain 20 minutes ago [-]
Why the hell would I want or expect a corporation to care about my plight?
happytoexplain 54 minutes ago [-]
What if the rants slowly transition into violence?
Of all the things we could be doing, why are we doing this?
Is it collective mental illness? Economic hysteria? A cult of virtual personality?
It's simultaneously irrational, obsessive, ecologically and politically catastrophic, and all-consuming - none of which are good things.
bobson381 51 minutes ago [-]
It's the same process that has been running - creation of complexity as a dissipative structure - but now with even less friction. Some say we'll transcend, I think we're spiraling into the language-navel of cartesian dualist logical positivist insanity.
mlsu 29 minutes ago [-]
I love the dissipative structure framing. It's the only logical explanation for all of this.
Datacenters in space are visionary -- they are maximally energy rate dense and they expand the area of energy absorption. Might be 100 years too early but that is where we are headed, after we turn all of the available biosphere of earth into computronium, that is.
The only superior technology left would be von Neumann probes.
krapp 46 minutes ago [-]
> That's the point - why are we doing this?
> Of all the things we could be doing, why are we doing this?
Money. Capitalism. It's all a fucking grift. Always has been.
If you thought AI was going to usher in a post scarcity golden age of infinite wealth where all disease, hunger, want and inequality are solved and everyone gets to live their lives purely for pleasure and intellectual pursuit, where the Eschaton is in their Heaven and all is right in the world, and humanity spreads out amongst the stars as beings of transcendent posthuman machine intellect or some shit you read in a sci-fi book then congratulations, you're the mark.
fwip 28 minutes ago [-]
Do you think this essay was written to appeal to the emotions of Sam Altman?
arjie 20 minutes ago [-]
Unlikable text. Just a rant with the usual “corporations” socialism-slop. Terry Tao’s blog rapidly diminishing in quality. I didn’t think that the way machines would approach top mathematics is to transform top mathematicians into boring Redditors who eagerly retweet other annoying Redditors.
micromacrofoot 32 minutes ago [-]
...for money
if I had guaranteed access to housing, healthcare, and food I'd stop immediately
BirAdam 27 minutes ago [-]
So, would most people, and this would mean that very little housing would be built, very little health care provided, and very little food grown or harvested.
micromacrofoot 7 minutes ago [-]
well I'd be willing to help build housing, provide health care, and grow food as needed given the stability it provides
right now my contract is more or less "we'll keep paying you if you continue providing us with the arbitrary value we require" which is certainly more difficult to reckon with
brador 38 minutes ago [-]
Now imagine what quantum computers will do. AI in polynomial time.
You can sense the fear and anxiety in the article.
Is existence not enough anymore? Do humans need more?
co_ent 21 minutes ago [-]
You will own nothing, and you will be happy.
acherion 17 minutes ago [-]
Is that a prediction, or is that a demand?
krapp 11 minutes ago [-]
It's a promise.
22 minutes ago [-]
asanineassasin 31 minutes ago [-]
[dead]
_doctor_love 55 minutes ago [-]
Dear friends: you may not like to hear this but the profit motive is what ruins everything.
I have a degree in Economics. I have read Adam Smith (and not just the Wealth of Nations, by the way!). I spent years on this stuff. I understand markets and for some things they are indeed the best solution. No argument there.
It is a FACT that some things in life should not be done for profit.
juvvel 49 minutes ago [-]
If we as humanity cannot protect fields like art, science, even healthcare and housing, from the ever-growing pressure to make a profit off of them, then we are truly doomed. AI is not the sole cause, it just expedites the process of destroying everything that is not maximally cost-effective.
augment_me 20 minutes ago [-]
What is the incentive to protect these fields?
Will protection of these fields help the average person or country to survive and accumulate resources?
SoftTalker 21 minutes ago [-]
Some things cannot be done for profit, but need to be done. These are things that we consider moral or human rights, such as feeding the hungry, caring for the sick, or sheltering the homeless. This is the realm of charity, and it was once a serious obligation for the elite as well as a central focus of religion.
But for everything else, the profit motive is unsurpassed at allocating scarce resources to their most productive uses.
krona 35 minutes ago [-]
Narrator: But this was a fiction. In reality, evidence of any profits being made was extremely hard to come by.
amelius 44 minutes ago [-]
> I spent years on this stuff.
All I needed was entering a game of Monopoly after a few rounds had already been played.
23 minutes ago [-]
buriram 38 minutes ago [-]
A corner stone of Economics is Game Theory and Prisoner's Dilemma. You can choose not to do things for profit, but other people will.
goatlover 16 minutes ago [-]
Capitalism is the real ASI running things, and in some cases, ruining.
ciefa 27 minutes ago [-]
They're so butthurt about losing their social status of not being the top intellectuals anymore, I find it hard to take them serious.
44mkultra69 45 minutes ago [-]
>> reimagining what it means to be human. By outsourcing the burdens of curiosity, creativity, and understanding, we can finally focus on what matters most
... the fact that this shit doesn't even scrape the ass of more than 500 million people, 60% of which are utterly useless with or without (mit oder mit ohne) ... neither sacrasm, nor cnysims or inorys will uplift this worst of all narratives ever written.
this is all soooooo baaaaaad
silverFork 28 minutes ago [-]
Why Ai? Because its development was pretty much free and paid by the pension funds. The objective is supremacy and being the first entity and country to collect rent via Ai supremacy and block every other entity in their analysis; reality who knows what will happen..
It started with internet which was subsidized through military for sake of military supremacy and then it transformed to become a utility connecting everything and collecting information and it subsidized by the markets to collect rent from the world using this utility and now it is subsidized to replace labor around the world by knowing everything that humans know and to collect rent from its use to discount labor.
Rendered at 21:46:37 GMT+0000 (Coordinated Universal Time) with Vercel.
Grim but this is exactly where society is heading.
Some of those people were mathematicians, engineers, physicists who found joy in being skilled at what they do and were able to be financially rewarded for their effort applying their skill. Are these artistic pursuits, subcultures, pick-up leagues, etc going to pay their mortgage? Will they help them get a job in a field they are trained in?
The "free to pursue more important things" is a hand-wavy statement that doesn't talk at all about what those people should be doing to provide for themselves after wages plummet. The hyperbole is drawing attention to the ridiculousness, not making a comment about there not being a rec soccer league or something.
I would really push back on this
What you're describing _is_ the beaten path. People who argue with bots on twitter are actually, vastly, the minority.
Go to your local park or bar and have a drink and try not to talk about the internet.
Because most people in the world are working around the clock to supply food and shelter for their family. It's a bit unclear still how you are going to consolidate the two facts
Those are hardly the "most people in the world are working around the clock to supply food and shelter for their family"
It's a bit unclear still how you are going to consolidate the two facts.
The toxicity of apps like Tiktok comes from muscle memory, not the quality of the content. Your thumb knows where the app icon is and opening the app happens quicker than you can think (literally). So offloading or uninstalling breaks this very effectively. The only thing that would still keep you on the platform is social connections. If somebody gets upset over you uninstalling Instagram or Snapchat, they aren't a good friend.
There is no Utopia for mankind at the end of an AGI that is the labor force because people need a purpose; without that, degenerate behaviours and vice are easy to fall into and the spiral is not big. The state of the human race - particularly the internet-native generations - is a testament to that.
The only way the AGI Utopia works is with a massive reduction in the human population with a Spartan/Helot relationship between those remaining.
Let's face it, the people who want AGI so badly aren't the wam cuddly people who want to feed the poor, house the homeless, and cure the sick. Their motives here are not pure...
For you, maybe. You can't assume that applies to everyone.
guilty
> Looking up at the stars in wonderment, or enjoying a complex puzzle game, or being inspired by an encouraging teacher, and dreaming that one day an unfeeling corporate robot[1] will burn a rainforest to compile a list of 700 highly obscure barely-readable facts that might be true that nobody can understand as part of a marketing gimmick to raise hype for an IPO[2].
But if I am going to critique it's main point it would be this part:
> in the pursuit of advancing humanity’s knowledge as quickly as possible, many academics will recoil in anger at the suggestion that it is worth spending any time making results understandable to humans. It is inefficient to explain or check a result when those resources can be spent generating another.
While obviously ridiculous, I think this does not go far enough. The problem isn't that people don't care and resources should not be spent to explain AI results to human minds, the problem is that AI will soon be better at explaining itself than humans. The puzzle then changes from can AI formally verify and explain a proof to: do human minds trust the proof. Do we believe that the proof is correct and not an elaborate AI hallucination using tricks that are beyond our understanding. In order to trust it a formal verification is not enough unless it is human understandable. In fact human understandability is the only thing that matters. That is something that AI can never do on its own.
The whole point of formal verification is to remove the necessity of understanding most of the work. We only need to trust the formalization of the problem statement, the proof verifier, and the formalization of the result. We already have proof verifiers that humans understand to a high level, and the formalizations of the problem statement and the result are much simpler than the full proof.
I'm confident that the Navier-Stokes equations can blow up because I'm confident that Lean works correctly, and I'm confident that the mathematicians verified the problem statement and result correctly. This is despite the actual proof not being human verified yet (as far as I know), and despite the "human-readable" version not actually corresponding to the formal proof. The formal method still worked.
We have moved quite a long way down the "believe the science" road already, and for good reason. Belief is much (!) faster and cheaper than proof, so those who are fed good science(math) and believe it tend to outcompete people who get stuck trying to prove things all the time.
But fraud is fraud regardless of the platform (meat or silicon) committing it. People who believe in frauds often end up worse off for it, though it hard to know which piece of BS has led you astray or who's to blame for it or how to deal with the fall out.
Obviously, we shouldn't believe AI any more than we believe humans. That said, the world was already suffering greatly under the weight of human generated BS long before useful AI came on the scene. Now that AI has reduced the cost of producing plausible BS by orders of magnitude, we may need some new methods for BS detection.
You’re spot on here by analogy.
...unfortunately it took 57 years to unravel, but the cryptic exploit resulting in our telomeres suddenly expiring took a mere 42.
The state you proclaim to be happy with is one of irresponsible dependency. A retreat to self-infantilization.
It feels like frontier models are starting to approach an asymptote where what you suggest could become reality, and we'll begin seeing not just AI research but AI-designed & led applications of that research into fundamental parts of our society & culture. For better and for worse.
(I assume you mean explain itself to humans here.)
I keep seeing people saying this as fact. It might, but it might not, and there are various reasons one might be skeptical that it will, using current techniques. Not least among these is that explaining something well to a human requires a degree of empathy and sophisticated theory-of-mind that LLMs have not yet exhibited yet*, and that is an area where humans are uniquely advantaged by being humans.
Someone will almost certainly reply by just stating as fact that they will achieve this goal, or pointing out that past predictions that LLMs wouldn't be able to do particular things have failed, and that's all very well. I certainly wouldn't be rash enough to claim it's impossible, but there are still models of all this available that are consistent with all the successes so far but don't predict "LLMs can do anything and will do everything". We'll find out in due course.
(I should clarify that the benchmark here is good human explanations. Of course many humans are capable of producing "explanations" worse than Markov chain text, let alone LLM output.)
* My idle speculation is that a lack of decent theory-of-mind is why LLMs still suck at using the "it's not X it's Y" construct. I doubt they actually use it any more frequently than humans when writing on the same topics, but they use it wrong and it's jarring. This particular rhetorical flourish works when there's some reason to think that X is an idea that might actually be present or forming in the mind of someone reading the passage (or in some other mind that they in turn might be imagining, eg. a fictional character), and that explicitly calling it out and negating it will have a particular dramatic effect. LLMs probably use it with about the expected frequency, but they use it for that reason (frequency) and then come up with something to put in the X and Y slots. The result often jars because the X it uses isn't something pertinent to the reader's thought process and/or the Y isn't a convincing, persuasive or relevant counterpoint to it. I suspect the result is that they stick out and seem more frequent than they are.
He'd have more of a point if a huge number of humans weren't occupied doing exactly this, and much worse on top.
Never say never...
People fundamentally misunderstand the nature of mathematics: it's not "flat" like most of common people's daily pursuits. It consists of building upwards, on top of previous concepts.
In other words, AI is like an oracle: it can tell you all kinds of stuff, but since you probably don't understand, you won't act properly.
And if it fails, and AI goes, "I don't know what happened. I relied on these papers" then I guess one of those must be wrong.
I'm not saying it'd be easy, but I think AI can also find the pieces of the puzzle that broke a pyramid of "discoveries" culminating in a disproval,
And the only other option is to simply never understand as much. AI has the potential to understand things humans cannot. Not necessarily a strict superset.
Humans can deal in 5+-2 things at once. AI doesn't have to, and can cut through leaky abstractions.
If AI says a new invention will do X, and it doesn't, it'll say "you're absolutely right" and try again until it does the thing.
I mean... doomsday scenarios aside.
Well, maybe it’s a good thing that we are seeing this shift. Maybe it is good and right that we begin valuing your ability to exist in the real world, rather than play math puzzles on a sheet of paper. Because, while the AI labs are receiving a lot of attention and excitement now, that’s a short run phenomenon. Ultimately, people aren’t impressed for long by a machine doing something novel. Once it’s up and running, it fades into the background just like the combustion engine, or the dishwasher, or electric lighting.
Not really, they haven't. It's only when those insights can be communicated in such a way to other people that those other people can find utility (which could be enabling them to derive more insights that yet other people find utility in recursively) in the insights that they do so, and this is a huge difference. This is why AI is such a total problem to this mentality, because it disrupts not only insight production but the mechanism that values insight production.
Why, indeed, is society funding pure mathematics? Many mathematicians are complaining that they do not like AI and their jobs are less fun when AI is involved. But does that matter? Should that matter to the institutions who fund mathematics research?
To me it seems that we fund pure mathematics because we believe that some pure mathematics will end up being useful. Turing was doing "pure mathematics" when he invented the Turing machine, because we didn't have another word for it, yet.
So, which is going to be more useful - the sort of pure mathematics that AI does in 2026, or the sort of pure mathematics that humans do in 2026? That is the debate I would like to see.
If you put the former above the latter, you don't really exist, in a sense.
https://libraryofbabel.info
What I’m most curious about is how this impacts our perception of who/what is smart.
Am I the only who thinks this is rhetorical? Modern mathematics is so far removed from the base average knowledge (lets just assume high school instead of going to axioms) that the only people who understand most (if not all new) mathematical achievement are the mathematicians themselves, heck not even all mathematicians, it needs to be spread and developed from "hot spots"?
Your math results are not "well-written, understandable, pleasant to read or look at" unless you literally operate with two or three levels within the proof paper compared to the average person who probably starts at an order of magnitude levels higher.
To the average person, asking a mathematician to explain something is the same as asking the AI/LLM. Both are asking an oracle to dumb it down to their level of abstraction.
To the person who are not career mathematicians, both LLMs and mathematicians do the same thing, pump out garbled output that they themselves understand, and to mathematicians, the difference is one probably explains using axioms rather than theorems.
Now with LLMs the process is much shorter. They can walk me through the algorithm step by step, translate it to pseudocode, explain equations, and most importantly, I can ask them questions and get clarifications, without worrying about seeming ignorant or exhausting their patience. With a paper, you’re stuck with whatever was written (and often, researchers aren’t good teachers, or intentionally over complicate simple concepts).
Yep, my eyes glaze over at the convoluted mathematical explanations for pathfinding in worldspace, but when I see the pseudocode in the appendix it make so much more sense.
I'm in the office and was trying to contain my laughter next to my colleagues, but this tipped me over the edge
It is so much harder and more stressful than my php/jquery mini saas coding days.
Often at work I start thinking "why are we doing all this? Why does anyone want this fancy reception desk?? This desk is not worth the human aggravation that it's causing."
I genuinely start thinking we should go back to concrete eastern European communist type buildings just for the simplicity and efficiency. Why all this fancy stuff that causes every project engineer, superintendent, and subcontractor Engineering department to get grey hair.
But I guess it makes the economy grow. I don't know.
I read something interesting recently that some huge percentage of society, all genders, all classes etc etc hate modern architectural compared to classic architectural style. The only people that like are architects and/or architecture students. Amusing tid bit. Could also be complete junk when I drive all over Australia and see white/grey render & black trim absolutely everywhere. Yuck.
well yeah the purpose of STEM education is to be a factory to produce the correct worker for another factory
What about the Collatz conjecture? AFAIK, it requires some novel approaches to mathematics, which would be a real testament to AI creative skills.
I don't doubt it will be solved some day, but as of now it's too early to say that all our problems are solved.
// actually FIRST they came for the programmers. and many of us were ultimately ULTIMATELY pretty tickled to get such a massive productivity boost. this anti-AI sentiment as seen here and in Jon Stewart's rant that all AI is good for is optimizing shopping carts or something... it's so upsetting see good folks buying into this and not realizing how much benefit it will bring. If anything, I've seen how much amazing power it has now given programmers such as myself... I can do what would take me years in an afternoon.
// Btw, can we retire the "first they came for the..." template, it's a little tired.
Now we are told explaining, understanding things, asking new questions is more important than proving things. So where is the math community medals/awards for this job?
The climate effect argument against AI is so intellectually dishonest. It’s the same as saying that Tao is on the side of stopping the advancement of Cancer research.
I thought the people clowning him were dumb, but the people arguing for either side are really fighting on a mud pit.
There's a library of babel simulator here: https://libraryofbabel.info/
Just hit "random." It's always gibberish. The odds of getting something that isn't gibberish are astronomically low, like winning the lottery.
The actual library Borges describes has 25^1312000 books, the very vast majority of which are utter nonsense. (As the simulator makes clear.)
Yet with AI, we're getting an abundance of very credible -- and, as Tao himself notes, frequently correct -- mathematical proofs. In these new AI math results, the ratio of signal to noise is high, which makes our current situation the exact opposite of the library, which is pure noise where signal emerges only by random necessity.
Causes:
Very much worth nothing for those about to read this! haha I got a couple of paragraphs in and shook my head.
The luddites and doomers should do the world a favor and go establish a commune in rural Alaska, then they can be happy and the rest of us can get back to building and playing with amazing technology!
Lol buzzword soup. What marketing department do you work for?
The luddites were rational.
Telling people to fuck off and go away when they were here first is hideous. You should be humiliated. You should feel unwelcome.
The luddites were not rational.
Telling people they should be humiliated and that they should feel unwelcome is hideous.
I didn't tell people to fuck off. I told them to go do what they want to do and we'll do what we want to do. That's called a win/win.
[1] https://www.cnn.com/2026/10/12/politics/data-center-backlash...
Of all the things we could be doing, why are we doing this?
Is it collective mental illness? Economic hysteria? A cult of virtual personality?
It's simultaneously irrational, obsessive, ecologically and politically catastrophic, and all-consuming - none of which are good things.
Datacenters in space are visionary -- they are maximally energy rate dense and they expand the area of energy absorption. Might be 100 years too early but that is where we are headed, after we turn all of the available biosphere of earth into computronium, that is.
The only superior technology left would be von Neumann probes.
> Of all the things we could be doing, why are we doing this?
Money. Capitalism. It's all a fucking grift. Always has been.
If you thought AI was going to usher in a post scarcity golden age of infinite wealth where all disease, hunger, want and inequality are solved and everyone gets to live their lives purely for pleasure and intellectual pursuit, where the Eschaton is in their Heaven and all is right in the world, and humanity spreads out amongst the stars as beings of transcendent posthuman machine intellect or some shit you read in a sci-fi book then congratulations, you're the mark.
if I had guaranteed access to housing, healthcare, and food I'd stop immediately
right now my contract is more or less "we'll keep paying you if you continue providing us with the arbitrary value we require" which is certainly more difficult to reckon with
You can sense the fear and anxiety in the article.
Is existence not enough anymore? Do humans need more?
I have a degree in Economics. I have read Adam Smith (and not just the Wealth of Nations, by the way!). I spent years on this stuff. I understand markets and for some things they are indeed the best solution. No argument there.
It is a FACT that some things in life should not be done for profit.
Will protection of these fields help the average person or country to survive and accumulate resources?
But for everything else, the profit motive is unsurpassed at allocating scarce resources to their most productive uses.
All I needed was entering a game of Monopoly after a few rounds had already been played.
... the fact that this shit doesn't even scrape the ass of more than 500 million people, 60% of which are utterly useless with or without (mit oder mit ohne) ... neither sacrasm, nor cnysims or inorys will uplift this worst of all narratives ever written.
this is all soooooo baaaaaad
It started with internet which was subsidized through military for sake of military supremacy and then it transformed to become a utility connecting everything and collecting information and it subsidized by the markets to collect rent from the world using this utility and now it is subsidized to replace labor around the world by knowing everything that humans know and to collect rent from its use to discount labor.