Posted by _alternator_ 13 hours ago
The AI labs' approach to math is immature in a way they can't get away with in coding. In coding, they realize that a pile of code that technically works is not enough: they need the code output to be a foundation to build on, and they need their agents to work well with humans which means explaining things in a way that makes sense.
In math, their goal seems just to be to exploit mathematics' reputation as full of hard problems with a general population that can't tell a pile of Lean from a good proof. OpenAI pretty much said this work is just to show off at the end of the post. Anthropic said their FLT formalization is a research artifact they do not intend to clean up or improve in any way.
Besides uniting mathematicians in irritation at the labs, the other flaw with this strategy is that it ignores that organizing knowledge is part of intelligence, much like not just producing a mess that runs is part of programming. You can write a proof that uses algebraic geometry because someone organized what could have been a bunch of disparate ideas (or fragments of a Lean repo no one will read) into a toolbox where an expert can find the tool they need.
I hope they change tack. Perhaps instead of making an explicit strategy of taking the credit from mathematicians but doing little for actual understanding, they could let some math departments at their swarms or best models, ask for a bit of acknowledgement, and hopefully they approach it by trying to write good papers, simplify, etc. rather than just rushing for headlines. (Tao's post about digesting an LLM-generated proof https://terrytao.wordpress.com/2026/08/12/a-digestion-of-the... is an interesting read for a sense of what he means by 'digestion'.)
On that last note, it's also important (Tao's also noted) for the mathematical community to properly value digestion and organization of results, so that given the incentives of mathematics and availability of new tools you end up with good papers and textbooks and so on, not just mathematicians taking the labs' current role of pushing incomprehensible-even-to-specialists proof code to repos.
For other folks, the post: https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the...
The transcript: https://chatgpt.com/share/6a5fdc7a-d6f8-83e8-bbea-8deb42cfed...
My sense of the word 'share' is that it traditionally involves agency by all parties involved. There are a lot of words in English for describing taking things without permission and profiting thereby - words like piracy, banditry, and larceny.
> [I]t is now the identification of a promising problem which is the scarce and precious resource. We have now seen that even the rumor of someone working on a problem can trigger a massive amount of AI-powered effort to flatten it before the original research project has time to reach its full potential.
And to reply to the sibling since I hit my comment limit and I'm going to probably forget about this conversation until tomorrow:
But our situation before 2023 was one in which we had an endless abundance of solutions and ideas. I understand that AI can generate bad ideas faster than we can discern them, but we already have tried and true mechanisms to filter good ideas from bad (e.g. the scientific process), why can't they be adapted?
This really cuts to the heart of the problem with AI. Not only does AI undermine the monetary economy, it undermines the intellectual economy. What is humanity without the need for collaboration for survival or for intellectual progress, ultimately providing the impetus to build something greater as a result? I don't know, and I'm not looking forward to finding out.
A society can live just fine in a period of abundance. The societies that we currently have on earth do make it questionable of 'we' can right now. I mean I see people posting stuff like "I'd rather burn it all to the ground rather than see one cent more tax" kind of stuff when they have millions. That kind of person doesn't want more people uplifted and it takes away from their idea of being special.
>naive belief in a Star Trek
The naive ones don't read into ST lore to know it comes after WWIII.
The dangerous ones do.
Sounds like they're going the way of the DoDo. better take that PhD, migrate to the new world and become a tuktuk driver.
It's not that the horizon is expanding because of this. It's more like a forest getting clear-cut.
Going back to chess, I think the situation is similar where you can’t expect an amateur player to get better by trying to play like a strong engine. I think even professional chess players mainly use engines to prepare or memorize variations that are counterintuitive for their opponent. In other words, getting into situations that look wild, but that part of one player’s preparation.
I’m not sure how it is in math, but in chess, it seems like top players can play just like engines when they are in “normal” positions, so that is where I get a bit confused as to where the direction of insight is coming from because it’s been my view that AI is able to make leaps that we would never think of taking and I’m not sure that anyone could actually learn how to do that on their own unless they were willing to keep failing over and over.
There is a parallel with autonomous vehicles in real life. On northbound 1 in SF going through GG Park, the left turn lane onto Crossover Drive is always backed up. Waymos often do a very late merge into that turn lane in order to jump the queue and save time. With 360 degree sensing they can do this safely in real time but it feels too risky for most humans to attempt.
For 3000 years mathematics has only been a "tabletop science". Even big programs like the classification of finite simple groups have been comprised of small teams chipping away at different (publishable) parts of an overall program.
This latest Navier-Stokes advance cost something like $22m in tokens, already well beyond what a mathematician's research grant can fund. As the easy open problems get mined, the cost of frontier progress will continue to climb. Some part of mathematics as a field will need to transition from tabletop science to big science: Coordinated top-down programs addressing high-priority objectives.
TBD is what the role of individual mathematicians will look like in a "big science" paradigm, but we could look to experimental high energy physics for ideas. For all practical purposes, AI converts math from a theoretical field into an experimental/observational one.
The situation is not that different from John Henry competing against the machine. The question is really: Do people deserve to be allowed to continue doing what they have always done, when doing it is no longer necessary to advance the greater good?
At some point in my suggestion the machine will ask better questions than you, and that will be pointless as well, and you keep doing what you like doing, or you move on to something new. But if you keep tying your value to outcome and recognition instead of process you are going to have some incredibly depressing years ahead, and every time will just be as hard to stomach because of your ego.
Not sure what the point of this argument is. Do we have mathematics for the sake of mathematicians good mental health and career or to solve and discover novel problems? Why should we care if mathematicians can understand proofs if they are correct?
If this is V0.5 of AGI/ASI then by V1 the only system that will be understanding any of this is the AI itself. If AI creates a new field of mathematics month 1, then solutions to new problems in month 2, then another field of mathematics on top of that at month 3 there's no human who will ever keep up with that.
Or the alternative is a flattening of abilities, the AI cannot proceed further than the collective intelligence of humans and in that case this is correct. We'd be in a future where nobody wants to work in a field with an AI dominating it and when AI hits the limit of no useful training data input we'd have this giant gap of nobody know wtf it's done for years and nobody willing to figure it out and advance it.
Ooo here's a dytopian story: - AI gets better at everything humans do - humans stop trying - AI cannot improve anymore than its input data + human support - AI slowly degrades itself (model collapse) for decades, it slowly hallucinates little by little until its hallucinating entire scientific fields losing quality over time - there's a mass population of people in the future who never learned to do anything and now have to relearn and figure out the equivalent of 100k years of AI work in order to prevent its slow degredation while all the systems they've come to rely on start failing around them. The AI has solved every problem but every real solution is saturated with 1000 false ones. - humanity starts from scratch?
I love the idea of an archive of every solution to every problem existing but it's impossible to figure out the correct one. Infinite library like!
It just so happens that even bizarrely esoteric math can later turn out to have some extremely useful and economically valuable applications. And even more useful to have mathematicians available who already understand that specific math.
The random engineer looking at a funny problem 10 years later now has the literal author of the math to talk to about it and implement it.
I have never even spoken to a world class mathematician and now I can have them design with me?
How is this not better in almost everyway?
If said human is kicked to the street with thousands of other homeless people that can't get jobs because AI then robots replaced them, then those fast math problems sound like a pretty bad trade off.
Now, if there's some future where AI leads to abundance and we can all live off UBI, well, probably a worthwhile trade.
The biggest issue I see is the more controversial people leading the AI race at the moment are not the kind of people I'd hand kids safety scissors much less the future of the human race.
Most modern mathematical problems are sufficiently abstract that their proofs or disproofs have no direct application. There's no problem you can fix or invention you can build based solely on OpenAI's construction, because analytic solutions to the Navier-Stokes equations are not used for practical purposes in fluid dynamics. The problems and their proofs are only interesting to the degree that they help us better understand how the math works.
IIUC the Navier-Stokes proof is understandable by human beings, but if it weren't it would be no more useful than a proof that 3 dimensional florg-complete entry seams have no durdle-nodes.
Unless your argument is that mathematicians are effectively useless?
I am assuming that's not your point though.
It's always been a bit bizarre that this isn't the case. Mathematicians are almost always working on problems that there is no good reason to expect to have utility in the real world... problems they selected because of their elegance or whatever... yet there is a strong historical trend of their work having huge importance after the fact. Sometimes in fields that weren't even invented yet at the time of the work.
There's something to be said for the idea that disrupting a system that is working well for no apparent reason is a bad idea.
If AI can perfectly replicate their work but faster and better then what?
SWE have nobody crying for them as they've been massively disrupted.
1. Proving theorems - what AI can apparently replicate faster and better.
2. Creating definitions and new theorems from those definitions to prove, selecting which of the possible statements to work on. I.e. developing the "language" of mathematics. So far there is no evidence that LLM can do this at all well. And there's some reason to think that mathematicians won't be as good at this if they aren't also doing the first part.
The value to society only comes when they do both "well", and it's 2 which is really the black magic where we don't understand why they've been so useful to us.
So I totally agree if AI also cannot do the second part better than a person.
Honestly though, I wouldn't want to take that bet. I never thought that the first thing AI would become super human AGI like is math.
You ask me 10years ago and I'd think the opposite. I think we all would have said we'd have super human HR employees before a super human mathematician.
But here we are.
During the process of optimising and understanding the programmer might learn something new or have some kind of "aha" moment of insight that might lead them down a new path of study where fantastic new technologies and capabilities can be realised
Fast forward to 2026
Most web pages take several seconds to load
Applications crash often for no apparent reason
A vast majority of programmers have no idea what their applications are actually really even doing anymore, so they stack bloat on top of bloat and if something breaks, well I guess that's someone elses problem cos I have no idea what's going on anymore
There's something to be said about levels of abstraction being useful, but abstracting away understanding of the task itself is not the path to generating useful knowledge or applications for humanity
We might be gaining the "what" but we are losing the "why" and the "how" and these are generally fundamentally more important
The answer is 42 but what is the question?
The gatekeeping in math academia is extremely unfair, or should I say objectively fair but personally unfair. I won’t cry crocodile tears.
Because there's lots and lots of money in that and there's not in funding pure math. It sounds like your problem is with the people holding the purse strings.
(I suppose it's possible that in some distant AI future there might be no value in people understanding theoretical math, but I'm pretty skeptical of that; to me it seems like the same error as thinking nobody needs to understand multiplication because you can ask the computer to solve any multiplication problem.)
People usually use these tools in math and science to find an answer. Then often they will work it back using more sane or human pathways. So it's shareable or even beautiful.
Knowing the answer has value. But, often in math the best thing was how someone got there.
If you take that away and turn math into a less fulfilling pursuit where you mostly try to make sense of the output of an LLM, and it's "Astra's theorem #18398" and not "John Doe's last theorem", I'd wager that far fewer people will have any interest in the field.
This is really not unique to math, by the way. AI is undermining a lot of creative work. Why blog when you have much better odds of making it to the top of HN with autogenerated blog-slop? Why write books when many nonfiction categories on Amazon are now dominated by AI? The list goes on.
There's plenty of people on HN who think it's nothing new, ignoring the huge change in scale. And those who think this is good because there's no inherent value to human creativity if we can get the same content faster and for less. I disagree.
This is an absurd thing to say. Hacker news is not the only place that knows about the most famous mathematician in the world. Glancing at Google Trends he seems to be roughly as famous as Linus Torvalds. Not exactly a household name but by no means obscure.
Ask 1000 different individuals if Terrence Tao rings a bell. If 5% or less can answer you who Tao is, it is safe to say that Tao is obscure.
I'd be very surprised if you can find over 50 individuals, out of the 1000, who can tell you who Terrence Tao is. Even big names like Euler or Gauss would surprise me.
Stop 100 people on the street in NYC or Berlin or Tokyo and I bet none of them will be able to name any living mathematician. A few of them might know Linus, though.
[0]: https://trends.google.com/explore?geo=US&q=%2Fm%2F047mjr%2C%...
> In short, the indiscriminate use of powerful solution-extraction tools can achieve the immediate short-term goal of solving problems at hand, but at the cost of sustaining the ecosystem for the next wave of progress, or in understanding the progress already obtained.
Presumably it is only a matter of time until these frontier models are used to create new interesting conjectures. I don't get Tao's line of reasoning.
I probably have delusional expectation of what a mathematician of his level should be talking about, but I expected from him a pure objective analysis on what to do with this new AI thing , what are its limitations, how it can improve the field and the creation of human knowledge, etc.
It’s like someone offers to build mag lev gym weights. It’s very cool that I can now lift the 500 pound weight with a finger. But what will I do when there’s no power and 500 pounds to lift?
Of course, cognition isn’t a single outcome problem like weight lifting. But we build cognition not wholly unlike how we build muscle: one needs resistance. Otherwise I’m not at all confident we “learn” in any depth.
Not sure I agree with this. AI generated proofs can still be analyzed and mined for useful insights. I suppose he's saying the process of banging our heads against the wall on a problem can itself yield useful insight? But what is stopping us from analyzing a proof after the fact. And if we can generate many different versions of a proof that should help us develop a much deeper understanding of the problem than we would have without being able to perceive the "proof landscape"...
The point of mathematics is not to prove results. It is to build conceptual thinking about mathematics. Important problems are important because in order to solve them we have to build concepts tying different things together.
We're not searching for answers. We're searching for insights. Trying to understand the problem causes us to draw the connections and find those insights.
AI gives us answers. But it doesn't help us build those insights. AI has a complete mastery of existing human insights. But doesn't build new ones from its own experience. In a real way, it does not find the opportunity to really learn.
So it tackles problems and either solves them or not. If solved, we now have an answer. If not, it's too hard for humans.
The issue I see with a handed-over proof is tunnel-vision: you explore only the understanding of the proof.
Without a proof, your exploration branches out much further, in directions that could seem fruitless, but may uncover new understandings that are now "hidden" because the handed-over proof drastically lowered the incentives to find them.
Basically: Tasting a delicious soup doesn't tell you how to layer the flavors, but if you want to be a good chef, you better be learning flavors more than you learn dishes!
- If your GPS directs you straight to your travel destination, you are now where you wanted to be but missed out on the exploration. This is the sort of consequences the AI math proofs have.
STEM research thrives on that side exploration and unearthing unexpected things along the way. James Burke's famous documentary Connections spends the middle episodes talking about the unexpected directions that exploration has taken science. It's very hard to credibly make the case that this sort of meandering exploration is not valuable.