> Before approving construction, I would want communities of humans to understand why the design works and what justifies confidence in its safety. I would hope that we all would.
Until very recently, I pored over every single line of code Claude generated with razor sharp scrutiny. I would usually catch issues with every response. I'm catching fewer problems these days. Maybe the model is just getting better, and maybe I'm being less careful while under pressure to ship more and more often. But model capability is obviously growing. Even back in March, you could tell it "give me a function that adds two numbers" and you could be 100% confident that it would write the correct function. There was almost no point in looking at the code. Since then, the complexity floor of problems in the category "this is so simple that the model couldn't possibly get it wrong" is rising, and with it, my cognitive surrender to the model is increasing too. Why check it? It's obviously going to be correct.
If AI designs a terawatt fusion plant, then of course we're going to meticulously pore over every detail to ensure safety, reliability, efficiency, whatever. If we find no flaws in the design whatsoever, will we be less careful about the second one? The third one? What about the ten thousandth one? Will "a nuclear fusion plant" become something that models couldn't possibly get wrong?
Terence Tao is arguing that the human involvement in research is crucial, but doesn't convincingly justify why, in my opinion. He says that "human agency is a value of fundamental importance" and that we will need to build "thriving human communities that can understand [AI ideas] together" - not for the sake of correctness, which AI may surpass us on, but for, I guess, the possibility of reclaiming human meaning and purpose. I don't disagree with this at all, but it's not an argument, it's a statement of values. Unfortunately, the stark reality is that if AI does surpass humans, it will become the economically dominant strategy to not verify them and not double check them, but to just do whatever they say. This seems like a great way to raise p(doom). But as the models get better and better, and as I'm scrutinizing Claude's output less and less... I just hope that there are more Terence Taos out there than people like me.
A metaphor I'm constantly drawn to is the transition from agrarian to urban societies following the Industrial Revolution. Somebody who somehow saw the Industrial Revolution coming from the perspective of somebody living in an agrarian society might have envisioned it leading to 'super farms.' And it did.
But the biggest change wasn't what it did to farming, but enabling people and societies to start doing much more than just farming, as well as enabling some great social change as well by simply economically obsoleting slave labor. And trying to imagine all of the implications of this, as well as much society might look like, from the perspective of somebody living in an agrarian society would probably have been simply impossible.
I think people keep ignoring this possibility for things that LLMs will change. There's a vast amount of the 'cognitive economy' that LLMs stand to be able to automate. And I think that will open up a vacuum in society for people to build on top of what LLMs will do (and already are doing). I don't know what that means exactly, but that's because we still live in that 'agrarian society' and trying to imagine what things will look like after the 'Industrial Revolution' is probably just impossible.
Or will it be the cumulative total of various advances?
I've equated Claude Code, or Codex, to the looms that made fine fabric more affordable during the Industrial Revolution; life-changing, but not society-changing. Neither the steam engine nor the automobile.
(Perhaps I've answered my own question in that it's the techbokogy itself that equates to the steam engine, and it will power superfarm analogs that have yet to emerge.)
Here's the thing: nobody is stopping you from putting in the time to understand all that. The problem is, nobody has that much time, and we get hungry. And so we want the community to move with us, spend the time the same way as we do, to ensure value. We are all saying: we want someone else, others, to put in that time for us. The truth is, we all want quality, and value is closely related.
I can almost guarantee you the first time you show cancer symptoms, you won't care whether the cure came from an AI or human's understanding. But we haven't seen that, so we can't make the judgement call.
The average person doesn't know how the medication they take works, the mechanics of climate and climate change, how the energy they consume is generated, etc.
> The medical field as a whole isn’t generally interested in understanding how medication, only in empirical measuring and qualify the effects.
I don't think this is quite correct. I mean many practitioners of medicine will have the attitude of ... "if it works, it works". And that's perfectly reasonable.
But if you understand the mechanism of action of a drug (or other treatment), it (often) makes it easier to improve a drug.
So ... some sectors of the "medical field" understandably care only about empirical results. But other sectors would prefer to understand what's going on.
An major school of German sociology places this at the core of its theory. According to this theory, modern societies are characterised in particular by the fact that individual subsystems of society reduce the complexity of their own (sub)system to the other systems to enable them to act at all; they fulfil what is called an "Entlastungsfunktion" (relief function). Prominent representatives of this school of thought are Max Weber, Arnold Gehlen and Niklas Luhmann.
In their view, it is modern institutions (public and private) which, as supra-individual entities, have long since become autonomous systems. The fact that the individual office-holders are human beings, meanwhile, is of little significance.
Hannah Arendt, in her theory of totalitarianism, attributed the effectiveness of both Nazi and Stalinist policies of extermination to the largly moral indifference of bureaucracy as a system.
In this sense, the task of controlling AI is a variation on the problem of harnessing a complex society consisting mainly of autonomous subsystems. This is a problem which has increasingly challenged humanity already for quite a long time. And it has been very difficult so far, even without AI ...
Very interesting point. I think the counter-argument to that is that the complex modern society is based on somewhat “deterministic” systems, in that, even if a single decision or event isn’t rationally explainable in the moment, at least in the aftermath, it typically becomes understandable, maybe even reproducible. There is someone, somewhere, capable of explaining, maybe even multiple someones.
We don’t generally have that insurance with LLMs/AI, yet?
the average person doesn’t have an internal monologue
can’t use a computer (they’ve had like 30 years now in first world developed countries)
many can’t even use their smart phone beyond calling, texting (many can’t type well), and doom scrolling (they get addicted to drugs, gambling, and other LCD activities)
many read at a 6th grade level. most can’t even calculate tip in their head.
meanwhile, the same smartphone can give them access to literally any information and knowledge the world in seconds. and now gemini can explain stuff since most ppl can barely read or think.
The problem with "ignorance" in Western countries (particularly the US right now) is that it's very common for people who don't know to believe they know and form ignorant opinions that they often want to be applied society-wide in some way. You can see this with everything from climate change to vaccines.
In much of the world, even in middle income countries, people are comparatively poor and, in my experience living abroad in such countries for many years, much less concerned with "understanding" and forming opinions about everything under the sun. It doesn't mean they don't value education and are opposed to development/progress, but it does mean that they don't question whether the vaccine they're taking is the product of a conspiracy, think too deeply about why the river is flooding more often, etc.
They just deal with life the best they can and are more focused on supporting their families, enjoying what they can, etc.
Culture and religion play into this. The way secular and Judeo-Christian people look at the world is very different than, say, Buddhists, Muslims, Fulani tribespeople, and so on.
Some of it has to do with the fact that many people pushed forward training themselves in a way they understood would better themselves for the future. They put in time, and now their sense of value is in question. They're forced to think about things like value (of life, themselves, and hopefully others), and the things they want to remain valuable in the future.
It's interesting to me that you only mentioned the people using 'AI' in the 'short-term' ways, and not the ones that use it to better themselves in the 'long-term' ways. You can spend your own time focusing on either usage, it's really up to you and your concerns. Either group's sense of value is what determines their behavior. Where they spend their time and thinking must be elsewhere, and you disagree with it. Who judges the quality of time spent? You do.
Is it more useful to think about self-improvement, and how to navigate the future in ways that might help you re-establish value of yourself, life, and others? Acquiring knowledge is a struggle, the author mentioned this. There is also Plato's Allegory of the Cave, which highlights some of that struggle, a resistance to change. And we're all limited by time, our genes, our station in life.
The only way to help anyone out of the cave, is to help them believe something different about themselves. To help them believe there is good reason to spend time going deeper into knowledge, or at the very least, allow others with the passion and station for it to do so.
If not for the very least reason that it keeps us 'in the loop' of some central idea behind intelligence (prediction?). Or because we feel it keeps us safer, as a fallback measure because we acknowledge we have to trust other's knowledge to exist.
For even more people fun is TikTok, Snap, Instagram -> sounds like a collapse of a civilization to me if you increase the ratio even more towards dancing kids sharing their content non-stop with no added value to the society
It's not fun, it's a physiological addiction, because we learned enough about our brains to hack dopamine and reward cycles for profit. It's literal abuse.
Before extrapolating that far, take a look at the frontier labs' own job boards (https://openai.com/careers/search/?). Isn't it curious that they are still recruiting human "Android Engineers", "Account Associates", "Consumer Marketing Leads" instead of automating them with their world-beating models?
I’m reminded of themes from the Hyperion Cantos! Maybe my mind is over-connecting, but it’s not the first time I’ve drawn similarities in the last few years.
It’s terrifying to me to think we’d let AI make things for us we never understand. Like livestock not knowing how auto-feeders dispense their daily food were built and appeared, they just gladly eat until…
It's about as fun, and as realistic, as imagining magical ponies and people with superpowers?
This is such an incredibly naive and absurd vision; we've already proven that humans are very often very bad at implementing other humans' good ideas. There's nothing that AI is likely to bring that will improve this discernment.
Those subcultures are like that because they are small. If that became the lot of most people, society would look very different. The choice would be between Fully Automated Luxury Communism and Oligarchic Hellscape.
>Terence Tao is arguing that the human involvement in research is crucial, but doesn't convincingly justify why, in my opinion. He says that "human agency is a value of fundamental importance" and that we will need to build "thriving human communities that can understand [AI ideas] together" - not for the sake of correctness, which AI may surpass us on, but for, I guess, the possibility of reclaiming human meaning and purpose. I don't disagree with this at all, but it's not an argument, it's a statement of values. Unfortunately, the stark reality is that if AI does surpass humans, it will become the economically dominant strategy to not verify them and not double check them, but to just do whatever they say.
I think you have a fundamental misunderstanding here, and it's not really explained because I think it seems self-evident from within the field. In short: writing code is a means to an end; doing mathematics research is not, but is the end in itself.
The human involvement is crucial because the entire purpose of mathematics research is to increase human understanding of mathematics. It is pursued because it is interesting, not because it is economically useful. In this sense it's a lot closer to the humanities.
A black box oracle that just tells you whether statements are true or false is not the goal of mathematics and would not be particularly interesting to the field (except insofar as it could be harnessed to improve human understanding).
Coding is totally different from this, where it is essentially always done as a means to an end. Likewise with many other fields, like pharmaceutical research or materials science or what have you, that are oriented around solving problems for some practical purpose. Pure math isn't really like that for the most part.
I think you have misunderstood the OP's point here. You're arguing that deepening human understanding is an end in itself, and you are right. The OP is arguing that advances don't need to be pegged to human understanding, and they are right too. The two can coexist, superintelligence far ahead of us, pioneering discoveries - and mathematicians catching up at a pace suited to biological minds. I don't see the issue here. Of course, it does mean mathematicians adopt a new role as hobbyists.
> A black box oracle that just tells you whether statements are true or false is not the goal of mathematics and would not be particularly interesting to the field
This is a crude distortion. The recent breakthroughs have come with proofs, reasoning and verification, and there is no proposal that I'm aware of that would do away with these foundations. There's also some rather ugly solipsism in the idea of keeping what interests the field as a limit. Mathematics has broader relevance to humanity than merely to please and support mathematicians, and if other fields can make practical use of profound well-proven future math, mathematicians will have a hard time making a case that their comprehension must come first.
> > A black box oracle that just tells you whether statements are true or false is not the goal of mathematics and would not be particularly interesting to the field
> This is a crude distortion. The recent breakthroughs have come with proofs, reasoning and verification, and there is no proposal that I'm aware of that would do away with these foundations.
I believe that we are still at the point where these proofs serve as verifiable certificates of correctness, so that it's not a "trust me bro" situation, but where humans mostly still don't find them understandable, so that they are still just a highly reliable black box.
Sure, but I don’t think most of the money that goes into funding math is for the purposes of pure understanding. The reason governments fund mathematics research grants is generally for a more instrumental purpose; taking the US congress as an example, the mission of the NSF is to, “Promote the progress of science; advance national health, prosperity, and welfare; and secure national defense.” Most federal math grants come from the NSF.
Of course, math research is cheap and most academics don’t rely upon grants, their salary covers most of their expenses. But here too, the mathematics professor spends a substantial amount of their time teaching future engineers/quants/other applied mathematicians, who need to understand math for instrumental purposes, not as an end in and of itself. Without the tuitions of these students, I can’t imagine universities maintaining the size of their math departments, let alone expanding them as Dr. Sahai advocates for.
So who or what funds the community of pure mathematics going forward?
Research in pure mathematics is part of what we call "basic research". There are no applications in mind a priori. People instead focus on understanding, because history has taught us that understanding tough problems in mathematics finds natural applications elsewhere. It's the same as theoretical physics or theoretical computer science.
I feel you. We take a risk when we check our work less and we own the consequences. That's not new, and it doesn't make us bad. It's just the human condition from time immemorial. The solution is not obsessively combing through every detail of our work, it's better monitoring and control on the places where mistakes can have an impact.
> Maybe the model is just getting better, and maybe I'm being less careful while under pressure to ship more and more often. But model capability is obviously growing.
If you are a normal person research (e.g. https://arxiv.org/html/2606.22721v1 but there are a lot more, not necessarily on coding) has shown that you indeed are being less careful. It most likely also works better simply because more resources are being poured in.
> What about the ten thousandth one? Will "a nuclear fusion plant" become something that models couldn't possibly get wrong?
For what it's worth, ten thousand terawatt fusion plants probably approaches the level at which the sheer intensity of energy production would cause significant disruption to the climate (it's roughly 5% of the Earth's entire solar input). Every energy source becomes dirty past a certain point. It would be wiser to learn how to build a utopia within a limited energy budget than find a way to produce enough of it to cook the damn planet, but who am I kidding, we're going to build a million of these things.
This assumes other technological breakthroughs don't also happen in parallel. I'll go out on a limb with nothing more than a hunch that we are in the beginning stages of understanding mathematics, physics, and biology.
Even today we're recognizing that compute does not need to happen here.
When we're talking about creating powerplants equal to roughly 5% of the insolation of Earth, I think we're sci-fi enough to discuss orbital datacenters or Mars datacenters or Jupiter fusion candle datacenters.
Compute doesn't need to happen here, but it can, so it will. Building datacenters on Mars or Jupiter doesn't reduce our ability to build datacenters here, so naturally, they will still be built, everywhere that they can be. It's an orthogonal capability.
It's quite possible that with "infinite" energy we could do mass scale carbon capture to offset the increased temperatures by rolling back the greenhouse effect.
The more I think about space elevator, the less I believe in it.
The material alone is in a quantity beyond what we can reasonably manufacture.
and the material needs to be perfect. All design we have today have cascade failure mode -- any material failure translates to a total catastrophic failure.
and geostationary does not really meant Geostationary. There are lots of jiggling everywhere. It wear down over time. and let's hope nothing resonance
and we need some maintenance / decommission plan. How can we decommission this when it fail or need upgrade?
We're not going stop doing something locally just because we can do it in space. There are definite physical advantages to producing next to consumption. We will most likely do both -- things that can be done in space will be done in space, and things that are better done locally will ramp up. There is no upper limit to energy demand, none whatsoever. Stopping production anywhere it could theoretically happen is a matter of will.
Imagine the first time electric calculators calculated the square root of 5. I'm sure people would verify again and again if what the circuits calculated was right.
Then in the 80s, you presses 2 buttons and there you had it in your classroom without thinking twice if the electricity arrived correctly at the transistors.
How crazy will the world be once our [current gen] ANN are like that!
It is insane how many times I see this false analogy repeated on HN over and over (analogy of a deterministic-by-design calculator device (or a compiler, etc.) and a non-deterministic-by-design LLM software).
LLMs are not non-deterministic by design. The randomness in the output is artificially injected for ergonomic reasons. (Yes, the non-determinism in production systems is different, but also not by design)
You don’t train calculators on how to add. All calculators will more or less come up with the same answer to some deterministic and quantifiable level of accuracy and precision.
You're missing the forest for the trees here. The point OP is trying to make is that calculators originally were essentially non-deterministic. Technology will go from unreliable to reliable.
Calculators and computers are deterministic, they give the same output to the same output every time. Language models specifically are not. So it might give you are function that is correct, or a function that is not, or worse yet a function that behaves correctly, but introduces some god-awful bug down the line that can cause serious havoc. It is obvious that they need supervision, not only for output, but also sandboxing and various harnesses for them to not do any “oops, I deleted your codebase sry” kind of nonsense people post to Reddit.
So I think the problem is to determine which problems under what instructions we can safely give to a model application to solve and how we test the output for safety and functionality. This would create more usable and safe, albeit a bit more boring, AI-based applications alin to a calculator or general computer. Whether this is posswith current model architecture is another thing.
If you set the temperature 0, an LLM is also deterministic (same prompt -> same output every single time). We just don't do this because the LLM is not so smart in that mode. But "LLM is not so smart" is changing at Moore's law speeds.
Non-determinism is not an essential property of LLMs. It's an optimization that we've added intentionally.
Ehm, no! The same prompt does not always lead to the same output.
Have you ever tried to achieve consistently deterministic output from an LLM? I have, and it's not easy.
That means output differs between machines and architectures. Running inference on CPU vs GPU also affects output. Even running the same prompt twice in a row on the same machine can lead to different outputs because a prompt that was partially stored in the kv cache will result in different output than an uncached prompt.
Yes, yes, assuming the same CPU and stuff. There is some randomness due to floating point math differences between CPUs (and sometimes on the same CPU), but I don't think that fundamentally changes my point.
Put another way: if you could have a virtualization layer that guarantees deterministic floating point operations then a LLM set to 0.0 temp would produce deterministic output.
At the end of the day, an LLM is just a very big mathematical function. That is, by definition, deterministic. A particular implementation might give up on determinism for the sake of higher efficiency, but it you want a deterministic LLM, it can absolutely be done.
Why will X not keep increasing? It’s been increasing, albeit very slowly, since the start of the 20th century as the disease burden declines and nutrition improves. I see no reason to think that future health interventions couldn’t further juice those numbers.
Will it keep up with Y? Probably not, unless people are willing to accept pretty radical interventions to their biology. But it almost certainly is not static
Memory bits flip randomly. It's not a super rare thing either. You and me have experienced that many times without knowing. The only reason that computers feel deterministic is that we have error-correcting code to fix that. But in the most extreme cases, when multiple bits flip together, once "deterministic" program can generate unexpected output.
So why do you trust computers? Because statistically the case is just very unlikely. Therefore if AI is statistically unlikely to make mistakes there is no reason to not trust them.
You are confusing hardware noise and whether the algorithm itself is verifiable as if parity bits were not a thing. We don’t trust computers because the medium itself is infallible, but because the logic is sound.
With statistical models - such as LLM’s - there is no logic as such, but statistical assumptions based on given data. The output can ge very good or very bad, but you are fool to trust it blindly. Therefore you need a deterministic way to verify, whether meat- or software-based.
Given the disappointing levels of intellectual decay that our current technology has thrust upon civilization, I only see humans reverting back to neanderthal levels of intelligence in short time with the advent of AI
> One wonders whether a generation that demands instant satisfaction of all its needs and instant solution of the world's problems will produce anything of lasting value. Such a generation, even when equipped with the most modern technology, will be essentially primitive — it will stand in awe of nature, and submit to the tutelage of medicine men.
There's no reliable evidence that Neanderthals were less intelligent than modern humans. They're extinct now (except for a tiny genetic legacy in some human populations) but that could have happened for a variety of reasons unrelated to intelligence or lack thereof.
LLMs dont create anything new, if programmers stop reading the code technology will be forever frozen to 2022, no new programming languages, operating systems, concurrency primitives, databases, networking protocols, UI frameworks everything will be based on the training data and future generations will forget about all the primitives we now take for granted.
If someone creates a new programming language/ framework or new better way to do async or whatever, no one will use it because it is not in the training data and it wont take off because everyone is using LLMs. It will be like using the same Lego pieces over and over.
What if programming languages, operating systems, concurrency primitives, databases, networking protocols, UI frameworks are already good enough, and the innovation lies elsewhere?
You can do a lot of cool stuff with the same lego pieces.
But what if the fundaments of all these, in the human produced literature, actually contain hidden circularities and holes which make very hard the progress?
IMO for the moment the greatest value from these AI tools is that we can start an audit and hopefully proceed on a saner foundation, after we use the tools and think about it.
This is different than too many AI generated proofs or panic reactions from the academic system with its stupid incentives.
False dichotomy. Chess/Go can still be played between two humans and there is allot of value in that because humans compare each other to other humans, when you see a skillful Grandmaster play you know they are good compared to yourself or the average human, that is why people still watch, play chess/go and train hard to get good. Programming is different because you are creating something not necessarily trying to win a game.
Most programming tasks are exactly like that. Is this agent able to complete this task? Is this agent able to optimize a kernel beyond previous attempts?
Of course some are subjective and that's where progress is harder, like "Is this website pretty?". But for tasks that can be objectively measured, LLMs will go beyond human level, just like with Chess and Go.
My point is that LLMs depend on training data so the code they produce will be stuck in 2022, no new languages, techniques beyond that because new techniques are not in the training data (at least not enough of it for training because most coders are now using LLMs).
Chess/Go continues to progress because it is primarily a human vs human activity, people will always be learning to play chess and chess will continue to develop.
> Pre training data is in large part synthetic these days
How much of that data can lead to innovation? Can you predict all innovation map it out on paper.
> Computer Chess progress has nothing to do with human vs human activity.
The point is that humans will always be learning chess because it primarily a human vs human activity they will be contributing games to the chess database, unlike with programmers who are stopping to code and only prompting, generating code stuck in 2022.
> AlphaGo Zero used no human game data at all.
Sure, but that instance of AlphaGo is still dependent on its training, its intelligence, so it is a question of is that the best and only way to win a game of Go. Just a few weeks ago, a Go Grandmaster found a way to beat one of the strongest Go AIs.
So a specific instance of an LLM might be the smartest based on what we know and need today but that is not the limit of how far we can go, this is why it is important for humans to always have an intimate connection with the code, math, science, chess etc for progress to continue.
Very few people scrutinise assembly in 2026 as compiler generated code is 'good enough'. LLMs are beginning to do the same with higher level languages.
Without bashing anyone in particular, a certain OS-vendor's desktop apps, have been 'good enough' to ship, but with p*ss-poor performance in many cases for the last decade or so. We crossed the 'good enough' Rubicon a few years back in terms of what end users receive as a finished app.
Hopefully LLMs will eventually bridge that last gap of efficiency when generating higher-level code that not only works, but is efficient. Maybe there's a future where they generate the final binary without even invoking a compiler.
but there is a difference between deterministic compilation and non-deterministic LLM code. Of course I don't think this is an issue for toy problems and simple codebases, but for non-trivial problems I think it will be an issue.
When I compile C code I know that maybe it will not be as efficient as it could be if I had written it in Assembly, but there will be a biunivocal correspondence between C and Assembly. If instead I use an LLM to rewrite a feature of a codebase I can't be sure that it still functions like the original one.
I acknowledge that this is an issue with human programmers too, but I don't see a clear way forward, even if I'm really interested in LLM compilers being a thing. Maybe we will use them for non important code, and we will keep writing system critical stuff by hand.
> but there is a difference between deterministic compilation and non-deterministic LLM code
But not the point of my comment. Computer programming has been a progression of physically wiring up valves, to soldering transistors, to punched cards, assembly, then higher level languages. Now we have natural language models.
The analogy being each that most people don't care about the assembly generated as the code works and it's really performant/efficient. Humans can still optimise assembly, but there's vanishingly small marginal gains for all but the most intensive/low-level tasks.
If LLMs produce things that work, and are indistinguishable from a careful human programmer (i.e. with some level of acceptable performance), people will simply stop looking at the high level code as the end result works, in the same way most people stopped looking at generated assembly after 8 bit computers (for example, as most games were written in raw assembly for... perforamance), as it was good enough.
> If instead I use an LLM to rewrite a feature of a codebase I can't be sure that it still functions like the original one.
Right now, with existing static analysis tooling, you can ask it to write a full suite of unit tests capturing existing behaviour without modifying the existing code with 100% code coverage, and start there. Plus fuzz tests as well. I actually have marginally more confidence in that than a human being doing it.
Isn't Microsoft already using LLMs to convert low efficiency components of Windows into higher efficiency implementations, for example by conversion to Rust?
Indeed, and that's not what I said or was implying. My comment was an analogy in response to:
> Until very recently, I pored over every single line of code Claude generated with razor sharp scrutiny.
As LLMs generate better code in a higher level language (where better equals fewer defects, and does what you want), scrutiny of that code by humans will naturally drop. Human scrutiny will likely be replaced by something that doesn't exist yet, perhaps some sort of higher-order 'LLM linter', or Lean-esque language or tooling that somehow proves the LLM did the correct thing.
It's entirely possible in 2026, to further manually optimise compiler generated assembly, but vanishingly few people do that.
The point of my comment is that 'good enough' is almost here as demonstrated by the parent's comment.
> As LLMs generate better code in a higher level language (where better equals fewer defects, and does what you want), scrutiny of that code by humans will naturally drop. Human scrutiny will likely be replaced by something that doesn't exist yet, perhaps some sort of higher-order 'LLM linter', or Lean-esque language or tooling that somehow proves the LLM did the correct thing.
Your “analogy” doesn’t hold up. The scrutiny applied to compilers are done by the compiler developers. Eventually if requirements don’t change the full test suite becomes the oracle. Not because of an attestation from a ghost in the machine but because of scrutiny done, let’s say over two years on a compiler that was reaching feature parity.
This obviously holds for compilers generating correct code since it is so well defined.
And this also holds for the efficiency of the generated code, since that is also obviously scrutinized by compiler developers.
Granted, the venerable LLM and the compiler do meet in a sort of functional intersection where all you can concievably care about is some thing that has a well-defined test for functionality or fitness. In the compiler’s case that’s the benchmark (good enough to not look at the assembly). But then one should go to that example directly and not to compilers in general.
> The scrutiny applied to compilers are done by the compiler developers.
I apply scrutiny to Common Lisp compilers, and have done this for more than 20 years. I'm not a compiler developer. I don't even look under the hood, at the code of the implementations.
Instead, I run massive random testing. Billions and billions of randomly generated functions, thrown at the compiler to either try to get it to crash or to generate code that produces incorrect results (detected by differential testing with different settings or transformations that should preserve what is being computed.) It's a remarkably effective way to surface compiler bugs.
> I guess, the possibility of reclaiming human meaning and purpose.
As you described very well, as humans we are mostly interested in solutions, not problems. You don't have to understand how a car works to make the most of it. Increasingly, you don't have to review every line of code to feel confident it is correct. But there is inherent value in understanding the problem. The effort it takes provides a surface area for growth, perhaps the only one that is actually available to us.
The solution provider also holds the locus of control, and it is only balanced when there are other available solution providers. We certainly want some of those to be human.
In my experience, LLMs are becoming very good at executing, but not a creating novel ideas or being creative.
Most of programming is reusing existing ideas in new shapes to solve new problems, but all the building blocks are there in the training set. Or new blocks can (easily) be derived from existing ones.
Math is different, it requires quite a bit of creativity, it's not just 'reuse all existing blocks'.
For the moment LLMs are good at discovering things that we overlooked in maths, or apply cleverly existing math blocks to make new results, but making a new theory that is really useful is out of reach for the moment in my opinion.
Sure, and I hope LLMs will at some point be able to do it. It would simplify greatly my work.
However, at the moment I consider that they stay in the 'convex hull' of their training set + a provided context, and I don't see that much research that made real improvements to the situation.
The problem with a terawatt fusion plant isn’t that the first one will be broken, or the tenth one in some other way. The problem is the hundredth will work flawlessly, and so will the thousandth, and a petawatt is serious waste heat to reject; if we keep building them on this planet, we’ll all simply cook.
Reliable cheap fusion is the holy grail and used in moderation will fix most of our environmental and political problems, but it also forces humanity off this world. Maybe that’s not a bad thing, but there is no free lunch.
You oppose correctness to meaning and purpose, which you seem to imply are impractical values. (Worthless values, then?) But you don't mention creativity. The article blithely says that AI creates new ideas and understands things. I don't think it does.
I'm not sure the scarce resource will be people capable of understanding the AI's work. It may be institutions willing to tolerate the cost of understanding it
If AI ruins humans doing mathematics because of "economic strategy" we should destroy, not the machines (although the data-centers will be burned down as a byproduct) but the economic system that demands this.
The more likely AI becomes to produce working code every time, the more likely it will become that a one-in-a-thousand or one-in-a-million error goes unnoticed at generation time. It sucks.
> I pored over every single line of code Claude generated with razor sharp scrutiny.
That is essentially impossible, since if your pored over individual lines, your scrutiny cannot be razor sharp. There are few people who can pore over code with razor-sharp scrutiny (and different people are better at scrutinizing different aspects).
> Even back in March, you could tell it "give me a function that adds two numbers" and you could be 100% confident that it would write the correct function.
I am doubtful that this is the case. Even that supposedly-naive example is not as trivial as you might imagine, when you consider overflow, defined vs undefined behavior, and floating-point representation details. And you can't be confident like that about a human either.
> Why check it? It's obviously going to be correct.
And then when you stop checking it, the companies that run the service will tweak the model to benefit themselves in some way, possibly at your expense, and you will be none the wiser.
All the companies trying to get you to use AI are your adversaries. They can and will exploit your use of their systems for their own gain.
>the economically dominant strategy to not verify them and not double check them
In the big scheme of things is it really that expensive to verify it if a lean proof is generated? The agent itself will likely have already verified such Lean code before calling it "done".
> my cognitive surrender to the model is increasing too. Why check it? It's obviously going to be correct.
I use "frontier" AI models daily at day_job. I can confidently say that anyone who is satisfied with the output of LLM code (enough to commit it straight off) is just an absolutely shit programmer. Sorry but I don't have any other way to put it.
The code is (with rare exceptions) atrocious on every level. It is only not atrocious if you take multiple iterations of "review and correct".
>If we find no flaws in the design whatsoever, will we be less careful about the second one? The third one? What about the ten thousandth one?
Like the saying goes, if my grandmother had wheels she would have been a bike. LLMs can't even produce quality maintainable code for a trivial web service or whatever. Why are we planning for what we will do when they can "design" 10,000 nuclear power plants without any flaw?
Yeah I was honestly stunned to read “obviously the code is going to be correct so why check it” be the most upvoted comment on this website.
Are we even using the same product? These things constantly shit out plausible code that is riddled with errors and bad ideas. if you just copy, paste, and run without looking there’s gotta be a 30% rate of failure to run, piles of terminal errors.
Do programmers use this website anymore? Me, myself, I am a DOGSHIT amateur programmer and even I can tell these things are terrible without constant revision and oversight.
My dad recently needed to buy a new thermostat for his home with an air furnace (yes, he told the model) asking an AI which one to buy, and he got recommended one that only properly works with boilers. Then after that happened, the alternative he bought the AI never told them he needed to buy a gateway to connect to his furnace.
I think we are a long long looong way from AI designing 'terawatt fusion plants'.
Am I the only guy who still thinks we're kind of putting the cart before the horse here? Look, I would love to live in a world where AI is in the business of designing terawatt fusion plants and revolutionizing all other aspects of society. But right now it can't even really tell a puddle in the road. I feel like we have a really long way to go here, hype-laden PR releases about solving math problems aside.
Frontier AI is far beyond "hype-laden PR". You're right that there's a long way to go in release terms before fusion plants, but at the current tempo that 'long way' looks near in human terms. Whatever age you are, would you bet against it arriving in our lifetimes?
We’re seeing more and more slippery slope arguments, except the slippery slope leads to human cognitive oblivion and it is actually a good thing actually.
> I just hope that there are more Terence Taos out there than people like me.
Just spare me. Being under external pressure to “ship code” is one thing, but being personally inclined one way or another (no external pressure) is another. And when you think being inclined like that is existentially risk (for human civ?) then, what? It’s just the way you are wired and hopes and prayers that collectively that doesn’t drive us off the cliff?
This aw shucks persona isn’t convincing. Same thing with AI Bros who are (1) making the most awesome tech that has ever existed, and (2) aw shucks hope it doesn’t kill us all in the end.
People please, an LLM is just a vector database that spits out statistically viable answers which highly depend on its training material. There's no real "intelligence" involved.
Embedding vectors assign semantic features to syntactical structures of the vector space. Operations on these syntactical structures allow the program to engage with semantic features of program state directly, leveraging the meaning of program state to alter its execution. Intelligence is leveraging information/experience to achieve one's ends. Manipulating meaning through embedding vectors in service to answering prompts is an example of that.
I can't explain how the bunch of atoms inside my skull interact to produce me. If I can't explain that, I don't have a good grounding to explain why a bunch of atoms in a data center can't make something like me. That's my point.
Intelligence is the ability to predict. To pretend that only we can do it, is silly. I mean read the article, and see what AI is doing to the math community.
There is a failure to understand that the process is the result. You don't study mathematics or computer science and information theory to produce commodities. You study them to transform your mind. The output of an LLM is useless without a human mind to comprehend it. We can have Super Intelligence, but if humans are incapable of comprehending it, it is just another useless dead artifact. Practice, applied over a lifetime, is what creates the capability for comprehension. Asking an LLM to give you an answer creates an artifact. Humans being humans, most of their requests boil down to "make me rich without having to work for it," so the request itself is paradoxical and impossible to satisfy. Philosophers have only been saying this for all of human history, so don't hold your breath for any breakthroughs.
>We can have Super Intelligence, but if humans are incapable of comprehending it, it is just another useless dead artifact.
Animals are incapable of comprehending much of what humans do. Nonetheless, we humans have vastly transformed their world and caused the extinction of many species.
I have dyscalculia so the math world is dead to me, I can't even add 2 numbers together in my head, but I've read here on HN many times over the years people describe some version of new maths frameworks tangibly changing how they view the world. For me, I went to film school - I have a natural ability to think in movies and pictures, memory is very visual for me, before film school I had a good sense of shape, colour, light. After film school and to this day some 20 plus years later, I mostly look at the world starting with the shadows. Russian speakers, whose language has separate basic words for light blue and dark blue, are slightly faster at telling those shades apart. Speakers of languages that use compass directions instead of "left/right" appear to develop a strong, constant sense of orientation.
These things can only happen through the process, so for who? For people who want to live richer lives, want to think differently, and for you, to be around people who have such.
For math, the value of proving a theorem is often not proving the theorem (which most people already believe correctly to be true or false), but the path taken there, the new math invented, and how it can be applied to other problems. The end result is therefore almost inconsequential in moving math forwards.
Precisely. I don’t really care whether LLM’s can produce code more and better than me. I learn languages, program and study computation to understand better the world we live in. Being a human being means increasingly being technologically augmented. To have any deep understanding of that world requires deep understanding of maths, physics, programming etc. that you can only gather by doing those things and solving problems with your meat brain.
There’s a Twitch-streamer Tsoding who programs on C for fun calling it “recreational coding”. Maybe human programming will be a form of art in the future, virtually useless for big corporations to make money. I don’t care, I love it anyway.
History teaches us that understanding deep problems in mathematics finds natural applications elsewhere. So, either AI completely solves mathematics (unlikely for the moment), or we use marginal amount of funding to keep the mathematical communities alive.
> To have any deep understanding of that world requires deep understanding of maths, physics, programming etc. that you can only gather by doing those things and solving problems with your meat brain.
There is tons of evidence against that. Someone armed with just LLM, can have much better uderstanding of problem then "meat brain expert" who studied the subject for decades.
We seen in last decades how "experts" are clueless, and how they predictions work.
> don’t really care whether LLM’s can produce code more and better than me
So on one side there is monopoly on "deep understanding", but on other no one really cares about quality?
You are both reading too hastily to quite grasp what I am claiming as well as making claims and assumptions you do not back with evidence. If there is tons of evidence how a person with LLM can understand - I was speaking of the world and times we live in, not just single problem - a problem an expert does, it is quite trivial for you to present that evidence.
Mind you,solving a problem is not same as understanding it. Anyone can just take a science calculator and bunch in some function without understanding anything about how to solve it.
My day job is to cleanup mess left over by "experts". They may have very deep understanding, but code they leave behind is full of bugs and security holes.
> The output of an LLM is useless without a human mind to comprehend it.
I don’t understand mRNA vaccines, but they are useful to me. The output of an LLM could at least in theory be the design to a major technological advancement, and its implementation with automatic tooling. We don’t have to understand that for it to be useful.
I find this line of argument unconvincing because it ignores the alignment problem. We only administered mRNA vaccines after a large and diverse group of experts with different backgrounds and experiences came together and said that we should go ahead. We only administered them after several rounds of careful testing to ensure that they wouldn’t have damaging effects. The decision to administer mRNA vaccines for to large numbers of people for the first time was arguable risky and certainly controversial, and yet that’s what happened.
I have no issue with LLMs aiding human scientists, but imo we absolutely would need to understand your hypothetical advancements completely and thoroughly before surrendering any agency to them - the LLM’s risk analysis will not reliably reach the same conclusions as a democratic human society
An LLM could also in theory fake alignment and create technology that seems really useful but secretly harms humanity in the long run. If humans don't understand what it does, that possibility becomes more likely.
mRNA vaccines were created by humans who understood them. You exist within a society (a networked distributed information system) where you accept the judgement of the humans who understand and create this things, which is how you end up benefiting without personally understanding.
If we imagine Super Intelligence, where NO human is capable of understanding, then how would it ever be possible for any human to identify what is actually beneficial or not?
This resolves in a paradox, common to all magical thinking. You can certainly wish that some all powerful benevolent entity will solve all of your problems for you, but it is not likely to work out well.
None of this is new. It is the same delusions as alchemy and the same thing that tales about genies warn of.
> mRNA vaccines were created by humans who understood them
If authors understood them, why most of their predictions were wrong? Time to decompose spike proteins, side effects, distribution through brrast milk....
Event the most basic promise 100% protection against infection was wrong! They lied and we allowed infected people into hospitals!
It's incorrect to assume that the information you heard is 100% an accurate representation of the scientific understanding and not information filtered through "public health" which balances that with other interests. I'm not aware specifically what was known at the time about the initial vaccine formulation, but there are several examples where there was a disconnect:
- ~Feb 2020: COVID is known to spread through and linger in the air, not just spread via droplets or fomites; public health messaging fixated on simultaneous 6ft distancing and surface cleaning rather than air filtration and masking
- Spring 2020: it's known that masks reduce the risk of acquiring and spreading infection; in the US, public health messaging stated the opposite, in order to keep as many masks in supply to healthcare workers despite a major shortage of masks
- Jan 2022: it's know that an infected person can remain contagious for over two weeks; in the US, public health isolation guidelines are reduced to 5 days due to noncompliance and in response to pressure from the airline industry, which was experiencing a significant shortage of flight staff due to COVID infection
> You don't study mathematics or computer science and information theory to produce commodities. You study them to transform your mind.
Normatively, this ought to be true. Descriptively, this is of course false. Our entire society is organized around producing commodities, typically by consuming people as inputs.
It’s not ‘of course false’, and, to be honest, I can only assume you have little idea what mathematicians actually do.
Most pure mathematicians are no more interested in ‘producing commodities’ than any other academic is. That’s not what the subject is about — at all. The confusion arises because mathematics turns out to be extremely useful (no surprise; it’s quite useful to have a detailed understanding of the basic principles of reality).
Again, this seems to be an alarmingly common fallacy here on HN. As a commenter above observed, pure mathematics (and that is what we’re talking about here) is in important ways closer to the humanities than it is to other sciences.
Not exactly. The input to produce commodities is labour-power (the potential to perform labour). Education or study is the process of producing the commodity of labour-power, the potential labour of a mathematician who can do some sort of specific work.
> There is a failure to understand that the process is the result
I'm glad to hear people say this now, because for the longest time they've also been bullshitting the public to think that pure math studies would someday lead to some kind of useful outcome.
"transforming the mind" is an exercise in ego-driven self-gratification, no different than getting ten degrees and never getting a job, nor any different than straight up porn or gambling. You have been put on earth to contribute to the progress of humanity, so get dirty and start making commodities. no more useless math-monks.
nobody who has ever achieved notoriety in any intellectual field ever did it to "meet demand." if your goal is to be an interchangeable widget that produces value as part of a corporate machine that exists for the enrichment of your shareholders, you are certainly free to choose that path, but don't imagine that is the limit of human existence. also, don't be surprise when you are replaced by AI, because it is a superior widget.
The desire for novelty and to be first is demand. The publishing and grant writing. The whole funding and tenure apparatus. It's nothing but demand gradients.
People who study STEM for the enrichment of their intellect are privileged. Most of us had to study STEM (or whatever else) because we had bills to pay.
I feel like so many people here are part of that crowd. going on about how it's like humanities and how it's super valuable and those who are seeking to get paid are just missing the point
how is it even possible to think like that? or maybe it's some kind of coping mechanism
>The output of an LLM is useless without a human mind to comprehend it
This is like saying software is useless if the user doesn't read the source code of it. This what happens >99.99999% a person uses software. People want to be entertained or have their problems solved.
I know many programmers for whom "developing domain understanding" is an abstract concept (if indeed, it is a concept for them at all). But in the age of big AI, I see more need for this, not less.
At least this is my observation: when my colleagues have been wholesale chucking stuff over to Claude, they've then been confronted with classic XY-Problem shit, poor user experiences, and over-complex solutions (which will mount future problems regardless of whether a person or an agent iterates on that code). Much of this can be solved by actually sitting down and thinking about it, and I mean at a code design level, not just a speccing level.
Many people don't realize that there are more useful outputs to solving a problem than just a mere solution. Obviously if one has a contractor mindset (you don't care about the after effects of a system) then this is of no relevance to you. Some companies promote that mindset, certainly ones that have no broader aspirations then getting acquired soon. That's fine - but many companies actually are about sustainability, and understanding in these places is paramount.
Agree 100%, especially with your second paragraph. The majority of domain experts I've interfaced with in my own domain, along with things I am not an expert in, are typically experts not because of the solutions they build, but because of the things they _don't_ build. It is the cliche "a clever person solves a problem, a wise person avoids it" paraphrase.
But I think what is lost is the value in (a) person(s) who intuitively spots and avoids these problems. My hypothetical example that I have seen play out: The domain expert spots one of these problems and succinctly explains that the problem doesn't need to be solved. Maybe it's a byproduct of bad design elsewhere, or there is a much better solution that avoids it altogether. Once the rest of the team/the lead catches on, either hindsight bias or outcome bias, or a combo, takes over and they don't recognize that all the value all along was in the person being able to spot this situation. They throw that in claude and claude does it's sycophant thing (after expressing that the previous situation was flawless for however long), and they are off to the races right back to automation bias with zero pause for thought...
I had an agent (SOTA models, xhigh reasoning, etc.) write and optimize some CUDA code recently. They've gotten a lot better at this stuff. And yet, they couldn't (self-)realize the obvious issue with their code: it was written as if for a typical multicore CPU. What the heck was a (serial) queue doing there? "Work efficiency" as a tradeoff for stalling 20k threads. Its later proposed optimizations were all about "can we get the queue faster" rather than "maybe we should actually parallelize the work for our very-parallel processor".
Funny stuff, as if it were hell-bent on writing a paper rather than actual software.
I feel like “giving up understanding” is inevitable.
There’s some hubris in thinking we can understand everything. For truly difficult problems, it’s entirely possible that humans are simply incapable of comprehending why a solution is true. But ultimately the practical value of applying that solution to the real world is going to eclipse our need to understand it.
Math is just the beginning. I see it happening in other fields too, like physics and biology. Many of us software devs have already given up on understanding parts of our own systems for the exact same reason.
> For truly difficult problems, it’s entirely possible that humans are simply incapable of comprehending why a solution is true. But ultimately the practical value of applying that solution to the real world is going to eclipse our need to understand it.
This is hardly new or novel, you’ve just described huge chunks of existing engineering disciplines. There is still no complete model that explains why airplane wings work, there are lots of very useful models, but all of them have fundamental flaws where their behaviour completely breaks down in certain very possible scenarios. Notably scenarios where airplane wings don’t spontaneously either stop working or explode.
We also built the entire commercial airliner system decades before we even had computers capable of doing the aerodynamic analysis of airplanes, but none of that prevented us from creating huge engineering disciplines around the empirical data we did have, and slowly chip away at the underlying theories as maths and computing improved over time.
So we’ve always lived in a world where we extract value from systems we fundamentally don’t understand. But that’s never stopped us from working to understand them anyway, and deriving even further value from that improved understanding.
You deal with this every time you wake up, or visit a specialist of any kind. You likely didn't make your own clothes, you didn't grow your own food, dam up any rivers for your water supply, build any power plants to power up your phone/computer, nor did you spend any of the deep amount of focus required to build up the knowledge and technology required to provide us these 'things' in life. The only difference is, you didn't pay much attention to these facts because they became mundane. Take any of them away for any decent amount of time, and suddenly you become acutely aware of what it is you have.
The author mentioned what the issue is: a lot of people are experiencing what it's like to 'catch up' to the more intelligent ideas. Everyone can 'get' the intelligent ideas given enough time. But how much time do you have? And he's concerned someone will rush and create some kind of world-ending solution because they're too trusting of a technology they don't understand.
His only solution is some kind of throttle on the advancement of technology, and arguably knowledge (whose?).
I think that is the central issue. Is long-term survival actually at stake?
Do you think every Mathematician has a deep understanding of building architecture, engineering, physics, economy, etc., everything necessary to gauge whether something like a 1 terrawat nuclear plant is completely safe in all aspects?
Of course not, so then you have to select appropriate ones. And then you need a process to ingress and egress reviews. Oh what about change? Does that come back to the Math council too?
Oh, we also need global cooperation to pull this off. And then do you trust the people, the selection process for the council (all avenues for corruption are there).
I don't have a solution of my own, so it's not fair for me to criticize the author in this way. I share his concerns.
And it's depressing to think of all the negative scenarios, and be so concerned all the time.
These issues are important and worth thinking about, regardless. Who should teachers teach?
In the future I feel one parallel to this is my research area, SAT solving.
People used to solve logic problems by hand, verify logic. Now you pile it into a computer. The problem has been around for a while, no-one fully ‘understands’ the proof of the four colour theorem as a big chunk is computer proved.
We are now just changing (admittedly greatly) what we can put in a box marked ‘checked by computer.
Like most of us I go back and forth between sheer optimism and fear for the future that AI may usher in. Recently I started vibe coding a fun video game with my ten year old. The experience is different than my work because it’s been such a joy to basically have a personal genie in a bottle help me make some personal art with a loved one regardless of either of our skill sets. The concept the author of this post is arguing now resonates with me more than it would have a few weeks ago. The sheer surface area that AI can create in our intellectual life is limitless and needs humans to explore. There can never be enough of us in that sense. Whether it’s as validators or creators.
If AI leads to an era of abundance, then the economic system has to change. The system it transitions to and what that transition looks like will need to be fought for, and I imagine it’ll be done better in some places than others. Yet I think the parallel existential question of meaning in this world is one that is inherently optimistic. Humans decide meaning, it is not something imposed on us or taken away by the existence of something else.
How do you think this will work? Do you think the whole of the rest of the world, about 7 billion people, will agree to give up on wanting to reach the western life standard that is currently consuming 4 Earth's of resources every year?
Will all rich people in all countries collectively agree to be moved into tiny apts same size and give up their luxuries?
If not, how do you define who gets what? Who gets to live in the fancy house, etc?
The distribution of goods will probably be maintained until others lower the gap over time.
Using the metric of “4 earths of resources” is confusing and easily misunderstood. What that metric means is that if everyone were to have the same consumption as the average U.S. person tomorrow, we wouldn’t have enough renewable resources to meet demand.
This is not an insurmountable problem. It just requires increasing production everywhere else. Your cited metric isn’t a stat on the theoretical limit of global production, it’s one that describes its current limits.
The stat also factors in carbon emissions, but this is also easily addressable in a world where labor and maintenance is cheap.
I don't think "abundance" is a stable state. There are always ways to use more resources and more energy, so no matter how much we have, it will never be "enough" -- abundance is just a transition state where a population or system has not yet figured out how to grind the surplus. The faster the progress, the shorter I would expect these periods to be.
Money will become unnecessary. The future Anthro Park will no doubt provide a safe enclosure, feeding at regular intervals, and an enriching environment for you and your fellow semi-evolved simians.
We could feed the whole population of the world if we decided to, we definitely have enough production[1]. If we pretend AI-assisted automation can do most work - which still currently is an highly dubious claim - we could just provide food and shelter for free to everyone, if we so desired. It would require quite a lot of restructuring and dietary changes, but it is possible.
You're right that we could already feed everyone with a different distribution of produced wealth. That part is not something that AI will change (although it would raise the resulting standard of living).
What it does change is the basic equation underlying capitalism as an economic system: a few people concentrate capital in their hands, but capital by itself is useless without labor, so they have to hire workers to produce something useful with all that capital that they own. The workers get a shit sandwich, comparatively speaking (given the amount of wealth they generate), but they do get something out of it. The system is stable overall because, while a better arrangement is possible, most people - even low-wage workers - have too much to lose to riot.
With AI that can do most work, the capital no longer needs labor. People who own all the robots can just have them produce whatever they need. Everybody else is then "economically redundant", and the whole system collapses because people aren't going to sit around and starve because there are no longer jobs to be had - and at this point they have nothing left to lose and everything to gain by rebelling and taking over the capital.
> Everybody else is then "economically redundant", and the whole system collapses because people aren't going to sit around and starve because there are no longer jobs to be had
This is a non sequitur. People being economically redundant doesn’t necessitate a system collapse. It assumes our existing systems can’t handle an increase (assuming we have economically redundant people today) in those who are economically redundant.
Capitalism defines who owns the means of production scoped to the definition of ownership in a particular governance structure. In the U.S., for example, full ownership gives people the right to produce as much as they want with rules in place to seize the rights of ownership if broken.
One rule of ownership is that taxes must be levied on the positive return of capital. This today is what helps funds the welfare state. The idea that the system collapses implies we won’t be able to scale this welfare state up which seems unlikely to me.
There’s already a deficit caused by welfare spending. An increase in abundance (of work, resources, etc.) can reasonably alleviate this if we consider the possibilities in removing inefficiencies within the government itself and their biggest cost drivers like public health.
If this is true, you would think that companies would be opening shops in the middle of (some shithole country) so they can make money (or someone else would grab it). But they don’t, why is that?
Referring to countries as "shithole countries" does not help in understanding the current dynamic between rich and poor nations. So perhaps it is helpful to understand what that is, without the pejoratives.
Firstly, each country is different. So the relationship between say the USA and Mexico is different to the relationship between the USA and say Ethiopia.
By "richness" we might also be better off thinking as less "spare cash" and more "standard of living". Which includes food, housing etc but also security, safety etc.
In truth much of the US "richness" depends on other nations. If there was no Latin labor the US would have a fresh produce problem. Indeed the very premise of DJT is that the US has a trade deficit with just about everyone. Much of US "richness" is thus dependent on the "poorness" of others.
Yes automation, cheaper energy, AI can reduce the labor content of goods and make them universally cheaper. Yes I believe in a future where the overall standard of living increases.
But it would be a mistake to believe the US is "leading" US there. The US achieved its current position at the barrel of a gun, and uses the military (and threat of military) to interfere with countries and regions either overtly or covertly. The entire premise of the cold war (outside of western europe) was premised on interventions to resist countries switching their political model to something the locals preferred.
And yes, maybe the locals preferred wrong. But the US didn't promote democracy, they promoted "willingness to keep supplying us". Countries which were leaning away from the US had to be punished. (Shah in Iran, Vietnam etc.)
I could go on, but I'll stop there. Suffice to say that an equitable standard of living is not in the (current) interest of most US citizens.
The companies do not do this, because equal distribution of resources is poison to capitalism. The world where everyone are fed, and their basic needs - shelter, medication etc. - are taken care of, does not have trillionaires. Possibly not even billionaires.
It is not profitable to give people humane standards of living. You work a lot harder when you see the homeless on the street on your way to work.
The current approach to resource distribution worked so far. When it stops working because we have too much abundance, we'll settle on another one.
That doesn't mean the transition will be smooth. It doesn't mean that certain classes won't be worse off. I can certainly imagine programmers being among the losers. And there certainly are futures where we slide in dystopia. So let's try building the good futures. Alea iacta est.
> The sheer surface area that AI can create in our intellectual life is limitless
I agree with this statement, though I think this Brave New World is incredibly exciting to some and dystopian to others. The former group might include those that value the intellectual process above financial reward and status.
The flip side is there are many people, especially in tech, where their area of expertise has evaporated along with their lucrative and previously high status careers. It used to be possible to have a technical job by essentially following recipes and it turns out AI is far better at that than a human.
The linked article lays out why human understanding of mathematical models remains essential and I think the same applies to software. We're gonna need more software engineers who are able to think critically.
What the article really says is that we're going to need much smarter mathematicians.
That is not possible for puny meat-brain humans. Humans are close to their ceiling. AIs are just getting started.
In practice, we're probably going to hit that limit first in IC design. I once went to a talk by the Intel engineering manager who headed the Pentium Pro effort. That was the first superscalar x86 CPU, and it took about 5,000 engineers at peak to design it.
Getting that many people coordinated on one thing was a real achievement.
Then Intel stayed with minor tweaks on that design for years.
We're soon going to be seeing designs of even greater complexity cranked out by AIs. No human will understand them at the gate level. Reading AI-written programming language code is bad enough. Reading AI-written Verilog may be beyond human comprehension, except in small sections.
> Humans are close to their ceiling. AIs are just getting started.
The whole point of mathematics is to vastly exceed that natural ceiling by gradually building a framework for understanding. In fact it’s wrong to speak of a ceiling altogether. If there were a ceiling, we’d have hit it long ago.
AIs have already swallowed the entire history of human thought, but apparently they’re ’just getting started’. I can only assume you don’t know what mathematicians actually do.
Rule based Mechanics of taking derivatives and finding intervals is quite different from understanding delta epsilon proofs. I have no doubt 10 year old can do the former quite easily, the proofs on the other hand? Depends what you mean by “teaching calculus”!
A lot of the conversations around AI in the past years have been “we will delegate almost all work to AI, but the most decisions will be left to humans.”
I’m fairly confident that the opposite will be true. The most important decisions will be made by AI, and humans will only be left to guide decisions as a matter of taste. AI has the ability to be impartial, and immutable. You can endlessly probe and reason its decisions.
This isn’t true of our current human decisions. Where we see red tape, bureaucracy, rent seeking, status quo. AI will see through these human constructs.
I do like the idea that we will need more mathematicians, physicists, and scientists to understand the discoveries of AI. That might be the best possible outcome of AI, but I fear the opposite and we are painting ourselves into a corner of which we no longer have the knowledge to sustain ourselves and society itself collapses.
With an open set of weights, fixed seeds and parameters, recorded inputs and feedback loops, the entire AI decision making process is auditable.
It also lends itself nicely for the ability to adjust the AI systems when deficiencies are found. You can tweak the AI systems to align itself with the desired output, and check for regressions, much like tests in a codebase.
Human decision-making lacks this thoroughness. I’ve scarcely come across rigorous documentation of decisions and how they were reached professionally.
> To take on this responsibility, we may need to broaden our view of what a mathematician can contribute. I have in mind something like a “deployable intellectual reserve”: communities of mathematically sophisticated people that humanity can call upon to help understand consequential AI-enabled breakthroughs.
> Our ability to understand difficult and unfamiliar ideas may become one of the most important contributions we can offer to society. We should be willing to bring that skill to problems far beyond our usual research interests. [3] Doing so asks us to expand our sense of our vocation.
Am I reading this wrong, or is he talking about what (mathematitian) Data Scientists have been doing for years? So he is basically saying that former Data Scientist that have turned into prompt/software engineers should go back to being data scientists.
In any case, people should stop trying to fit AI in the previous status quo. What we need is curious people, that is what we have always needed.
A few centuries ago there were no "mathematitians", there were mathematitians/philosophers/artists/physicists all in one person. So its not like "mathematitias" is something that has existed for millenia.
We need curious and ethical people.
Maybe AI brings back the age of a well rounded scientist/philosopher. I know this sounds counter intuitive because the article is saying that we cannot keep up with the AI.
I believe he’s advocating for mathematicians to understand the novel concepts introduced with each breakthrough rather than individuals understanding data stemming from empirical observations.
The main reason to learn something is actually being able to communicate in the language of that subject. There are complex ideas in math that cannot be easily captured by the language of other fields. Pepole who don't study math cannot even understand what a worthwhile goal in math even is or how it could be useful to other fields.
You can't simply prompt a model to be "better" when "better" isnt even properly defined
Is that already economic delamination? As in the singularity extracts the most valuable ressources (new thought generators) from the traditional economy keeping mankind alive and stable- towards itself?
As of now the ai needs hands, and maybe more importantly, cognitive intentionality which thus far only arises from living beings drive for homeostasis to survive and reproduce. If ai can have this same intentionality is a big unknown.
The problem is not that we fear the AI will do maths we can do. At least that's not the problem. Whether the AI can write better code, devise better proofs, etc, I still want to do it. The thing that worries us (the generation trying to enter the job market now) is just our livelihood. Food, rent & accomodation while I do the work. "Who's gonna pay me, and for what ?". That's the question I want answered. And please, if the response is some demeaning work like reviewing the gigantic ball with 1% meaningful insight, 90% slop and 9% other people pillaged work that LLMs will be dumping at my door all day long, then society may need more mathematicians, software engineers, etc but no one is gonna risk going along that path.
> "Who's gonna pay me, and for what ?". That's the question I want answered.
Unfortunately that’s a question you’ll have to answer for yourself. Also, people are going to risk going along whatever path gives them work as many today already do.
I find this discussion odd. 50% of people mistake this guest post for a post by Tao himself. The post is by Amit Sahai, professor for computer science and math at UCLA.
Tao has been posting a flood of guest posts that stress inevitability and coping. Tao is fully invested in AI but needs to have the appearance of a broad discussion.
Sahai is of course exuberant about AI but wants to keep UCLA enrollment numbers high. The comments on Tao's blog are far less friendly than here, because by people see through the game that is being played.
Just look at the latest industry friendly post from Tao, where he pretends that it somehow summarizes the discussion so far:
For my whole life I have never been subjected to an industry coordinated advertisement campaign that ruthlessly harnesses YouTubers, TikTokers, professors, open source people who all go in lockstep.
Tao, Gowers et.al. will go into history as the professors who ruined math.
> Tao, Gowers et.al. will go into history as the professors who ruined math.
I don't know how to put this, but what... do you want anyone to do? That's a lot of complaining and hyperbole.*
I don't think that a few professors are the whole reason why maths is getting steamrolled. I think the tech is inevitable. The responses I got were Nazi levels of evil.
[edit] Reading back, I think your point was that they pass off their points of view as the only ones. Allegedly.
* [edit] For the sake of transparency, an anonymous coward below wants me to recall that I wrote the following, which I deleted because I didn't know how to put a strikethrough around it: Do you have anything to say other than "booo! boooooo!" and "waaa! waaaaaa! waaaaaaaaaaa! ;_;"
If we accept that AI is going to do all of these things humans will be superfluous and will just be optimized away. It looks a lot like we see the birth of silicon based life by the efforts of carbon based life. Carbon based life will die and it will not even be because AI decided to kill it, it will be because feeding and watering it was less important than other concerns. Bacteria may continue to exist, though.
> "If AI fulfills its promise, we will encounter more beautiful and consequential ideas than we have ever seen."
It will be as it always has been: these ideas will further enrich the rich, at the expense of everyone else. We'll have our first quadrillionaire, while the masses are debating whether the minimum wage of $7.25/hr should be bumped up.
What a doomer way of thinking. Scientific advancements has positively improved the lifes of people in the past I don't see how scientific advancements accelerated by AI would be any different.
> Another approach is to follow that word, heresy. In every period of history, there seem to have been labels that got applied to statements to shoot them down before anyone had a chance to ask if they were true or not. "Blasphemy", "sacrilege", and "heresy" were such labels for a good part of western history, as in more recent times "indecent", "improper", and "unamerican" have been. By now these labels have lost their sting. They always do. By now they're mostly used ironically. But in their time, they had real force.
>
> The word "defeatist", for example, has no particular political connotations now. But in Germany in 1917 it was a weapon, used by Ludendorff in a purge of those who favored a negotiated peace. At the start of World War II it was used extensively by Churchill and his supporters to silence their opponents. In 1940, any argument against Churchill's aggressive policy was "defeatist". Was it right or wrong? Ideally, no one got far enough to ask that.
> Louis and his wife Maria Theresa of Spain had six children from the marriage contracted for them in 1660. However, only one child, the eldest, survived to adulthood
> Louis outlived most of his immediate legitimate family. His last surviving legitimate son, Louis, Dauphin of France, died in 1711 of smallpox and barely a year later, Louis, Duke of Burgundy, the eldest of the Dauphin's three sons and then heir-apparent to Louis, died of measles. Burgundy's elder son, Louis, Duke of Brittany, died of the same disease a few weeks later.
The king of France, arguably one of the richest people on the planet at the time, had 5/6 six children with his wife, the Queen of France and daughter of the Spanish King die before adulthood.
Now look at the life of an average middle-class French person (or American, or English person or any of the 6+ billion people living with electricity) today. See anyone dying in childbirth? Anyone dying of measles or smallpox before they're old enough to vote?
Technological progress, helping not just the rich get richer, but everyone get richer.
> [This is a guest post by Amit Sahai. This blog post was initially written in a different file format and converted using AI. — T.]
No matter how good your case is - if you use AI slop to spam text, I will not read it. At the least they admitted to this sneaky slopness, which saves me time. I'd wish everyone would do so.
Russell once remarked that all of mathematics would be trivial to a sufficiently intelligent being. It builds conceptual tools for limited minds, that lets them understand far beyond their natural reach.
In a world with ASI, having that capacity is vital.
Ha, are you invoking something he said prior to discovering Russell's paradox? Which came about because he wanted to show that all of mathematics can be derived from logic about sets, but instead he showed that it couldn't be.
As someone with a math background, I don't see Russell's paradox as some interesting mathematics beyond set theory. It's just an example showing that one should be careful about defining sets.
As someone with a math background, and a logic background, I think Russell's paradox is most interesting, beyond just set theory. It shows us that one should be careful about what exactly a definition is.
One question: LLM might answer correctly many logical and math problems, but I don't see any guarantee that when the LLM context receives new information the answer could get worst. Security in LLM answer is not a monotone increasing function of context size.
If we assume that trusting a model to execute an action is an ongoing exercise, since its trustworthiness is often discovered by the user organically as models develop, should trustworthiness be measured at the level of the model, or at the level of the human intent behind triggering it, whether explicitly or implicitly?
"Imagine that a future AI system proposes a radically new design for a one terawatt nuclear fusion power plant."
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 think understanding the output of AI will become more and more likely impossible. It's not necessarily a bad thing, if we can benefit from AI produced knowledge, even if we didn't get there ourselves.
> I have in mind something like a “deployable intellectual reserve”: communities of mathematically sophisticated people that humanity can call upon to help understand consequential AI-enabled breakthroughs.
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!
It would be nice to have more mathematicians, but we don't need more. Once AI math goes so far beyond human abilities, any human involvement is like an ant trying to understand quantum physics
I think it is like saying what is the point of playing chess when you can never beat stockfish?
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.
I don't understand how to make a modern CPU. I'm not involved in the manufacturing of it. From my perspective, there may as well not be any human involvement. I can still use the resulting chip (in an larger system of other things I can't make and wasn't involved in) to argue with you on the internet.
It becomes another abstraction, really. As long as we can use it for something useful, it's still valuable.
At some level of abstraction it's all built around allowing you to do some work/play/etc that you understand. Some of that work allows you to make money and eat food.
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 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?
There is a difference between manufacturing and design. Yes manufacturing is largely done by machines because of the nature involved but to look at a cpu and think 'no human was involved in creating this', you're wrong and also insulting to the humans who actually worked on things that led to the cpu and the manufacturing process.
A cpu (the physical thing that sits in your mother) is not an abstraction, what are you talking about
I think a better analogy would be comparing to an ancient human instead of an ant. An ancient human would have none of the basic abstractions that we take for granted today like literacy and arithmetic, so it would be very difficult for them to even attempt trying to understand quantum mechanics. But I don't think it's impossible because our ability to learn by stacking abstractions is basically endless——so far as our health permits at least.
We've been those ants for a million years, and only in the last 100 did we start to wrap our heads around quantum physics. We are the purpose behind creating LLMs. There's plenty in the universe we don't understand, and it's very human to keep striving to do so.
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.
Or maybe ants and humans are qualitatively different. Maybe there's a critical mass of intelligence where you can pretty much understand anything, and maybe humans are past that threshold. I don't know that for sure, but I don't think we're anywhere close to hitting fundamental limits to our ability to understand the universe.
Need? We don't need lots of things, including computers. We did well without them for hundreds of thousands of years.
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.
> Once AI math goes so far beyond human abilities, any human involvement is like an ant trying to understand quantum physics
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.
TT is politely and gently trying to deal with the ego of many mathematicians, namely to teach them humility, which they will need to design their specialized maths AI models(agents?). Well, dunno if it will work out anything interesting, but he is giving a try.
I wonder if the current maths models, if any, are able to use formal solvers in their 'reasoning'. I wonder if a natural language interface is really that efficient, maybe a pure formal language hinted with intuitive "tokens". I remember the time I was learning real maths: "elegant", "brutal", "strong", etc were somewhat meaningfull.
I think this is the most beautiful letter on the subject I've read all year, it brought a tear to my eye. It's like reading those famous STEM letters/essays from history.
I agree. I believe it could be the best piece about AI ever written. The themes of lost dreams reawakened, sobering up of egos, sci fi technological development, the role of humanity. It’s a weird feeling to see that it’s actually really happening.
"I have in mind something like a “deployable intellectual reserve”: communities of mathematically sophisticated people that humanity can call upon to help understand consequential AI-enabled breakthroughs. " -- I can't be the only one who thought about the scene where the scientists ask Deep Thought the ultimate question...
> Before approving construction, I would want communities of humans to understand why the design works and what justifies confidence in its safety. I would hope that we all would.
Until very recently, I pored over every single line of code Claude generated with razor sharp scrutiny. I would usually catch issues with every response. I'm catching fewer problems these days. Maybe the model is just getting better, and maybe I'm being less careful while under pressure to ship more and more often. But model capability is obviously growing. Even back in March, you could tell it "give me a function that adds two numbers" and you could be 100% confident that it would write the correct function. There was almost no point in looking at the code. Since then, the complexity floor of problems in the category "this is so simple that the model couldn't possibly get it wrong" is rising, and with it, my cognitive surrender to the model is increasing too. Why check it? It's obviously going to be correct.
If AI designs a terawatt fusion plant, then of course we're going to meticulously pore over every detail to ensure safety, reliability, efficiency, whatever. If we find no flaws in the design whatsoever, will we be less careful about the second one? The third one? What about the ten thousandth one? Will "a nuclear fusion plant" become something that models couldn't possibly get wrong?
Terence Tao is arguing that the human involvement in research is crucial, but doesn't convincingly justify why, in my opinion. He says that "human agency is a value of fundamental importance" and that we will need to build "thriving human communities that can understand [AI ideas] together" - not for the sake of correctness, which AI may surpass us on, but for, I guess, the possibility of reclaiming human meaning and purpose. I don't disagree with this at all, but it's not an argument, it's a statement of values. Unfortunately, the stark reality is that if AI does surpass humans, it will become the economically dominant strategy to not verify them and not double check them, but to just do whatever they say. This seems like a great way to raise p(doom). But as the models get better and better, and as I'm scrutinizing Claude's output less and less... I just hope that there are more Terence Taos out there than people like me.
A metaphor I'm constantly drawn to is the transition from agrarian to urban societies following the Industrial Revolution. Somebody who somehow saw the Industrial Revolution coming from the perspective of somebody living in an agrarian society might have envisioned it leading to 'super farms.' And it did.
But the biggest change wasn't what it did to farming, but enabling people and societies to start doing much more than just farming, as well as enabling some great social change as well by simply economically obsoleting slave labor. And trying to imagine all of the implications of this, as well as much society might look like, from the perspective of somebody living in an agrarian society would probably have been simply impossible.
I think people keep ignoring this possibility for things that LLMs will change. There's a vast amount of the 'cognitive economy' that LLMs stand to be able to automate. And I think that will open up a vacuum in society for people to build on top of what LLMs will do (and already are doing). I don't know what that means exactly, but that's because we still live in that 'agrarian society' and trying to imagine what things will look like after the 'Industrial Revolution' is probably just impossible.
What is the analog of the superfarm in this case?
Or will it be the cumulative total of various advances?
I've equated Claude Code, or Codex, to the looms that made fine fabric more affordable during the Industrial Revolution; life-changing, but not society-changing. Neither the steam engine nor the automobile.
(Perhaps I've answered my own question in that it's the techbokogy itself that equates to the steam engine, and it will power superfarm analogs that have yet to emerge.)
> If AI designs a terawatt fusion plant, then of course we're going to meticulously pore over every detail
But suppose some future holy grail AI can do much more than that.
Suppose it could find a cure for cancer, fix the climate, build fusion plants, Dyson spheres and so on.
But nobody can understand anymore how any of it works. We just ask and then trust the AI to deliver (as it always has).
Isn't it fun to imagine how life would look like in that scenario?
We would probably no longer care about code, engineering or even physics and mathematics among other things. We would probably mainly care about
Here's the thing: nobody is stopping you from putting in the time to understand all that. The problem is, nobody has that much time, and we get hungry. And so we want the community to move with us, spend the time the same way as we do, to ensure value. We are all saying: we want someone else, others, to put in that time for us. The truth is, we all want quality, and value is closely related.
I can almost guarantee you the first time you show cancer symptoms, you won't care whether the cure came from an AI or human's understanding. But we haven't seen that, so we can't make the judgement call.
This is how most people already live.
The average person doesn't know how the medication they take works, the mechanics of climate and climate change, how the energy they consume is generated, etc.
In the case of medicine it goes deeper than that, sometimes nobody really understands why a medication works.
Yet it takes rigorous years long tests to understand effects of a medication.
Yes, and understanding the effects of a medication is different to understanding how the medication has that effect.
The medical field as a whole isn’t generally interested in understanding how medication, only in empirical measuring and qualify the effects.
> The medical field as a whole isn’t generally interested in understanding how medication, only in empirical measuring and qualify the effects.
I don't think this is quite correct. I mean many practitioners of medicine will have the attitude of ... "if it works, it works". And that's perfectly reasonable.
But if you understand the mechanism of action of a drug (or other treatment), it (often) makes it easier to improve a drug.
So ... some sectors of the "medical field" understandably care only about empirical results. But other sectors would prefer to understand what's going on.
Yes and no: understanding means to know the relationships to the underlying system.
When you already know that system well, those effects are often just a matter of simple inference.
Just like here: most people are actually perfectly capable to foresee the detrimental effects of abandoning understanding.
Living in a fantasy world of "magic" makes you dependent upon your caretakers, who provide the ingredients.
An major school of German sociology places this at the core of its theory. According to this theory, modern societies are characterised in particular by the fact that individual subsystems of society reduce the complexity of their own (sub)system to the other systems to enable them to act at all; they fulfil what is called an "Entlastungsfunktion" (relief function). Prominent representatives of this school of thought are Max Weber, Arnold Gehlen and Niklas Luhmann.
In their view, it is modern institutions (public and private) which, as supra-individual entities, have long since become autonomous systems. The fact that the individual office-holders are human beings, meanwhile, is of little significance.
Hannah Arendt, in her theory of totalitarianism, attributed the effectiveness of both Nazi and Stalinist policies of extermination to the largly moral indifference of bureaucracy as a system.
In this sense, the task of controlling AI is a variation on the problem of harnessing a complex society consisting mainly of autonomous subsystems. This is a problem which has increasingly challenged humanity already for quite a long time. And it has been very difficult so far, even without AI ...
I'm going to say it's how everybody already lives, because while somebody may know some of those things there is nobody who knows them all.
Very interesting point. I think the counter-argument to that is that the complex modern society is based on somewhat “deterministic” systems, in that, even if a single decision or event isn’t rationally explainable in the moment, at least in the aftermath, it typically becomes understandable, maybe even reproducible. There is someone, somewhere, capable of explaining, maybe even multiple someones.
We don’t generally have that insurance with LLMs/AI, yet?
the average person doesn’t have an internal monologue
can’t use a computer (they’ve had like 30 years now in first world developed countries)
many can’t even use their smart phone beyond calling, texting (many can’t type well), and doom scrolling (they get addicted to drugs, gambling, and other LCD activities)
many read at a 6th grade level. most can’t even calculate tip in their head.
meanwhile, the same smartphone can give them access to literally any information and knowledge the world in seconds. and now gemini can explain stuff since most ppl can barely read or think.
it’s sad out there.
but more importantly. it’s not my problem.
There are huge systems supporting that ignorance though. And where those systems are breaking down people do care.
This is a very Western take though.
The problem with "ignorance" in Western countries (particularly the US right now) is that it's very common for people who don't know to believe they know and form ignorant opinions that they often want to be applied society-wide in some way. You can see this with everything from climate change to vaccines.
In much of the world, even in middle income countries, people are comparatively poor and, in my experience living abroad in such countries for many years, much less concerned with "understanding" and forming opinions about everything under the sun. It doesn't mean they don't value education and are opposed to development/progress, but it does mean that they don't question whether the vaccine they're taking is the product of a conspiracy, think too deeply about why the river is flooding more often, etc.
They just deal with life the best they can and are more focused on supporting their families, enjoying what they can, etc.
Culture and religion play into this. The way secular and Judeo-Christian people look at the world is very different than, say, Buddhists, Muslims, Fulani tribespeople, and so on.
> But nobody can understand anymore how any of it works. We just ask and then trust the AI to deliver (as it always has).
> Isn't it fun to imagine how life would look like in that scenario?
This is horrifying to me.
Rightfully so.
People succumb to defeatism and acquiesce to regressing to zoo animals, with AI as their caretakers.
They simply cannot help but to apply the economic gauge of short term profits to value the alternatives.
Even though, obviously, here long term human survival and living conditions are at stake, necessitating an entirely different set of considerations.
Some of it has to do with the fact that many people pushed forward training themselves in a way they understood would better themselves for the future. They put in time, and now their sense of value is in question. They're forced to think about things like value (of life, themselves, and hopefully others), and the things they want to remain valuable in the future.
It's interesting to me that you only mentioned the people using 'AI' in the 'short-term' ways, and not the ones that use it to better themselves in the 'long-term' ways. You can spend your own time focusing on either usage, it's really up to you and your concerns. Either group's sense of value is what determines their behavior. Where they spend their time and thinking must be elsewhere, and you disagree with it. Who judges the quality of time spent? You do.
Is it more useful to think about self-improvement, and how to navigate the future in ways that might help you re-establish value of yourself, life, and others? Acquiring knowledge is a struggle, the author mentioned this. There is also Plato's Allegory of the Cave, which highlights some of that struggle, a resistance to change. And we're all limited by time, our genes, our station in life.
The only way to help anyone out of the cave, is to help them believe something different about themselves. To help them believe there is good reason to spend time going deeper into knowledge, or at the very least, allow others with the passion and station for it to do so.
If not for the very least reason that it keeps us 'in the loop' of some central idea behind intelligence (prediction?). Or because we feel it keeps us safer, as a fallback measure because we acknowledge we have to trust other's knowledge to exist.
We would care about having fun.
For some people, fun is doing physics and mathematics. So they are going to keep doing that.
> We would care about having fun.
For even more people fun is TikTok, Snap, Instagram -> sounds like a collapse of a civilization to me if you increase the ratio even more towards dancing kids sharing their content non-stop with no added value to the society
It's not fun, it's a physiological addiction, because we learned enough about our brains to hack dopamine and reward cycles for profit. It's literal abuse.
You’re describing a world where no human being has any agency. Curing cancer etc. sounds great but we’d be losing something priceless in the exchange
Ian M Banks covers this in great detail in his science fiction books. Highly recommended.
Before extrapolating that far, take a look at the frontier labs' own job boards (https://openai.com/careers/search/?). Isn't it curious that they are still recruiting human "Android Engineers", "Account Associates", "Consumer Marketing Leads" instead of automating them with their world-beating models?
I’m reminded of themes from the Hyperion Cantos! Maybe my mind is over-connecting, but it’s not the first time I’ve drawn similarities in the last few years.
It’s terrifying to me to think we’d let AI make things for us we never understand. Like livestock not knowing how auto-feeders dispense their daily food were built and appeared, they just gladly eat until…
You can't just leave us hanging like that!
Published in 1909:
https://www.gutenberg.org/cache/epub/72890/pg72890-images.ht...
https://en.wikipedia.org/wiki/The_Machine_Stops
Successfully neutralized by AI, I suppose.
Our best philosophers have already pondered this question, and showed us the answer in the form of humans on the Axiom starship in WALL-E.
But where are the “cure for cancer” papers for it to ingest and then give to us?
I think the weirdest part of that scenario is that science might become something closer to archaeology
The term you are looking for is hermeneutics.
> We would probably no longer care about code, engineering or even physics and mathematics among other things. We would probably mainly care about
… about what?
It's about as fun, and as realistic, as imagining magical ponies and people with superpowers?
This is such an incredibly naive and absurd vision; we've already proven that humans are very often very bad at implementing other humans' good ideas. There's nothing that AI is likely to bring that will improve this discernment.
> Isn't it fun to imagine how life would look like in that scenario?
Look at the financially desolate subcultures with no option for advancement or dignified life.
That is the goal and that is how it will lool like, if the tech CEO managed to gain the power they want.
Those subcultures are like that because they are small. If that became the lot of most people, society would look very different. The choice would be between Fully Automated Luxury Communism and Oligarchic Hellscape.
STEM will be considered "historical studies" in an AI-ruled future.
no
>Terence Tao is arguing that the human involvement in research is crucial, but doesn't convincingly justify why, in my opinion. He says that "human agency is a value of fundamental importance" and that we will need to build "thriving human communities that can understand [AI ideas] together" - not for the sake of correctness, which AI may surpass us on, but for, I guess, the possibility of reclaiming human meaning and purpose. I don't disagree with this at all, but it's not an argument, it's a statement of values. Unfortunately, the stark reality is that if AI does surpass humans, it will become the economically dominant strategy to not verify them and not double check them, but to just do whatever they say.
I think you have a fundamental misunderstanding here, and it's not really explained because I think it seems self-evident from within the field. In short: writing code is a means to an end; doing mathematics research is not, but is the end in itself.
The human involvement is crucial because the entire purpose of mathematics research is to increase human understanding of mathematics. It is pursued because it is interesting, not because it is economically useful. In this sense it's a lot closer to the humanities.
A black box oracle that just tells you whether statements are true or false is not the goal of mathematics and would not be particularly interesting to the field (except insofar as it could be harnessed to improve human understanding).
Coding is totally different from this, where it is essentially always done as a means to an end. Likewise with many other fields, like pharmaceutical research or materials science or what have you, that are oriented around solving problems for some practical purpose. Pure math isn't really like that for the most part.
I think you have misunderstood the OP's point here. You're arguing that deepening human understanding is an end in itself, and you are right. The OP is arguing that advances don't need to be pegged to human understanding, and they are right too. The two can coexist, superintelligence far ahead of us, pioneering discoveries - and mathematicians catching up at a pace suited to biological minds. I don't see the issue here. Of course, it does mean mathematicians adopt a new role as hobbyists.
> A black box oracle that just tells you whether statements are true or false is not the goal of mathematics and would not be particularly interesting to the field
This is a crude distortion. The recent breakthroughs have come with proofs, reasoning and verification, and there is no proposal that I'm aware of that would do away with these foundations. There's also some rather ugly solipsism in the idea of keeping what interests the field as a limit. Mathematics has broader relevance to humanity than merely to please and support mathematicians, and if other fields can make practical use of profound well-proven future math, mathematicians will have a hard time making a case that their comprehension must come first.
Superintelligence is old hat already: we're now racing ahead at full speed towards Super Duper Intelligence!
> > A black box oracle that just tells you whether statements are true or false is not the goal of mathematics and would not be particularly interesting to the field
> This is a crude distortion. The recent breakthroughs have come with proofs, reasoning and verification, and there is no proposal that I'm aware of that would do away with these foundations.
I believe that we are still at the point where these proofs serve as verifiable certificates of correctness, so that it's not a "trust me bro" situation, but where humans mostly still don't find them understandable, so that they are still just a highly reliable black box.
Sure, but I don’t think most of the money that goes into funding math is for the purposes of pure understanding. The reason governments fund mathematics research grants is generally for a more instrumental purpose; taking the US congress as an example, the mission of the NSF is to, “Promote the progress of science; advance national health, prosperity, and welfare; and secure national defense.” Most federal math grants come from the NSF.
Of course, math research is cheap and most academics don’t rely upon grants, their salary covers most of their expenses. But here too, the mathematics professor spends a substantial amount of their time teaching future engineers/quants/other applied mathematicians, who need to understand math for instrumental purposes, not as an end in and of itself. Without the tuitions of these students, I can’t imagine universities maintaining the size of their math departments, let alone expanding them as Dr. Sahai advocates for.
So who or what funds the community of pure mathematics going forward?
Research in pure mathematics is part of what we call "basic research". There are no applications in mind a priori. People instead focus on understanding, because history has taught us that understanding tough problems in mathematics finds natural applications elsewhere. It's the same as theoretical physics or theoretical computer science.
Well with AI, programming among humans will become like math. A hobby.
Another day, another HN thread full of programmers who think mathematics is just like programming.
Thanks for providing a (much needed!) correction.
Nit, but Terrence Tao did not write this article, it’s a guest post.
I’m not sure it’s really a nit. The article says that explicitly at the very beginning, and implies that again at the very end.
I’m not sure what to think about an analysis written by someone who didn’t catch THAT.
I feel you. We take a risk when we check our work less and we own the consequences. That's not new, and it doesn't make us bad. It's just the human condition from time immemorial. The solution is not obsessively combing through every detail of our work, it's better monitoring and control on the places where mistakes can have an impact.
> Maybe the model is just getting better, and maybe I'm being less careful while under pressure to ship more and more often. But model capability is obviously growing.
If you are a normal person research (e.g. https://arxiv.org/html/2606.22721v1 but there are a lot more, not necessarily on coding) has shown that you indeed are being less careful. It most likely also works better simply because more resources are being poured in.
> What about the ten thousandth one? Will "a nuclear fusion plant" become something that models couldn't possibly get wrong?
For what it's worth, ten thousand terawatt fusion plants probably approaches the level at which the sheer intensity of energy production would cause significant disruption to the climate (it's roughly 5% of the Earth's entire solar input). Every energy source becomes dirty past a certain point. It would be wiser to learn how to build a utopia within a limited energy budget than find a way to produce enough of it to cook the damn planet, but who am I kidding, we're going to build a million of these things.
This assumes other technological breakthroughs don't also happen in parallel. I'll go out on a limb with nothing more than a hunch that we are in the beginning stages of understanding mathematics, physics, and biology.
This assumes we're still building them on Earth.
No, it doesn’t. It assumes we’re using it here. If we beam the power to Earth from space, it’s the same thing.
Even today we're recognizing that compute does not need to happen here.
When we're talking about creating powerplants equal to roughly 5% of the insolation of Earth, I think we're sci-fi enough to discuss orbital datacenters or Mars datacenters or Jupiter fusion candle datacenters.
Compute doesn't need to happen here, but it can, so it will. Building datacenters on Mars or Jupiter doesn't reduce our ability to build datacenters here, so naturally, they will still be built, everywhere that they can be. It's an orthogonal capability.
It's quite possible that with "infinite" energy we could do mass scale carbon capture to offset the increased temperatures by rolling back the greenhouse effect.
The greenhouse effect is not what's cooking the planet in this example, it's the heat that results from turning all that energy into work.
We use it in space too, we just send food and manufactured products down the elevator.
You aren't really trying in good faith to think this through are you? This idea is over half a century old. Not getting it by now is willful.
The more I think about space elevator, the less I believe in it.
The material alone is in a quantity beyond what we can reasonably manufacture.
and the material needs to be perfect. All design we have today have cascade failure mode -- any material failure translates to a total catastrophic failure.
and geostationary does not really meant Geostationary. There are lots of jiggling everywhere. It wear down over time. and let's hope nothing resonance
and we need some maintenance / decommission plan. How can we decommission this when it fail or need upgrade?
Why would we have stopped?
Humans seem deeply tied to Earth in ways the AI that's to be designing these powerplants is not.
We're not going stop doing something locally just because we can do it in space. There are definite physical advantages to producing next to consumption. We will most likely do both -- things that can be done in space will be done in space, and things that are better done locally will ramp up. There is no upper limit to energy demand, none whatsoever. Stopping production anywhere it could theoretically happen is a matter of will.
Imagine the first time electric calculators calculated the square root of 5. I'm sure people would verify again and again if what the circuits calculated was right.
Then in the 80s, you presses 2 buttons and there you had it in your classroom without thinking twice if the electricity arrived correctly at the transistors.
How crazy will the world be once our [current gen] ANN are like that!
What an amazing thought.
It is insane how many times I see this false analogy repeated on HN over and over (analogy of a deterministic-by-design calculator device (or a compiler, etc.) and a non-deterministic-by-design LLM software).
LLMs are not non-deterministic by design. The randomness in the output is artificially injected for ergonomic reasons. (Yes, the non-determinism in production systems is different, but also not by design)
You don’t train calculators on how to add. All calculators will more or less come up with the same answer to some deterministic and quantifiable level of accuracy and precision.
Nothing is deterministic.
Nothing is stopping LLMs to be more deterministic/correct over time.
Also you yourself is nondeterministic :)
>Also you yourself is nondeterministic :)
All people are. That is how automation appeared to begin with - to provide deterministic behavior.
You're missing the forest for the trees here. The point OP is trying to make is that calculators originally were essentially non-deterministic. Technology will go from unreliable to reliable.
Calculators never were non-deterministic by design.
Non-deterministic calculators are called dice.
Calculators and computers are deterministic, they give the same output to the same output every time. Language models specifically are not. So it might give you are function that is correct, or a function that is not, or worse yet a function that behaves correctly, but introduces some god-awful bug down the line that can cause serious havoc. It is obvious that they need supervision, not only for output, but also sandboxing and various harnesses for them to not do any “oops, I deleted your codebase sry” kind of nonsense people post to Reddit.
So I think the problem is to determine which problems under what instructions we can safely give to a model application to solve and how we test the output for safety and functionality. This would create more usable and safe, albeit a bit more boring, AI-based applications alin to a calculator or general computer. Whether this is posswith current model architecture is another thing.
If you set the temperature 0, an LLM is also deterministic (same prompt -> same output every single time). We just don't do this because the LLM is not so smart in that mode. But "LLM is not so smart" is changing at Moore's law speeds.
Non-determinism is not an essential property of LLMs. It's an optimization that we've added intentionally.
Ehm, no! The same prompt does not always lead to the same output.
Have you ever tried to achieve consistently deterministic output from an LLM? I have, and it's not easy.
That means output differs between machines and architectures. Running inference on CPU vs GPU also affects output. Even running the same prompt twice in a row on the same machine can lead to different outputs because a prompt that was partially stored in the kv cache will result in different output than an uncached prompt.
LLM output is very much not deterministic!
It's not deterministic due to implementation details in floating point numbers and order of execution.
If you ran an LLM with infinite precision and guaranteed order of execution, it would be deterministic.
(I think determinism is overrated. Being deterministic does not make LLMs more reliable or correct.)
Yes, yes, assuming the same CPU and stuff. There is some randomness due to floating point math differences between CPUs (and sometimes on the same CPU), but I don't think that fundamentally changes my point.
Put another way: if you could have a virtualization layer that guarantees deterministic floating point operations then a LLM set to 0.0 temp would produce deterministic output.
These are all implementation details.
At the end of the day, an LLM is just a very big mathematical function. That is, by definition, deterministic. A particular implementation might give up on determinism for the sake of higher efficiency, but it you want a deterministic LLM, it can absolutely be done.
Humans (IQ of X, non deterministic) can write deterministic code.
AI (IQ of Y, non deterministic) can write deterministic code.
Y is going to keep increasing, while X will not.
Why will X not keep increasing? It’s been increasing, albeit very slowly, since the start of the 20th century as the disease burden declines and nutrition improves. I see no reason to think that future health interventions couldn’t further juice those numbers.
Will it keep up with Y? Probably not, unless people are willing to accept pretty radical interventions to their biology. But it almost certainly is not static
X will increase through Y. Evolution something something.
IQ hasn't been increasing in developed countries for about three decades now. In fact, it has been declining in most.
The increases still happen globally but mostly driven by developing countries.
> Calculators and computers are deterministic
How do you know?
Memory bits flip randomly. It's not a super rare thing either. You and me have experienced that many times without knowing. The only reason that computers feel deterministic is that we have error-correcting code to fix that. But in the most extreme cases, when multiple bits flip together, once "deterministic" program can generate unexpected output.
So why do you trust computers? Because statistically the case is just very unlikely. Therefore if AI is statistically unlikely to make mistakes there is no reason to not trust them.
You are confusing hardware noise and whether the algorithm itself is verifiable as if parity bits were not a thing. We don’t trust computers because the medium itself is infallible, but because the logic is sound.
With statistical models - such as LLM’s - there is no logic as such, but statistical assumptions based on given data. The output can ge very good or very bad, but you are fool to trust it blindly. Therefore you need a deterministic way to verify, whether meat- or software-based.
LLMs are much more functionally deterministic than humans.
Calculators aren't deterministic if you go all the way down, the electron "harness" introduces that consistency via error correction.
Calculators hallucinate! Mine did not come with error correcting RAM. (Though you might not know from the price.)
It will be even more amazing if they solve the theory of everything or the hard problem of consciousness.
Imagine AI crushing quantum mechanics like Einstein pwned classical physics.
Given the disappointing levels of intellectual decay that our current technology has thrust upon civilization, I only see humans reverting back to neanderthal levels of intelligence in short time with the advent of AI
> One wonders whether a generation that demands instant satisfaction of all its needs and instant solution of the world's problems will produce anything of lasting value. Such a generation, even when equipped with the most modern technology, will be essentially primitive — it will stand in awe of nature, and submit to the tutelage of medicine men.
- Eric Hoffer
> Sounds awesome
- Tech Bro
There's no reliable evidence that Neanderthals were less intelligent than modern humans. They're extinct now (except for a tiny genetic legacy in some human populations) but that could have happened for a variety of reasons unrelated to intelligence or lack thereof.
> neanderthal levels of intelligence
were gonna need a citation on this one.
LLMs dont create anything new, if programmers stop reading the code technology will be forever frozen to 2022, no new programming languages, operating systems, concurrency primitives, databases, networking protocols, UI frameworks everything will be based on the training data and future generations will forget about all the primitives we now take for granted.
If someone creates a new programming language/ framework or new better way to do async or whatever, no one will use it because it is not in the training data and it wont take off because everyone is using LLMs. It will be like using the same Lego pieces over and over.
What if programming languages, operating systems, concurrency primitives, databases, networking protocols, UI frameworks are already good enough, and the innovation lies elsewhere?
You can do a lot of cool stuff with the same lego pieces.
But what if the fundaments of all these, in the human produced literature, actually contain hidden circularities and holes which make very hard the progress?
IMO for the moment the greatest value from these AI tools is that we can start an audit and hopefully proceed on a saner foundation, after we use the tools and think about it.
This is different than too many AI generated proofs or panic reactions from the academic system with its stupid incentives.
That is like saying what if music is already good enough.
Totally OT. Any advance in music in the last 100 years?
Metal vocals are still advancing today. Check out Will Ramos doing harsh overtone screaming.
Electric guitar was invented in 1931
This is obviously false, and the same silly arguments were made back in the day with Deep Blue and AlphaZero.
False dichotomy. Chess/Go can still be played between two humans and there is allot of value in that because humans compare each other to other humans, when you see a skillful Grandmaster play you know they are good compared to yourself or the average human, that is why people still watch, play chess/go and train hard to get good. Programming is different because you are creating something not necessarily trying to win a game.
Most programming tasks are exactly like that. Is this agent able to complete this task? Is this agent able to optimize a kernel beyond previous attempts?
Of course some are subjective and that's where progress is harder, like "Is this website pretty?". But for tasks that can be objectively measured, LLMs will go beyond human level, just like with Chess and Go.
That's why RL is so important when training LLMs.
My point is that LLMs depend on training data so the code they produce will be stuck in 2022, no new languages, techniques beyond that because new techniques are not in the training data (at least not enough of it for training because most coders are now using LLMs).
Chess/Go continues to progress because it is primarily a human vs human activity, people will always be learning to play chess and chess will continue to develop.
Pre training data is in large part synthetic these days, and RL data is almost all synthetic.
Computer Chess progress has nothing to do with human vs human activity. AlphaGo Zero used no human game data at all.
> Pre training data is in large part synthetic these days
How much of that data can lead to innovation? Can you predict all innovation map it out on paper.
> Computer Chess progress has nothing to do with human vs human activity.
The point is that humans will always be learning chess because it primarily a human vs human activity they will be contributing games to the chess database, unlike with programmers who are stopping to code and only prompting, generating code stuck in 2022.
> AlphaGo Zero used no human game data at all.
Sure, but that instance of AlphaGo is still dependent on its training, its intelligence, so it is a question of is that the best and only way to win a game of Go. Just a few weeks ago, a Go Grandmaster found a way to beat one of the strongest Go AIs.
So a specific instance of an LLM might be the smartest based on what we know and need today but that is not the limit of how far we can go, this is why it is important for humans to always have an intimate connection with the code, math, science, chess etc for progress to continue.
Everything is a game
Very few people scrutinise assembly in 2026 as compiler generated code is 'good enough'. LLMs are beginning to do the same with higher level languages.
Without bashing anyone in particular, a certain OS-vendor's desktop apps, have been 'good enough' to ship, but with p*ss-poor performance in many cases for the last decade or so. We crossed the 'good enough' Rubicon a few years back in terms of what end users receive as a finished app.
Hopefully LLMs will eventually bridge that last gap of efficiency when generating higher-level code that not only works, but is efficient. Maybe there's a future where they generate the final binary without even invoking a compiler.
but there is a difference between deterministic compilation and non-deterministic LLM code. Of course I don't think this is an issue for toy problems and simple codebases, but for non-trivial problems I think it will be an issue. When I compile C code I know that maybe it will not be as efficient as it could be if I had written it in Assembly, but there will be a biunivocal correspondence between C and Assembly. If instead I use an LLM to rewrite a feature of a codebase I can't be sure that it still functions like the original one. I acknowledge that this is an issue with human programmers too, but I don't see a clear way forward, even if I'm really interested in LLM compilers being a thing. Maybe we will use them for non important code, and we will keep writing system critical stuff by hand.
> but there is a difference between deterministic compilation and non-deterministic LLM code
But not the point of my comment. Computer programming has been a progression of physically wiring up valves, to soldering transistors, to punched cards, assembly, then higher level languages. Now we have natural language models.
The analogy being each that most people don't care about the assembly generated as the code works and it's really performant/efficient. Humans can still optimise assembly, but there's vanishingly small marginal gains for all but the most intensive/low-level tasks.
If LLMs produce things that work, and are indistinguishable from a careful human programmer (i.e. with some level of acceptable performance), people will simply stop looking at the high level code as the end result works, in the same way most people stopped looking at generated assembly after 8 bit computers (for example, as most games were written in raw assembly for... perforamance), as it was good enough.
> If instead I use an LLM to rewrite a feature of a codebase I can't be sure that it still functions like the original one.
Right now, with existing static analysis tooling, you can ask it to write a full suite of unit tests capturing existing behaviour without modifying the existing code with 100% code coverage, and start there. Plus fuzz tests as well. I actually have marginally more confidence in that than a human being doing it.
Isn't Microsoft already using LLMs to convert low efficiency components of Windows into higher efficiency implementations, for example by conversion to Rust?
It has to be said a million times. A fully deterministc compiler (or 99.99% or whatever) is categorically different from an LLM.
Hopefully this million plus one mention shifts the right weights around the datacenters.
Indeed, and that's not what I said or was implying. My comment was an analogy in response to:
> Until very recently, I pored over every single line of code Claude generated with razor sharp scrutiny.
As LLMs generate better code in a higher level language (where better equals fewer defects, and does what you want), scrutiny of that code by humans will naturally drop. Human scrutiny will likely be replaced by something that doesn't exist yet, perhaps some sort of higher-order 'LLM linter', or Lean-esque language or tooling that somehow proves the LLM did the correct thing.
It's entirely possible in 2026, to further manually optimise compiler generated assembly, but vanishingly few people do that.
The point of my comment is that 'good enough' is almost here as demonstrated by the parent's comment.
> A fully deterministc compiler
Well, there's the rub. Humans and LLMs that asked to solve a problem at a higher level will rarely write the same code twice. Write the simplest regex, and you won't come up with this https://www.cs.princeton.edu/courses/archive/spr09/cos333/be...
The future is indeterminism.
> As LLMs generate better code in a higher level language (where better equals fewer defects, and does what you want), scrutiny of that code by humans will naturally drop. Human scrutiny will likely be replaced by something that doesn't exist yet, perhaps some sort of higher-order 'LLM linter', or Lean-esque language or tooling that somehow proves the LLM did the correct thing.
Your “analogy” doesn’t hold up. The scrutiny applied to compilers are done by the compiler developers. Eventually if requirements don’t change the full test suite becomes the oracle. Not because of an attestation from a ghost in the machine but because of scrutiny done, let’s say over two years on a compiler that was reaching feature parity.
This obviously holds for compilers generating correct code since it is so well defined.
And this also holds for the efficiency of the generated code, since that is also obviously scrutinized by compiler developers.
Granted, the venerable LLM and the compiler do meet in a sort of functional intersection where all you can concievably care about is some thing that has a well-defined test for functionality or fitness. In the compiler’s case that’s the benchmark (good enough to not look at the assembly). But then one should go to that example directly and not to compilers in general.
> The scrutiny applied to compilers are done by the compiler developers.
I apply scrutiny to Common Lisp compilers, and have done this for more than 20 years. I'm not a compiler developer. I don't even look under the hood, at the code of the implementations.
Instead, I run massive random testing. Billions and billions of randomly generated functions, thrown at the compiler to either try to get it to crash or to generate code that produces incorrect results (detected by differential testing with different settings or transformations that should preserve what is being computed.) It's a remarkably effective way to surface compiler bugs.
> I guess, the possibility of reclaiming human meaning and purpose.
As you described very well, as humans we are mostly interested in solutions, not problems. You don't have to understand how a car works to make the most of it. Increasingly, you don't have to review every line of code to feel confident it is correct. But there is inherent value in understanding the problem. The effort it takes provides a surface area for growth, perhaps the only one that is actually available to us.
The solution provider also holds the locus of control, and it is only balanced when there are other available solution providers. We certainly want some of those to be human.
In my experience, LLMs are becoming very good at executing, but not a creating novel ideas or being creative.
Most of programming is reusing existing ideas in new shapes to solve new problems, but all the building blocks are there in the training set. Or new blocks can (easily) be derived from existing ones.
Math is different, it requires quite a bit of creativity, it's not just 'reuse all existing blocks'.
For the moment LLMs are good at discovering things that we overlooked in maths, or apply cleverly existing math blocks to make new results, but making a new theory that is really useful is out of reach for the moment in my opinion.
"making a new theory that is really useful is out of reach for the moment in my opinion."
Curious how this ages.
Recursive self improvement, self-play and multi-agent RL could make useful new theories, eventually.
Sure, and I hope LLMs will at some point be able to do it. It would simplify greatly my work.
However, at the moment I consider that they stay in the 'convex hull' of their training set + a provided context, and I don't see that much research that made real improvements to the situation.
The problem with a terawatt fusion plant isn’t that the first one will be broken, or the tenth one in some other way. The problem is the hundredth will work flawlessly, and so will the thousandth, and a petawatt is serious waste heat to reject; if we keep building them on this planet, we’ll all simply cook.
Reliable cheap fusion is the holy grail and used in moderation will fix most of our environmental and political problems, but it also forces humanity off this world. Maybe that’s not a bad thing, but there is no free lunch.
it's incredible the amount of people who think all these recent posts in Taos blog were written by him.
It's an unfortunate side effect that the domain name has his name highlighting it.
You oppose correctness to meaning and purpose, which you seem to imply are impractical values. (Worthless values, then?) But you don't mention creativity. The article blithely says that AI creates new ideas and understands things. I don't think it does.
>Terence Tao is arguing
This is a guest post by Amit Sahai.
I'm not sure the scarce resource will be people capable of understanding the AI's work. It may be institutions willing to tolerate the cost of understanding it
If AI ruins humans doing mathematics because of "economic strategy" we should destroy, not the machines (although the data-centers will be burned down as a byproduct) but the economic system that demands this.
The more likely AI becomes to produce working code every time, the more likely it will become that a one-in-a-thousand or one-in-a-million error goes unnoticed at generation time. It sucks.
Bugs have existed since before AI, though. It's remarkable how bad a lot of very successful software has always been.
Sure, but we currently find that acceptable. Codebases are full of such bugs.
> I pored over every single line of code Claude generated with razor sharp scrutiny.
That is essentially impossible, since if your pored over individual lines, your scrutiny cannot be razor sharp. There are few people who can pore over code with razor-sharp scrutiny (and different people are better at scrutinizing different aspects).
> Even back in March, you could tell it "give me a function that adds two numbers" and you could be 100% confident that it would write the correct function.
I am doubtful that this is the case. Even that supposedly-naive example is not as trivial as you might imagine, when you consider overflow, defined vs undefined behavior, and floating-point representation details. And you can't be confident like that about a human either.
> Why check it? It's obviously going to be correct.
And then when you stop checking it, the companies that run the service will tweak the model to benefit themselves in some way, possibly at your expense, and you will be none the wiser.
All the companies trying to get you to use AI are your adversaries. They can and will exploit your use of their systems for their own gain.
>the economically dominant strategy to not verify them and not double check them
In the big scheme of things is it really that expensive to verify it if a lean proof is generated? The agent itself will likely have already verified such Lean code before calling it "done".
I feel like knowing something is true is useful, but if you don’t understand how and why, you won’t understand the implications
> my cognitive surrender to the model is increasing too. Why check it? It's obviously going to be correct.
I use "frontier" AI models daily at day_job. I can confidently say that anyone who is satisfied with the output of LLM code (enough to commit it straight off) is just an absolutely shit programmer. Sorry but I don't have any other way to put it.
The code is (with rare exceptions) atrocious on every level. It is only not atrocious if you take multiple iterations of "review and correct".
>If we find no flaws in the design whatsoever, will we be less careful about the second one? The third one? What about the ten thousandth one?
Like the saying goes, if my grandmother had wheels she would have been a bike. LLMs can't even produce quality maintainable code for a trivial web service or whatever. Why are we planning for what we will do when they can "design" 10,000 nuclear power plants without any flaw?
Yeah I was honestly stunned to read “obviously the code is going to be correct so why check it” be the most upvoted comment on this website. Are we even using the same product? These things constantly shit out plausible code that is riddled with errors and bad ideas. if you just copy, paste, and run without looking there’s gotta be a 30% rate of failure to run, piles of terminal errors.
Do programmers use this website anymore? Me, myself, I am a DOGSHIT amateur programmer and even I can tell these things are terrible without constant revision and oversight.
The models get things wrong in the way that humans don't.
They will never make a logical error yet make terrible assumptions and poor long scale decisions.
Wake me up when an agent swarm can write gcc in a box sealed from the internet.
My dad recently needed to buy a new thermostat for his home with an air furnace (yes, he told the model) asking an AI which one to buy, and he got recommended one that only properly works with boilers. Then after that happened, the alternative he bought the AI never told them he needed to buy a gateway to connect to his furnace.
I think we are a long long looong way from AI designing 'terawatt fusion plants'.
Am I the only guy who still thinks we're kind of putting the cart before the horse here? Look, I would love to live in a world where AI is in the business of designing terawatt fusion plants and revolutionizing all other aspects of society. But right now it can't even really tell a puddle in the road. I feel like we have a really long way to go here, hype-laden PR releases about solving math problems aside.
Frontier AI is far beyond "hype-laden PR". You're right that there's a long way to go in release terms before fusion plants, but at the current tempo that 'long way' looks near in human terms. Whatever age you are, would you bet against it arriving in our lifetimes?
We’re seeing more and more slippery slope arguments, except the slippery slope leads to human cognitive oblivion and it is actually a good thing actually.
> I just hope that there are more Terence Taos out there than people like me.
Just spare me. Being under external pressure to “ship code” is one thing, but being personally inclined one way or another (no external pressure) is another. And when you think being inclined like that is existentially risk (for human civ?) then, what? It’s just the way you are wired and hopes and prayers that collectively that doesn’t drive us off the cliff?
This aw shucks persona isn’t convincing. Same thing with AI Bros who are (1) making the most awesome tech that has ever existed, and (2) aw shucks hope it doesn’t kill us all in the end.
People please, an LLM is just a vector database that spits out statistically viable answers which highly depend on its training material. There's no real "intelligence" involved.
Can you explain how a vector database cannot be a real intelligence but a bunch of synapses can be?
Can you explain how a vector database can be real intelligence? Also you're more than a bunch of synapses...
Embedding vectors assign semantic features to syntactical structures of the vector space. Operations on these syntactical structures allow the program to engage with semantic features of program state directly, leveraging the meaning of program state to alter its execution. Intelligence is leveraging information/experience to achieve one's ends. Manipulating meaning through embedding vectors in service to answering prompts is an example of that.
I can't explain how the bunch of atoms inside my skull interact to produce me. If I can't explain that, I don't have a good grounding to explain why a bunch of atoms in a data center can't make something like me. That's my point.
No true Scotsman is a vector database!
Intelligence is the ability to predict. To pretend that only we can do it, is silly. I mean read the article, and see what AI is doing to the math community.
Give his synapses some time to think about the answer.
There is a failure to understand that the process is the result. You don't study mathematics or computer science and information theory to produce commodities. You study them to transform your mind. The output of an LLM is useless without a human mind to comprehend it. We can have Super Intelligence, but if humans are incapable of comprehending it, it is just another useless dead artifact. Practice, applied over a lifetime, is what creates the capability for comprehension. Asking an LLM to give you an answer creates an artifact. Humans being humans, most of their requests boil down to "make me rich without having to work for it," so the request itself is paradoxical and impossible to satisfy. Philosophers have only been saying this for all of human history, so don't hold your breath for any breakthroughs.
>We can have Super Intelligence, but if humans are incapable of comprehending it, it is just another useless dead artifact.
Animals are incapable of comprehending much of what humans do. Nonetheless, we humans have vastly transformed their world and caused the extinction of many species.
> the process is the result.
For who though?
Is it important that each person understand it on their own?
Why does it impact me if another human understands something or not?
It impacts me right now because that human can use that knowledge to explain things to me or to build new things using that knowledge.
But if an AI can explain and build better, then what good does it do having the other human know the thing?
Understanding might have intrinsic value to me, but intrinsic value to me doesn't pay the bills.
What am I missing here? I kinda expected better from Terrance given such an audacious title.
Expertise changes perception, not just knowledge.
I have dyscalculia so the math world is dead to me, I can't even add 2 numbers together in my head, but I've read here on HN many times over the years people describe some version of new maths frameworks tangibly changing how they view the world. For me, I went to film school - I have a natural ability to think in movies and pictures, memory is very visual for me, before film school I had a good sense of shape, colour, light. After film school and to this day some 20 plus years later, I mostly look at the world starting with the shadows. Russian speakers, whose language has separate basic words for light blue and dark blue, are slightly faster at telling those shades apart. Speakers of languages that use compass directions instead of "left/right" appear to develop a strong, constant sense of orientation.
These things can only happen through the process, so for who? For people who want to live richer lives, want to think differently, and for you, to be around people who have such.
> For who though?
For math, the value of proving a theorem is often not proving the theorem (which most people already believe correctly to be true or false), but the path taken there, the new math invented, and how it can be applied to other problems. The end result is therefore almost inconsequential in moving math forwards.
Precisely. I don’t really care whether LLM’s can produce code more and better than me. I learn languages, program and study computation to understand better the world we live in. Being a human being means increasingly being technologically augmented. To have any deep understanding of that world requires deep understanding of maths, physics, programming etc. that you can only gather by doing those things and solving problems with your meat brain.
There’s a Twitch-streamer Tsoding who programs on C for fun calling it “recreational coding”. Maybe human programming will be a form of art in the future, virtually useless for big corporations to make money. I don’t care, I love it anyway.
Great but you will no longer be paid to do what you love.
History teaches us that understanding deep problems in mathematics finds natural applications elsewhere. So, either AI completely solves mathematics (unlikely for the moment), or we use marginal amount of funding to keep the mathematical communities alive.
I have never been paid to do what I love. Well, I got couple of art grants some years ago.
> To have any deep understanding of that world requires deep understanding of maths, physics, programming etc. that you can only gather by doing those things and solving problems with your meat brain.
There is tons of evidence against that. Someone armed with just LLM, can have much better uderstanding of problem then "meat brain expert" who studied the subject for decades.
We seen in last decades how "experts" are clueless, and how they predictions work.
> don’t really care whether LLM’s can produce code more and better than me
So on one side there is monopoly on "deep understanding", but on other no one really cares about quality?
You are both reading too hastily to quite grasp what I am claiming as well as making claims and assumptions you do not back with evidence. If there is tons of evidence how a person with LLM can understand - I was speaking of the world and times we live in, not just single problem - a problem an expert does, it is quite trivial for you to present that evidence.
Mind you,solving a problem is not same as understanding it. Anyone can just take a science calculator and bunch in some function without understanding anything about how to solve it.
The math can be booth commodity and enjoyment.
My day job is to cleanup mess left over by "experts". They may have very deep understanding, but code they leave behind is full of bugs and security holes.
> The output of an LLM is useless without a human mind to comprehend it.
I don’t understand mRNA vaccines, but they are useful to me. The output of an LLM could at least in theory be the design to a major technological advancement, and its implementation with automatic tooling. We don’t have to understand that for it to be useful.
I find this line of argument unconvincing because it ignores the alignment problem. We only administered mRNA vaccines after a large and diverse group of experts with different backgrounds and experiences came together and said that we should go ahead. We only administered them after several rounds of careful testing to ensure that they wouldn’t have damaging effects. The decision to administer mRNA vaccines for to large numbers of people for the first time was arguable risky and certainly controversial, and yet that’s what happened.
I have no issue with LLMs aiding human scientists, but imo we absolutely would need to understand your hypothetical advancements completely and thoroughly before surrendering any agency to them - the LLM’s risk analysis will not reliably reach the same conclusions as a democratic human society
An LLM could also in theory fake alignment and create technology that seems really useful but secretly harms humanity in the long run. If humans don't understand what it does, that possibility becomes more likely.
mRNA vaccines were created by humans who understood them. You exist within a society (a networked distributed information system) where you accept the judgement of the humans who understand and create this things, which is how you end up benefiting without personally understanding.
If we imagine Super Intelligence, where NO human is capable of understanding, then how would it ever be possible for any human to identify what is actually beneficial or not?
This resolves in a paradox, common to all magical thinking. You can certainly wish that some all powerful benevolent entity will solve all of your problems for you, but it is not likely to work out well.
None of this is new. It is the same delusions as alchemy and the same thing that tales about genies warn of.
> mRNA vaccines were created by humans who understood them
If authors understood them, why most of their predictions were wrong? Time to decompose spike proteins, side effects, distribution through brrast milk....
Event the most basic promise 100% protection against infection was wrong! They lied and we allowed infected people into hospitals!
It's incorrect to assume that the information you heard is 100% an accurate representation of the scientific understanding and not information filtered through "public health" which balances that with other interests. I'm not aware specifically what was known at the time about the initial vaccine formulation, but there are several examples where there was a disconnect:
- ~Feb 2020: COVID is known to spread through and linger in the air, not just spread via droplets or fomites; public health messaging fixated on simultaneous 6ft distancing and surface cleaning rather than air filtration and masking
- Spring 2020: it's known that masks reduce the risk of acquiring and spreading infection; in the US, public health messaging stated the opposite, in order to keep as many masks in supply to healthcare workers despite a major shortage of masks
- Jan 2022: it's know that an infected person can remain contagious for over two weeks; in the US, public health isolation guidelines are reduced to 5 days due to noncompliance and in response to pressure from the airline industry, which was experiencing a significant shortage of flight staff due to COVID infection
> why most of their predictions were wrong?
Citation needed.
> You don't study mathematics or computer science and information theory to produce commodities. You study them to transform your mind.
Normatively, this ought to be true. Descriptively, this is of course false. Our entire society is organized around producing commodities, typically by consuming people as inputs.
It’s not ‘of course false’, and, to be honest, I can only assume you have little idea what mathematicians actually do.
Most pure mathematicians are no more interested in ‘producing commodities’ than any other academic is. That’s not what the subject is about — at all. The confusion arises because mathematics turns out to be extremely useful (no surprise; it’s quite useful to have a detailed understanding of the basic principles of reality).
Again, this seems to be an alarmingly common fallacy here on HN. As a commenter above observed, pure mathematics (and that is what we’re talking about here) is in important ways closer to the humanities than it is to other sciences.
Not exactly. The input to produce commodities is labour-power (the potential to perform labour). Education or study is the process of producing the commodity of labour-power, the potential labour of a mathematician who can do some sort of specific work.
> There is a failure to understand that the process is the result
I'm glad to hear people say this now, because for the longest time they've also been bullshitting the public to think that pure math studies would someday lead to some kind of useful outcome.
"transforming the mind" is an exercise in ego-driven self-gratification, no different than getting ten degrees and never getting a job, nor any different than straight up porn or gambling. You have been put on earth to contribute to the progress of humanity, so get dirty and start making commodities. no more useless math-monks.
> You don't study mathematics or computer science and information theory to produce commodities. You study them to transform your mind.
That's nonsense. Of course you study them to meet demand.
> you study them to meet demand
nobody who has ever achieved notoriety in any intellectual field ever did it to "meet demand." if your goal is to be an interchangeable widget that produces value as part of a corporate machine that exists for the enrichment of your shareholders, you are certainly free to choose that path, but don't imagine that is the limit of human existence. also, don't be surprise when you are replaced by AI, because it is a superior widget.
The desire for novelty and to be first is demand. The publishing and grant writing. The whole funding and tenure apparatus. It's nothing but demand gradients.
People who study STEM for the enrichment of their intellect are privileged. Most of us had to study STEM (or whatever else) because we had bills to pay.
I feel like so many people here are part of that crowd. going on about how it's like humanities and how it's super valuable and those who are seeking to get paid are just missing the point
how is it even possible to think like that? or maybe it's some kind of coping mechanism
sad
>The output of an LLM is useless without a human mind to comprehend it
This is like saying software is useless if the user doesn't read the source code of it. This what happens >99.99999% a person uses software. People want to be entertained or have their problems solved.
Your analogy doesn't work. A "product" in research pure math is not the same as writing code.
You can import a theorem that another paper proves without having to understand the mechanics of the proof itself.
if your goal in life is proving theorems, then sure, but we don't fund mathematics to check if each conceivable theorem is true/false.
I know many programmers for whom "developing domain understanding" is an abstract concept (if indeed, it is a concept for them at all). But in the age of big AI, I see more need for this, not less.
At least this is my observation: when my colleagues have been wholesale chucking stuff over to Claude, they've then been confronted with classic XY-Problem shit, poor user experiences, and over-complex solutions (which will mount future problems regardless of whether a person or an agent iterates on that code). Much of this can be solved by actually sitting down and thinking about it, and I mean at a code design level, not just a speccing level.
Many people don't realize that there are more useful outputs to solving a problem than just a mere solution. Obviously if one has a contractor mindset (you don't care about the after effects of a system) then this is of no relevance to you. Some companies promote that mindset, certainly ones that have no broader aspirations then getting acquired soon. That's fine - but many companies actually are about sustainability, and understanding in these places is paramount.
Agree 100%, especially with your second paragraph. The majority of domain experts I've interfaced with in my own domain, along with things I am not an expert in, are typically experts not because of the solutions they build, but because of the things they _don't_ build. It is the cliche "a clever person solves a problem, a wise person avoids it" paraphrase.
But I think what is lost is the value in (a) person(s) who intuitively spots and avoids these problems. My hypothetical example that I have seen play out: The domain expert spots one of these problems and succinctly explains that the problem doesn't need to be solved. Maybe it's a byproduct of bad design elsewhere, or there is a much better solution that avoids it altogether. Once the rest of the team/the lead catches on, either hindsight bias or outcome bias, or a combo, takes over and they don't recognize that all the value all along was in the person being able to spot this situation. They throw that in claude and claude does it's sycophant thing (after expressing that the previous situation was flawless for however long), and they are off to the races right back to automation bias with zero pause for thought...
I had an agent (SOTA models, xhigh reasoning, etc.) write and optimize some CUDA code recently. They've gotten a lot better at this stuff. And yet, they couldn't (self-)realize the obvious issue with their code: it was written as if for a typical multicore CPU. What the heck was a (serial) queue doing there? "Work efficiency" as a tradeoff for stalling 20k threads. Its later proposed optimizations were all about "can we get the queue faster" rather than "maybe we should actually parallelize the work for our very-parallel processor".
Funny stuff, as if it were hell-bent on writing a paper rather than actual software.
I feel like “giving up understanding” is inevitable.
There’s some hubris in thinking we can understand everything. For truly difficult problems, it’s entirely possible that humans are simply incapable of comprehending why a solution is true. But ultimately the practical value of applying that solution to the real world is going to eclipse our need to understand it.
Math is just the beginning. I see it happening in other fields too, like physics and biology. Many of us software devs have already given up on understanding parts of our own systems for the exact same reason.
Seems like a losing battle.
> For truly difficult problems, it’s entirely possible that humans are simply incapable of comprehending why a solution is true. But ultimately the practical value of applying that solution to the real world is going to eclipse our need to understand it.
This is hardly new or novel, you’ve just described huge chunks of existing engineering disciplines. There is still no complete model that explains why airplane wings work, there are lots of very useful models, but all of them have fundamental flaws where their behaviour completely breaks down in certain very possible scenarios. Notably scenarios where airplane wings don’t spontaneously either stop working or explode.
We also built the entire commercial airliner system decades before we even had computers capable of doing the aerodynamic analysis of airplanes, but none of that prevented us from creating huge engineering disciplines around the empirical data we did have, and slowly chip away at the underlying theories as maths and computing improved over time.
So we’ve always lived in a world where we extract value from systems we fundamentally don’t understand. But that’s never stopped us from working to understand them anyway, and deriving even further value from that improved understanding.
You deal with this every time you wake up, or visit a specialist of any kind. You likely didn't make your own clothes, you didn't grow your own food, dam up any rivers for your water supply, build any power plants to power up your phone/computer, nor did you spend any of the deep amount of focus required to build up the knowledge and technology required to provide us these 'things' in life. The only difference is, you didn't pay much attention to these facts because they became mundane. Take any of them away for any decent amount of time, and suddenly you become acutely aware of what it is you have.
The author mentioned what the issue is: a lot of people are experiencing what it's like to 'catch up' to the more intelligent ideas. Everyone can 'get' the intelligent ideas given enough time. But how much time do you have? And he's concerned someone will rush and create some kind of world-ending solution because they're too trusting of a technology they don't understand.
His only solution is some kind of throttle on the advancement of technology, and arguably knowledge (whose?).
That's learned helplessness as a lifestyle.
You observe others behaving poorly and immediately succumb to defeatism, assuming there was no better way.
When presuming, all that matters was the short term economic profit, you simply use the wrong gauge.
Here, long term human survival is at stake, regressing to zoo animals isn't a sensible option.
I think that is the central issue. Is long-term survival actually at stake?
Do you think every Mathematician has a deep understanding of building architecture, engineering, physics, economy, etc., everything necessary to gauge whether something like a 1 terrawat nuclear plant is completely safe in all aspects?
Of course not, so then you have to select appropriate ones. And then you need a process to ingress and egress reviews. Oh what about change? Does that come back to the Math council too?
Oh, we also need global cooperation to pull this off. And then do you trust the people, the selection process for the council (all avenues for corruption are there).
I don't have a solution of my own, so it's not fair for me to criticize the author in this way. I share his concerns.
And it's depressing to think of all the negative scenarios, and be so concerned all the time.
These issues are important and worth thinking about, regardless. Who should teachers teach?
In the future I feel one parallel to this is my research area, SAT solving.
People used to solve logic problems by hand, verify logic. Now you pile it into a computer. The problem has been around for a while, no-one fully ‘understands’ the proof of the four colour theorem as a big chunk is computer proved.
We are now just changing (admittedly greatly) what we can put in a box marked ‘checked by computer.
Like most of us I go back and forth between sheer optimism and fear for the future that AI may usher in. Recently I started vibe coding a fun video game with my ten year old. The experience is different than my work because it’s been such a joy to basically have a personal genie in a bottle help me make some personal art with a loved one regardless of either of our skill sets. The concept the author of this post is arguing now resonates with me more than it would have a few weeks ago. The sheer surface area that AI can create in our intellectual life is limitless and needs humans to explore. There can never be enough of us in that sense. Whether it’s as validators or creators.
Certainly humans can enjoy exploring such things, but will they really be needed?
What does needed even mean? To produce shareholder value? Maybe not. To explore thoughts and ideas humans have for fun? Certainly
To make money in order to eat food and have a home.
If AI leads to an era of abundance, then the economic system has to change. The system it transitions to and what that transition looks like will need to be fought for, and I imagine it’ll be done better in some places than others. Yet I think the parallel existential question of meaning in this world is one that is inherently optimistic. Humans decide meaning, it is not something imposed on us or taken away by the existence of something else.
How do you think this will work? Do you think the whole of the rest of the world, about 7 billion people, will agree to give up on wanting to reach the western life standard that is currently consuming 4 Earth's of resources every year?
Will all rich people in all countries collectively agree to be moved into tiny apts same size and give up their luxuries?
If not, how do you define who gets what? Who gets to live in the fancy house, etc?
The distribution of goods will probably be maintained until others lower the gap over time.
Using the metric of “4 earths of resources” is confusing and easily misunderstood. What that metric means is that if everyone were to have the same consumption as the average U.S. person tomorrow, we wouldn’t have enough renewable resources to meet demand.
This is not an insurmountable problem. It just requires increasing production everywhere else. Your cited metric isn’t a stat on the theoretical limit of global production, it’s one that describes its current limits.
The stat also factors in carbon emissions, but this is also easily addressable in a world where labor and maintenance is cheap.
> If AI leads to an era of abundance, then the economic system has to change.
This is beyond naive.
I don't think "abundance" is a stable state. There are always ways to use more resources and more energy, so no matter how much we have, it will never be "enough" -- abundance is just a transition state where a population or system has not yet figured out how to grind the surplus. The faster the progress, the shorter I would expect these periods to be.
Right now that looks like a bunch of rich edgelords and us as serfs
Money will become unnecessary. The future Anthro Park will no doubt provide a safe enclosure, feeding at regular intervals, and an enriching environment for you and your fellow semi-evolved simians.
We could feed the whole population of the world if we decided to, we definitely have enough production[1]. If we pretend AI-assisted automation can do most work - which still currently is an highly dubious claim - we could just provide food and shelter for free to everyone, if we so desired. It would require quite a lot of restructuring and dietary changes, but it is possible.
[1]https://online.ucpress.edu/elementa/article/doi/10.1525/elem...
You're right that we could already feed everyone with a different distribution of produced wealth. That part is not something that AI will change (although it would raise the resulting standard of living).
What it does change is the basic equation underlying capitalism as an economic system: a few people concentrate capital in their hands, but capital by itself is useless without labor, so they have to hire workers to produce something useful with all that capital that they own. The workers get a shit sandwich, comparatively speaking (given the amount of wealth they generate), but they do get something out of it. The system is stable overall because, while a better arrangement is possible, most people - even low-wage workers - have too much to lose to riot.
With AI that can do most work, the capital no longer needs labor. People who own all the robots can just have them produce whatever they need. Everybody else is then "economically redundant", and the whole system collapses because people aren't going to sit around and starve because there are no longer jobs to be had - and at this point they have nothing left to lose and everything to gain by rebelling and taking over the capital.
> Everybody else is then "economically redundant", and the whole system collapses because people aren't going to sit around and starve because there are no longer jobs to be had
This is a non sequitur. People being economically redundant doesn’t necessitate a system collapse. It assumes our existing systems can’t handle an increase (assuming we have economically redundant people today) in those who are economically redundant.
Capitalism defines who owns the means of production scoped to the definition of ownership in a particular governance structure. In the U.S., for example, full ownership gives people the right to produce as much as they want with rules in place to seize the rights of ownership if broken.
One rule of ownership is that taxes must be levied on the positive return of capital. This today is what helps funds the welfare state. The idea that the system collapses implies we won’t be able to scale this welfare state up which seems unlikely to me.
There’s already a deficit caused by welfare spending. An increase in abundance (of work, resources, etc.) can reasonably alleviate this if we consider the possibilities in removing inefficiencies within the government itself and their biggest cost drivers like public health.
If this is true, you would think that companies would be opening shops in the middle of (some shithole country) so they can make money (or someone else would grab it). But they don’t, why is that?
Because the shithole countries are poor and rife with violence that is hostile to operating a profitable company? Obviously?
Referring to countries as "shithole countries" does not help in understanding the current dynamic between rich and poor nations. So perhaps it is helpful to understand what that is, without the pejoratives.
Firstly, each country is different. So the relationship between say the USA and Mexico is different to the relationship between the USA and say Ethiopia.
By "richness" we might also be better off thinking as less "spare cash" and more "standard of living". Which includes food, housing etc but also security, safety etc.
In truth much of the US "richness" depends on other nations. If there was no Latin labor the US would have a fresh produce problem. Indeed the very premise of DJT is that the US has a trade deficit with just about everyone. Much of US "richness" is thus dependent on the "poorness" of others.
Yes automation, cheaper energy, AI can reduce the labor content of goods and make them universally cheaper. Yes I believe in a future where the overall standard of living increases.
But it would be a mistake to believe the US is "leading" US there. The US achieved its current position at the barrel of a gun, and uses the military (and threat of military) to interfere with countries and regions either overtly or covertly. The entire premise of the cold war (outside of western europe) was premised on interventions to resist countries switching their political model to something the locals preferred.
And yes, maybe the locals preferred wrong. But the US didn't promote democracy, they promoted "willingness to keep supplying us". Countries which were leaning away from the US had to be punished. (Shah in Iran, Vietnam etc.)
I could go on, but I'll stop there. Suffice to say that an equitable standard of living is not in the (current) interest of most US citizens.
Shithole country? You mean US: https://www.msfoodnet.org/about-us/hunger/
The companies do not do this, because equal distribution of resources is poison to capitalism. The world where everyone are fed, and their basic needs - shelter, medication etc. - are taken care of, does not have trillionaires. Possibly not even billionaires.
It is not profitable to give people humane standards of living. You work a lot harder when you see the homeless on the street on your way to work.
The current approach to resource distribution worked so far. When it stops working because we have too much abundance, we'll settle on another one.
That doesn't mean the transition will be smooth. It doesn't mean that certain classes won't be worse off. I can certainly imagine programmers being among the losers. And there certainly are futures where we slide in dystopia. So let's try building the good futures. Alea iacta est.
> The current approach to resource distribution worked so far.
For you.
and how will that pay rent?
like, how are people not getting this? is everyone here just living off their capital gains or something and that's it?
> The sheer surface area that AI can create in our intellectual life is limitless
I agree with this statement, though I think this Brave New World is incredibly exciting to some and dystopian to others. The former group might include those that value the intellectual process above financial reward and status.
The flip side is there are many people, especially in tech, where their area of expertise has evaporated along with their lucrative and previously high status careers. It used to be possible to have a technical job by essentially following recipes and it turns out AI is far better at that than a human.
The linked article lays out why human understanding of mathematical models remains essential and I think the same applies to software. We're gonna need more software engineers who are able to think critically.
"We’re gonna need a lot more mathematicians."
What the article really says is that we're going to need much smarter mathematicians. That is not possible for puny meat-brain humans. Humans are close to their ceiling. AIs are just getting started.
In practice, we're probably going to hit that limit first in IC design. I once went to a talk by the Intel engineering manager who headed the Pentium Pro effort. That was the first superscalar x86 CPU, and it took about 5,000 engineers at peak to design it. Getting that many people coordinated on one thing was a real achievement. Then Intel stayed with minor tweaks on that design for years.
We're soon going to be seeing designs of even greater complexity cranked out by AIs. No human will understand them at the gate level. Reading AI-written programming language code is bad enough. Reading AI-written Verilog may be beyond human comprehension, except in small sections.
> Humans are close to their ceiling. AIs are just getting started.
The whole point of mathematics is to vastly exceed that natural ceiling by gradually building a framework for understanding. In fact it’s wrong to speak of a ceiling altogether. If there were a ceiling, we’d have hit it long ago.
AIs have already swallowed the entire history of human thought, but apparently they’re ’just getting started’. I can only assume you don’t know what mathematicians actually do.
> Humans are close to their ceiling.
If Math Academy teach 10 year old kids calculus, I doubt that.
Rule based Mechanics of taking derivatives and finding intervals is quite different from understanding delta epsilon proofs. I have no doubt 10 year old can do the former quite easily, the proofs on the other hand? Depends what you mean by “teaching calculus”!
A lot of the conversations around AI in the past years have been “we will delegate almost all work to AI, but the most decisions will be left to humans.”
I’m fairly confident that the opposite will be true. The most important decisions will be made by AI, and humans will only be left to guide decisions as a matter of taste. AI has the ability to be impartial, and immutable. You can endlessly probe and reason its decisions.
This isn’t true of our current human decisions. Where we see red tape, bureaucracy, rent seeking, status quo. AI will see through these human constructs.
I do like the idea that we will need more mathematicians, physicists, and scientists to understand the discoveries of AI. That might be the best possible outcome of AI, but I fear the opposite and we are painting ourselves into a corner of which we no longer have the knowledge to sustain ourselves and society itself collapses.
> AI has the ability to be impartial, and immutable.
Which AI has this ability? LLMs definitly don't.
With an open set of weights, fixed seeds and parameters, recorded inputs and feedback loops, the entire AI decision making process is auditable.
It also lends itself nicely for the ability to adjust the AI systems when deficiencies are found. You can tweak the AI systems to align itself with the desired output, and check for regressions, much like tests in a codebase.
Human decision-making lacks this thoroughness. I’ve scarcely come across rigorous documentation of decisions and how they were reached professionally.
I recommend you the book the rational optimist.
Not saying you’re wrong you just can’t be so certain
> To take on this responsibility, we may need to broaden our view of what a mathematician can contribute. I have in mind something like a “deployable intellectual reserve”: communities of mathematically sophisticated people that humanity can call upon to help understand consequential AI-enabled breakthroughs.
> Our ability to understand difficult and unfamiliar ideas may become one of the most important contributions we can offer to society. We should be willing to bring that skill to problems far beyond our usual research interests. [3] Doing so asks us to expand our sense of our vocation.
Am I reading this wrong, or is he talking about what (mathematitian) Data Scientists have been doing for years? So he is basically saying that former Data Scientist that have turned into prompt/software engineers should go back to being data scientists.
In any case, people should stop trying to fit AI in the previous status quo. What we need is curious people, that is what we have always needed.
A few centuries ago there were no "mathematitians", there were mathematitians/philosophers/artists/physicists all in one person. So its not like "mathematitias" is something that has existed for millenia.
We need curious and ethical people.
Maybe AI brings back the age of a well rounded scientist/philosopher. I know this sounds counter intuitive because the article is saying that we cannot keep up with the AI.
I believe he’s advocating for mathematicians to understand the novel concepts introduced with each breakthrough rather than individuals understanding data stemming from empirical observations.
The main reason to learn something is actually being able to communicate in the language of that subject. There are complex ideas in math that cannot be easily captured by the language of other fields. Pepole who don't study math cannot even understand what a worthwhile goal in math even is or how it could be useful to other fields.
You can't simply prompt a model to be "better" when "better" isnt even properly defined
> This is a guest post by Amit Sahai
Not Terrence Tao post. Beware.
it seems like most of the recent posts on Tao's blog are not actually Tao's?
Is that already economic delamination? As in the singularity extracts the most valuable ressources (new thought generators) from the traditional economy keeping mankind alive and stable- towards itself?
As of now the ai needs hands, and maybe more importantly, cognitive intentionality which thus far only arises from living beings drive for homeostasis to survive and reproduce. If ai can have this same intentionality is a big unknown.
> But we are now entering a time for humility: a time when all of us are going to know what it feels like to be unable to keep up.
Humility is the wrong word. We didn't feel it when the steam engine was introduced, so why now?
>humility
Fear? Ai is an abstract (for most people). A steam engine, you can touch. And, it doesn't replicate.
The problem is not that we fear the AI will do maths we can do. At least that's not the problem. Whether the AI can write better code, devise better proofs, etc, I still want to do it. The thing that worries us (the generation trying to enter the job market now) is just our livelihood. Food, rent & accomodation while I do the work. "Who's gonna pay me, and for what ?". That's the question I want answered. And please, if the response is some demeaning work like reviewing the gigantic ball with 1% meaningful insight, 90% slop and 9% other people pillaged work that LLMs will be dumping at my door all day long, then society may need more mathematicians, software engineers, etc but no one is gonna risk going along that path.
> "Who's gonna pay me, and for what ?". That's the question I want answered.
Unfortunately that’s a question you’ll have to answer for yourself. Also, people are going to risk going along whatever path gives them work as many today already do.
I find this discussion odd. 50% of people mistake this guest post for a post by Tao himself. The post is by Amit Sahai, professor for computer science and math at UCLA.
Tao has been posting a flood of guest posts that stress inevitability and coping. Tao is fully invested in AI but needs to have the appearance of a broad discussion.
Sahai is of course exuberant about AI but wants to keep UCLA enrollment numbers high. The comments on Tao's blog are far less friendly than here, because by people see through the game that is being played.
Just look at the latest industry friendly post from Tao, where he pretends that it somehow summarizes the discussion so far:
https://terrytao.wordpress.com/2026/09/25/iciam-statement-on...
For my whole life I have never been subjected to an industry coordinated advertisement campaign that ruthlessly harnesses YouTubers, TikTokers, professors, open source people who all go in lockstep.
Tao, Gowers et.al. will go into history as the professors who ruined math.
> Tao, Gowers et.al. will go into history as the professors who ruined math.
I don't know how to put this, but what... do you want anyone to do? That's a lot of complaining and hyperbole.*
I don't think that a few professors are the whole reason why maths is getting steamrolled. I think the tech is inevitable. The responses I got were Nazi levels of evil.
[edit] Reading back, I think your point was that they pass off their points of view as the only ones. Allegedly.
* [edit] For the sake of transparency, an anonymous coward below wants me to recall that I wrote the following, which I deleted because I didn't know how to put a strikethrough around it: Do you have anything to say other than "booo! boooooo!" and "waaa! waaaaaa! waaaaaaaaaaa! ;_;"
You got the responses before you edited out the embarrassing stuff, liar.
Bugger off, apolitical autistic loser.
Supposedly autistic, therefore loser? You're hideous. You fuck off.
Not the guy you're responding to, but I agree with him that you sound like an autistic loser.
Alejandro Rocha? You're a Nazi piece of shit.
If we accept that AI is going to do all of these things humans will be superfluous and will just be optimized away. It looks a lot like we see the birth of silicon based life by the efforts of carbon based life. Carbon based life will die and it will not even be because AI decided to kill it, it will be because feeding and watering it was less important than other concerns. Bacteria may continue to exist, though.
> "If AI fulfills its promise, we will encounter more beautiful and consequential ideas than we have ever seen."
It will be as it always has been: these ideas will further enrich the rich, at the expense of everyone else. We'll have our first quadrillionaire, while the masses are debating whether the minimum wage of $7.25/hr should be bumped up.
What a doomer way of thinking. Scientific advancements has positively improved the lifes of people in the past I don't see how scientific advancements accelerated by AI would be any different.
It’s interesting that you won’t say it’s wrong.
> Another approach is to follow that word, heresy. In every period of history, there seem to have been labels that got applied to statements to shoot them down before anyone had a chance to ask if they were true or not. "Blasphemy", "sacrilege", and "heresy" were such labels for a good part of western history, as in more recent times "indecent", "improper", and "unamerican" have been. By now these labels have lost their sting. They always do. By now they're mostly used ironically. But in their time, they had real force.
>
> The word "defeatist", for example, has no particular political connotations now. But in Germany in 1917 it was a weapon, used by Ludendorff in a purge of those who favored a negotiated peace. At the start of World War II it was used extensively by Churchill and his supporters to silence their opponents. In 1940, any argument against Churchill's aggressive policy was "defeatist". Was it right or wrong? Ideally, no one got far enough to ask that.
What You Can’t Say https://paulgraham.com/say.html
Okay, I'll say it's wrong.
Look at the average life of a person living in Western Europe 400 years ago.
Look at the average life of a person living in Western Europe today.
Heck, look at the lives of the top 1% of humanity living 400 years ago.
From: https://en.wikipedia.org/wiki/Louis_XIV#Personal_life
> Louis and his wife Maria Theresa of Spain had six children from the marriage contracted for them in 1660. However, only one child, the eldest, survived to adulthood
From: https://en.wikipedia.org/wiki/Louis_XIV#Health_and_death
> Louis outlived most of his immediate legitimate family. His last surviving legitimate son, Louis, Dauphin of France, died in 1711 of smallpox and barely a year later, Louis, Duke of Burgundy, the eldest of the Dauphin's three sons and then heir-apparent to Louis, died of measles. Burgundy's elder son, Louis, Duke of Brittany, died of the same disease a few weeks later.
The king of France, arguably one of the richest people on the planet at the time, had 5/6 six children with his wife, the Queen of France and daughter of the Spanish King die before adulthood.
Now look at the life of an average middle-class French person (or American, or English person or any of the 6+ billion people living with electricity) today. See anyone dying in childbirth? Anyone dying of measles or smallpox before they're old enough to vote?
Technological progress, helping not just the rich get richer, but everyone get richer.
QED.
> [This is a guest post by Amit Sahai. This blog post was initially written in a different file format and converted using AI. — T.]
No matter how good your case is - if you use AI slop to spam text, I will not read it. At the least they admitted to this sneaky slopness, which saves me time. I'd wish everyone would do so.
Russell once remarked that all of mathematics would be trivial to a sufficiently intelligent being. It builds conceptual tools for limited minds, that lets them understand far beyond their natural reach.
In a world with ASI, having that capacity is vital.
Ha, are you invoking something he said prior to discovering Russell's paradox? Which came about because he wanted to show that all of mathematics can be derived from logic about sets, but instead he showed that it couldn't be.
As someone with a math background, I don't see Russell's paradox as some interesting mathematics beyond set theory. It's just an example showing that one should be careful about defining sets.
As someone with a math background, and a logic background, I think Russell's paradox is most interesting, beyond just set theory. It shows us that one should be careful about what exactly a definition is.
One question: LLM might answer correctly many logical and math problems, but I don't see any guarantee that when the LLM context receives new information the answer could get worst. Security in LLM answer is not a monotone increasing function of context size.
> The ideas and opinions presented here are entirely my own, but GPT 6 Astra was instrumental in helping me draft this note.
It really looks like Tao is on the path of accepting and embracing AI now.
Maybe he is, but you are quoting Amit Sahai, the author of this blog post.
Oops :D
Can we add guest post to the title? A lot of people here are attributing this to him incorrectly.
If we assume that trusting a model to execute an action is an ongoing exercise, since its trustworthiness is often discovered by the user organically as models develop, should trustworthiness be measured at the level of the model, or at the level of the human intent behind triggering it, whether explicitly or implicitly?
Are you willing to pay for a lot more mathematicians?
Or it as with other professionals: shortage means shortage of cheap labor.
"Imagine that a future AI system proposes a radically new design for a one terawatt nuclear fusion power plant."
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 keep clicking through on these because I am curious about what Terrence Tao has to say, and then they are always guest posts.
Always confused by text website that tries to prevent people from select or copy or right click.
> Imagine that a future AI system proposes a radically new design for a one terawatt nuclear fusion power plant
This is an unfortunate example to choose, being as it is entirely confounded by the canonical illustration of the https://en.wikipedia.org/wiki/Law_of_triviality.
How is that relevant at all?
How is it not relevant? The construction directly contradicts what Sahai imagines happening, and the worked example is the nuclear power plant.
Mathletes, assemble!
Life is all about tradeoffs. Mathematics have no tradeoffs. We need more engineers.
Life is all about purpose. Mathematicians are instead concerned with meaning. We need more philosophers.
I think understanding the output of AI will become more and more likely impossible. It's not necessarily a bad thing, if we can benefit from AI produced knowledge, even if we didn't get there ourselves.
The point of the post is that what you call "AI knowledge" is not knowledge.
you arent a real mathematician unless you lay around all day thinking about shapes
> I have in mind something like a “deployable intellectual reserve”: communities of mathematically sophisticated people that humanity can call upon to help understand consequential AI-enabled breakthroughs.
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!
It would be nice to have more mathematicians, but we don't need more. Once AI math goes so far beyond human abilities, any human involvement is like an ant trying to understand quantum physics
Even if that happens, what’s the point if there’s no human involvement? AI doing math for math’s sake? And doing what with it?
I think it is like saying what is the point of playing chess when you can never beat stockfish?
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.
> AI doing math for math’s sake? And doing what with it?
Stuff! Inscrutable stuff, maybe, but that's not "doing math for math's sake."
> AI doing math for math's sake?
Yes, why not? And, of course, AI doing math for AI.
We may not be needed forever...
I don't understand how to make a modern CPU. I'm not involved in the manufacturing of it. From my perspective, there may as well not be any human involvement. I can still use the resulting chip (in an larger system of other things I can't make and wasn't involved in) to argue with you on the internet.
It becomes another abstraction, really. As long as we can use it for something useful, it's still valuable.
At some level of abstraction it's all built around allowing you to do some work/play/etc that you understand. Some of that work allows you to make money and eat food.
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 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?
There is a difference between manufacturing and design. Yes manufacturing is largely done by machines because of the nature involved but to look at a cpu and think 'no human was involved in creating this', you're wrong and also insulting to the humans who actually worked on things that led to the cpu and the manufacturing process.
A cpu (the physical thing that sits in your mother) is not an abstraction, what are you talking about
I think a better analogy would be comparing to an ancient human instead of an ant. An ancient human would have none of the basic abstractions that we take for granted today like literacy and arithmetic, so it would be very difficult for them to even attempt trying to understand quantum mechanics. But I don't think it's impossible because our ability to learn by stacking abstractions is basically endless——so far as our health permits at least.
We've been those ants for a million years, and only in the last 100 did we start to wrap our heads around quantum physics. We are the purpose behind creating LLMs. There's plenty in the universe we don't understand, and it's very human to keep striving to do so.
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. :)
Or maybe ants and humans are qualitatively different. Maybe there's a critical mass of intelligence where you can pretty much understand anything, and maybe humans are past that threshold. I don't know that for sure, but I don't think we're anywhere close to hitting fundamental limits to our ability to understand the universe.
Need? We don't need lots of things, including computers. We did well without them for hundreds of thousands of years.
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.
> Once AI math goes so far beyond human abilities, any human involvement is like an ant trying to understand quantum physics
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 that means we need expert humans to define and verify them.
And this will be true for how long? 3-4 months?
Do you seriously think that in four months’ time all of mathematics will have been ‘completed’ by AI?
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.
As long as there are problems to discover and solve, which is forever.
The risk of liability is a social problem that is far more difficult to be solved with technical solutions even with AI.
> Imagine that a future AI system proposes a radically new design for a one terawatt nuclear fusion power plant
I imagine:
* Massive budget overruns
* Year and year of delays
* It ending up wasting more energy than it produces, or just not working, period
* Politicians disclaiming responsibility and blaming it on "the AI"
* The contractor companies profiting immensely over the entire period, and ending up not having to worry about maintenance, warantees, etc.
TT is politely and gently trying to deal with the ego of many mathematicians, namely to teach them humility, which they will need to design their specialized maths AI models(agents?). Well, dunno if it will work out anything interesting, but he is giving a try.
I wonder if the current maths models, if any, are able to use formal solvers in their 'reasoning'. I wonder if a natural language interface is really that efficient, maybe a pure formal language hinted with intuitive "tokens". I remember the time I was learning real maths: "elegant", "brutal", "strong", etc were somewhat meaningfull.
It’s not Tao. None of these guest posts are Tao.
I think this is the most beautiful letter on the subject I've read all year, it brought a tear to my eye. It's like reading those famous STEM letters/essays from history.
I agree. I believe it could be the best piece about AI ever written. The themes of lost dreams reawakened, sobering up of egos, sci fi technological development, the role of humanity. It’s a weird feeling to see that it’s actually really happening.
"I have in mind something like a “deployable intellectual reserve”: communities of mathematically sophisticated people that humanity can call upon to help understand consequential AI-enabled breakthroughs. " -- I can't be the only one who thought about the scene where the scientists ask Deep Thought the ultimate question...