Sharing AI progress in mathematics

5 Prevalent Themes in the OpenAI Math Discussion

1. Concerns about OpenAI's engagement with mathematical norms
Many commenters felt OpenAI only engaged with mathematicians after public pressure, framing it as damage control rather than genuine collaboration.

"Good to see they're engaging with the mathematical community, even if they had to be publicly shamed into doing so." — senderista
"This is the opposite of what the mathematical community were asking for. I say this as someone who strongly approves of this approach." — sebzim4500
"They aren't asking for permission, they are framing it that way because of the bad press. There's no gatekeeping here!" — xpct

2. Debate over whether AI results constitute real mathematical progress
Discussion centered on if automated theorem proving advances human understanding or merely produces unverifiable tautologies.

"Math theorems are tautologies, the truth of which are not dependent on proofs and proofs are erasable... But the AI progress is exciting and AI proofs are a gold mine for humans." — fspeech
"My point is it is crazy to make public claims about how important or not important a mathematical result is when you can't spell Riemann. Yes, it technically doesn't matter, but it betrays a damning lack of familiarity with introductory mathematics." — traes
"Let’s be very clear, the alleged 'stolen results' were largely the product of another LLM, not de novo human work. Also, it was false - they did not steal the results." — whimsicalism

3. Anxiety about impact on mathematicians' careers and academia
Fear that AI solving problems rapidly devalues human effort, disrupts PhD trajectories, and could automate mathematical labor.

"Academics have been treating it that way because they had no other choice, and its been a waste of everyone’s time and often times taxpayer resources... Look at that, taxpayer funding was cut and a private sector solution came in just the nick of time." — yieldcrv
"I did get my PhD...before AI. And my honest advice (to myself back then, even) would be: quit the PhD, become an electrician, and work hard to buy a tiny house in the middle of nowhere to watch the world burn in this madness." — vouaobrasil
"Most work on maths has no real benefit other than to further human understanding of maths - it's more like an art. Nothing is gained from OpenAI solving all these problems but taking jobs from mathematicians." — mattr03

4. Technical scrutiny of specific results' validity and significance
Close examination of claims like sub-n log n multiplication, Unique Games Conjecture proofs, and Riemann-related findings.

"This is a massive big deal, and would likely be a Fields Medal for a human if a human had done it." — JoshuaZ (on Quasi-Riemann Hypothesis)
"A quick check shows that this list claims to fully solve 90 of the top 500 open problems in math... The highest ranked would be: | 22 | Hilbert’s tenth problem over ℚ | | 29 | Unique Games |" — zone411
"The average result used the equivalent compute of roughly three hours of ChatGPT Pro thinking." — foota (citing GitHub)
"Surprising that this is possible... 109. Integer multiplication below n log n" — kingstnap

5. Broader implications for AI safety and existential risk
Debate over whether math-solving AI represents a controllable advancement or a step toward dangerous recursive self-improvement.

"I believe the AI labs might actually succeed in developing superintelligent AI and recursive self improvement, and that if they do they are very likely to lose control of the system they build." — againstapples
"Before I cope, I’ll note that there are plenty of 'doom' scenarios that do not require any improvement in capabilities from what we had before this latest unreleased model... With that in mind, here is the cope: first, mathematics is an inherently verifiable domain." — arctic-true
"Misuse of extremely capable models, misalignment during RL are both very large risks as capabilities grow imo" — whimsicalism