Are you aware that Tao is among the largest proponents of using AI in mathematics? The usage itself is not the point here.
My answer to both is the same: nothing stops mathematicians from doing both of those things, with or without the help of AI. And we all understand that it will take time to do that. But complaining about the dawn of a new era of advancements seems counterproductive.
you completely misunderstood the critics. your analogy is awful. this is much closer to the industrial revolution in the uk: it brought a lot of progress, but also extreme inequality and concentration of power.
Are we on the same page?
https://terrytao.wordpress.com/2026/09/11/a-severe-misalignm...
> It's not about whether the conjectures themselves are interesting or not, or whether people simply have enough time.
Tao seems to think otherwise, if I am reading him correctly:
I wrote recently about how the collection of good, fruitful open problems is now being mined in a non-renewable fashion, leading to the potential scenario of these problems becoming scarce [0]
Often these solutions are announced in a rush, leaving no time for a proper writeup, the isolation of new methods and ideas, and citing relevant previous work of others. As in all creative professions, this raises severe attribution and plagiarism questions. [1]
> It's that a bare proof made by a machine doesn't actually do much for us.
I get it, and I think the same can be said about all sorts of human endeavors.
> There is not some set of problems that, once finished, will amount to some kind of final, correct system and we can call it a day and, like, utilize it.
Sure. Although there are certainly practical applications to be found along the way. E.g. proving P=NP would be potentially very significant in the real world. I think we agree.
> "Mathematics" is the people doing it (the "mathematical community" Tao references below)
Sure. And the same can be said again about all sort of human endeavors. But I don't see how that is a reason to stop using AI in those fields, either. It doesn't subtract anything, in the same way that chess engines didn't destroy the love of the game for chess.
And just like in chess, these AIs can be used to gain a deeper understanding. Including, but not limited to, explaining to humans the proof they just came up with.
[0] https://mathstodon.xyz/@tao/117237320796901560
[1] https://terrytao.wordpress.com/2026/09/11/a-severe-misalignm...
Also, how, in your words, do you feel like the first quote justifies your point (presumably with regard to the question of "interesting" or not)? And why do you think the second one is more about time itself rather than attribution? Do these things actually contradict the letter above (or the comment on it) in your mind or not?
In general, do you disagree with something here specifically? Or is it kind of a yes/and thing? Does any of this help, in your mind, with the Baudelaire comparison you were at least at one point trying to argue for? Its a bit hard for me to see the argument here, if there is one, just with what you have written. But I am sure I am just not knowledgeable enough to grasp the argument!
Some folks are struggling to adapt to this change. Tao actually sounds like he is doing alright compared to most, even if some of his arguments seem a bit weak, as I alluded to in other comments in this thread.
Hopefully it makes some sense. And if it doesn't, at least we had a nice chat.
The historical record. That's why I am drawing some lose parallels with Badulaire. Incumbents being unhappy about a disruptive technology, lashing against the early adopters, and fearing that it signifies the end of their craft, when in reality it's just a period of change and adaptation. Without the advent of photography we would not have Impressionism nor all the movements through the 20th century. Photography forced painters to reinvent themselves, and LLMs will force mathematicians to do the same.
I thought the historical examples of photography and chess engines would be enough for people to connect the dots, but apparently not.
I guess I am sorry for pushing, I felt like maybe there was going to be something more specific to the point.
I think one thing to keep in mind in the future is that for every Baudelaire, there is a Benjamin or Italian futurist saying the exact opposite! Its not like the fear of photography was a monolithic, shared thing, even at the time. Just, it's not so straightforward to have the "historical record" speak exactly one narrative, and unless you are a full-on technological determinist (is anyone these days?), you can't really conclude anything from the past like this.
You're just an overconfident idiot who thinks that because there is an analogy along one dimension of a absurdly complex problem you've somehow arrived at a superior truth.
I repeat, this is an incredibly complex situation in which no one fully understands what's going on. The letter is simply asking for greater awareness of the implications of what AI companies are doing, they're not even saying that AI is bad!
It's what fanatics do when they want to enforce their view on the world, they have to attack anyone with a reasonable viewpoint because they can't imagine a world where someone tells them they don't like what they're doing.
As for the rest of your comment, I hope you have a great day.
You're locked into that idea, but provide no real argument. The dangers they describe in the letter are real.
It's the work of authoritarians and needs to be rightly called out.
This is what I was alluding to:
I wrote recently about how the collection of good, fruitful open problems is now being mined in a non-renewable fashion, leading to the potential scenario of these problems becoming scarce [0]
It's especially annoying given that many people are making repeat Baudelaire's critique of photography (or Socrates critique of writing) in the context of AI and the declaration is interest because it's not that.
> nothing stops mathematicians from doing both of those things
Actually yes, and they explain that pretty clearly in the letter. These problems have been used as "goals" not because the solutions are necessarily worth it, but because they set a clear direction whose process would probably yield very useful theories, and also more conjectures and problems. If the goals get solved by AI models that do not generate comprehension, then the direction gets less clear, it's harder to collaborate and get funding (think what would be easier, to get funding to try and solve Navier-Stokes or to try and understand an already proven Navier-Stokes?), and we get less open problems to work on.
It all comes down to this. Yes, they will need to give a good and convincing argument to the taxpayer. And at the end of the day, if the circumstances change, and you're unsuccessful in making your case in your plead, the taxpayer and their representatives may not want to keep the same level of funding and instead put that money to use elsewhere. So make a good argument why your job is still worth that cash under the new circumstances. The argument can appeal to aesthetics and art and philosophy and a kind of feeling of religious elegance and so on, it's fine. I can't say how well that will work, but it's worth a try. Taxes also fund theology and other pursuits with no tie to cold hard engineering etc. But that level of funding is not the same as for math currently. That gap may shrink.
- The useful part of math is the tools, the understanding and the theories. Knowing whether the result is true or not is usually not useful. Imagine an AI that just says “cancer can be cured” but doesn’t say how: that’s what the letter is criticizing.
- Terry Tao is one of the biggest proponents of AI use in math. He’s been for quite some time and he shares a lot on his blog.
Seriously, it seems like you’re arguing about some idea you have in your head and you’re not making the effort to actually understand anything about this letter.
These people are concerned about internal community dynamics like tenure, chairs, PhDs, grad students, the whole ecosystem, papers, hiring, conferences, journals etc. But the wider population doesn't care about this and academics don't understand that nobody cares about this outside their bubble.
As Feynman said, "mathematicians can research what they please. If you want something else, you work it out yourself" (not verbatim). Indeed, now people can do this with AI and it makes mathematicians salty that they will have less prestige.
It was an example, an analogy to argue that answering a question might not be as important as how it arrives to that question. Hence the “imagine”.
> These people are concerned about internal community dynamics like tenure, chairs, PhDs, grad students, the whole ecosystem, papers, hiring, conferences, journals etc.
You just described most of the parts of the mathematical community.
> But the wider population doesn't care about this and academics don't understand that nobody cares about this outside their bubble.
I don’t care about the logistic system and yet I want my food to be in the market. If the population at large wants to use mathematics they will have to find a way to support a mathematical community. Now, if you don’t want mathematics, again, go argue about that.
> Indeed, now people can do this with AI and it makes mathematicians salty that they will have less prestige.
Except that they can’t. I do not know how many more times we need to explain that “answering questions” is not what mathematics is about. That if that path is followed, then mathematics will suffer as a result and the pace of mathematical development will slow down.
Honestly, I think it would be better for you to really stop attributing the arguments of mathematicians that are by no means anti AI to saltiness or other childish feelings. Try to be more humble and try to find what kind of ideas they might hold for them to argue this letter. Of course, that requires reading the letter and trying to understand it.
Just as science (as in the scientific method) isn't the same as Science, the community social practice and logistics and tenure rules and committee compositions and journal page limits etc, mathematics is not the same as the academic mathematics community. They are not the sole producers of mathematics and not the sole users. The funding is largely in the hopes of the usefulness of the resulting math. Not all. Some funding is like art and culture funding, for propagating a cultural legacy, like folk dance also gets funding and experimental performance theater also gets some tax funding. But that's not the bulk currently in math.
I have read the letter. It's all about stuff of holding back because they don't want the answer key because prestige reasons, and how will grad students train their brain if we have too many answers. This doesn't consider that many people, like engineers, use math as a tool. They don't want to hold math back. It's fine to think that applications are too dirty. Again, they want funding, they have to explain why exactly they should get it. And it better be an explanation that still holds water with AI available. They can do the aesthetic math as an art side project like an accountant can paint or sing off the clock. But generally you also don't pay everyone for their hobbies even if those hobbies are nice culturally rich endeavors.
And you have not understood it.
> they don't want the answer key because prestige reasons
No, that’s not the reason. They don’t want the answer key because the answer key is useless.
> This doesn't consider that many people, like engineers, use math as a tool
Of course it considers it. Many people, like engineers, could not care less about the answers to most problems mathematicians work on. They do care about the tools they develop in the process. I’ve already shown examples of this but I’ll do it again: Galois theory was developed when trying to answer whether there are formulas to solve roots of polynomials of degree 5. Fourier analysis was developed when trying to find an analytical solution to the heat equation. Riemann developed his geometry to explore which Euclidean axioms were actually important. None of the direct answers were as important as how they got to them.
> Again, they want funding, they have to explain why exactly they should get it. And it better be an explanation that still holds water with AI available.
The explanation will be exactly the same. Only it will not be just hard to explain why the problem is important, but also it will be harder to explain that no, just the answer by itself is not useful without the understanding. Just like I am here having a really hard time explaining to someone who doesn’t understand how mathematical research works why “just getting the answer” is not a useful output.
> If the AI can digest it better, then academic mathematicians will become humanities professors
Cool, then once that happens we can discuss what to do. In the meantime, AI does not digest proofs properly, does not explain them and does not generate any understanding, and it doesn’t look like that’s going to change. Hence the letter and the criticism made to the approach taken by AI labs. It is not that hard to understand.
I find it interesting how many people are incapable of imagining that the tech capability will not be frozen at today's level and where we were e.g. a year ago and that a similar change may happen until next year. Instead they make sweeping assumptions that the current limitations will be with us for our lifetimes. You need a much stronger way to adapt to the new reality.
It's absurd to assume that because LLMs are improving in certain aspects they will improve in everything, specially when the part they are lacking in is not precisely something that would be a strength of their architecture. I mean, models have improved a lot but they are still not good at strictly following instructions consistently (there's a reason why AI labs are worried about safety alignment). They are still mediocre to bad at software design, even the latest models (haven't tested Astra seriously yet). And it's the same reason they are bad at creating mathematical theories: they do not have mental models like we do, it's not even useful for them. Their comprehension is limited to textual context that they need to refresh and reprocess continuously. That's just how LLMs work.
> I find it interesting how many people are incapable of imagining that the tech capability will not be frozen
I find it interesting that after taking this long to, I assume, finally understanding the point the letter was making, you automatically switch to "oh well AI will do that too".