[This is a guest post by the Advisory Group on Mathematics and Artificial Intelligence. This blog post was initially written in a different file format and converted using AI. — T.] We would …

161 points•digital55•9 days ago•87 comments•

87 comments

ipdashc9 days ago
I knew mathematicians were a smart bunch, but honestly, the events of the past few weeks have really given me a new level of respect for them.

They might be the first community I've seen to experience the AI "rush" and (at least as presented to an outside observer) immediately come together, assess the situation, and calmly, empathetically, and rationally act. They evaluated what AI is good at and what it lacks. They've thought through how it'll likely affect their field in the future. They've explained where the need for humans still lies, and made clear proposals for how to change their own field and for what demands to make of AI companies. Of course they're not all on the same page, but they're at least talking and trying.

They haven't started worshipping the machine god and loudly claiming their whole field is solved. Nor have they flailed wildly at LLMs as if complaining enough about it will make them go away.

Every major statement I've seen come out of the math community on this matter reads as well thought-through, humble, reasoned, and deeply human.

In these days of fear, uncertainty, and obsolescence anxiety, honestly, they've given me some confidence that maybe we will figure this stuff out after all. Maybe we'll learn from them. Who knows.

bananaflag9 days ago
> I knew mathematicians were a smart bunch, but honestly, the events of the past few weeks have really given me a new level of respect for them.

As a mathematician, I am a bit disappointed by my (admittedly illustrious) colleagues.

I get the need to take it slowly (and I am a quite impatient person, so I shouldn't get to decide stuff like this), but everything said feels a bit too sour grapes for my taste.

Ok, maybe AI did not solve the field (I believe it will, btw), maybe there is a need for human "understanding", but:

1) They don't seem to consider even the possibility (not the certainty) that they might be wrong, that math as we know it is gone, and we cannot "adapt"

2) They seem to have been oblivious all these years about AI eventually reaching this point (at least I personally wasn't, I predicted this stage back in 2018)

traes9 days ago
Regarding 1, it's not clear what you want them to actually do. Would you rather they just gave up, rolled over and died instead of at least trying to rescue their field? What is to be gained from considering this?
7ahGa9 days ago
As a Nobel Prize winner, I am surprised that you have not noticed how Tao and Gowers were steering everyone in the AI direction for years and now do damage control by nudging everyone to either hypothetical open models paid for by industry or the EU or sitting in a committee that "advises" OpenAI.

No one is saying "Perelman and Wiles didn't need that silly AI and N-S was more of a counterexample". Most people imagine the sky is falling.

What if OpenAI is stalling because they don't have 100 additional unpublished proofs as claimed?

Davidzheng9 days ago
I think I'm mostly on your side (also I believed early it would get here), but what does it mean to "solve the field"? I'm pretty much as bullish as you get on AI but I'm sure I can come up with questions AI cannot solve. I think the space of problems in math is so large and the distribution of proof lengths so heavy-tailed, there's probably no way without dyson-sphereing the sun to solve all easy to state problems.
huurtehoog9 days ago
How do you conceptualize mathematics being 'solved' and 'gone'?

How do you reconcile that with incompleteness and undecidability results?

redf59 days ago
Without understanding, what are we?
bamb0089 days ago
>Every major statement I've seen come out of the math community on this matter reads as well thought-through, humble, reasoned, and deeply human.

Can't disagree with "deeply human", but I wouldn't always use it in a positive sense:

https://proofsandprompts.com/2026/09/10/open-letter-about-th...

>Participation in an event so closely associated with Anthropic and OpenAI could plausibly negatively impact the future reputations of participants

antonvs9 days ago
What do you believe doesn’t reflect positively on the authors of that open letter? It raises valid concerns, and the statement you quoted is a factual observation.
neuroticnews259 days ago
Wow, that's disgusting.
keeda9 days ago
I would not attribute this attitude to the entire Math community, there clearly are many who are reacting negatively to this, as evidenced by several comments on various forums including this one. People are understandably upset about their chosen profession and livelihood being upended and reacting accordingly, similar to how people from other impacted professions are.

This group of Mathematicians just happens to be more willing to accept the inevitable and adapt. I would actually say software engineers, being amongst the earliest impacted by AI after creatives, clearly have adapted to the new reality much more broadly as evidenced by online discourse and coding agent providers' skyrocketing revenues.

rocqua9 days ago
Presumably OP believes that software engineers went to far in the direction of “started worshipping the machine god and loudly claiming their whole field is solved.” Certainly within software engineering there is much louder voices on that side of things. By now the voices saying that it’s useless have pretty much died out. But it seems quite reasonable to say that the wider software community didn’t “come together, assess the situation, and calmly, empathetically, and rationally act.”

One might argue that this is due to size of the software community, or commercial interests. But I do believe OP was right in his description of the response of the math community as different from the software community.

stuckinhell9 days ago
No, I don't think they are adapting well. I've seen 3d designer at my company adapting better on the disruption and paradigm shifts GPT-6 Astra is going to cause.

The 3D designers are in a tougher situation because it's far less of abstract issue then math, and yet the results are astounding. It's hard to believe until you see it yourself. It's surreal.

ksd4829 days ago
Agreed.

Their field is extremely rigorous. As rigorous as it can possibly get in that they have to prove each and every line of their work beyond any doubt. The discipline they have cultivated in their culture shows in their response to AI as well.

As opposed to some other fields in which rigor was either not part of the culture or was not always possible. For e.g., software engineering in terms of code quality being produced. There were some indirect signals here and there but they are all subjective.

cubefox8 days ago
In some sense software engineering is more rigorous than mathematics, because proofs are generally informal, apart from those written in Lean, while all computer programs are strictly formal, as otherwise they wouldn't be machine-readable.
elffjs9 days ago
A comment on the linked post from Burt Totaro:

> If I thought this was a good thing to do, this would be a great group of people to do it. But I have immediate misgivings. OpenAI has had some very bad publicity, and so they are trying to exploit the trust and respect that these mathematicians command. It is unrealistic to think that this group can change the way OpenAI does business; I don’t need to tell you all the objections that people have raised to that. Is it a good idea to help their crisis management?

https://terrytao.wordpress.com/2026/09/21/advisory-group-on-...

philipwhiuk9 days ago
(FRS, UCLA professor of algebraic geometry and topology, with work influenced by the Hodge conjecture, one of the remaining Millennium Prize problems).
auggierose9 days ago
> We are currently facing the very specific challenge of advising OpenAI on how to coordinate the release of a large number of significant results in mathematics that they report have been produced by their internal model.

The only thing I want to see is the problem statements, solutions, and associated Lean proofs. Anything else is gatekeeping. What a low point for academia.

jvvw8 days ago
PhD in maths here, no longer a mathematician, partly because I wanted to do stuff more connected with real life.

I actually want to see interesting theories and mathematical ideas come out of proofs more than I want solutions/proofs. After all most maths doesn't have direct practical applications. So although unsolved problems are a good barometer of 'there's still stuff left to understand here', the interesting part about solving them is less knowing what is true and more 'how does this help us understand this field better than we did before?'.

I would still like to know if the Riemann Hypothesis is true though!

cubefox8 days ago
Regarding that last point: You may know where you left your keys, even if you are "only", say, 99% certain where they are. Now, how strongly do mathematicians believe that the Riemann hypothesis is true? 99.9% perhaps? In some sense then, you already consider yourself less ignorant about the truth value of RH than about the location of your keys, or about many other mundane things you know without being perfectly certain about them.

A proof would then merely update you from 99.9% to ~100%, which is a smaller update than the example of checking that your keys are indeed in your pocket, where you go from 99% to ~100%.

SpicyLemonZest9 days ago
I'm not sure how you've ended up so frustrated with an advisory group whose advice has not been given. Human mathematicians routinely delay publication of their results past the point you describe; is someone gatekeeping when they take a month to clean up their paper?

Or are you perhaps sublimating your own AI anxiety into confrontational assertions that other people who discuss AI aren't as AI-pilled as you?

auggierose9 days ago
You can delay your own publication as long as you wish to. Bullying somebody else to delay theirs is a different thing entirely.
these9 days ago
I don't really get it, seems like a gate keeping exercise for the academic community.

Of course OpenAI and others will hype any LLM led/assisted research results, and the media will find juicy headlines to write about it. But in the end they are publishing findings, and the academic community can gauge the developments and decide what they want to do with them. To me that seems like research working as expected.

pixl979 days ago
The academic community gatekeeps to ensure members of the community are not stealing from each other or are otherwise committing unethical acts.

There are typically processes to ensure rigor in the findings and to weed out crap.

It doesn't always work, but it tends to work much better than any other community

analog319 days ago
There might be a paradox here. We need closed communities to weed out slop. But we need open communities to weed out corruption.
jazzpush29 days ago
Academics are the kings of, and have the most to gain from, gatekeeping.

"This is changing the power we have, let's create a new power structure where we're still at the top, and in control."

No surprise here.

jacobn9 days ago
> This group came together after OpenAI approached some of its members about establishing an external advisory board. In agreement with OpenAI, they decided to create an independent group and invite others to join.

Read the full thread on Hacker News →

Related stories