I feel a twinge of sadness as a result
27 October 2026 (Al Jazeera). Alex Iosevich, a mathematics professor at the University of Rochester, reacting to OpenAI's claim that its AI proved the local smoothing conjecture, on how AI may change theoretical mathematics.
AI makes discoveries in mathematics, computer science, physics, OpenAI says
Who else?
What it refers to: AI is changing theoretical mathematics after OpenAI said its models proved the local smoothing conjecture.
Other voices
- “Human mathematicians are forevermore dethroned as the main theorem-proving entities on planet earth” Scott Aaronson,
- “If we don't adapt, there's just no more math in 50 years, no one is doing it, not even the machines” Daniel Litt,
- “There'll be nothing human mathematicians can do that AI can't do better” Richard Borcherds,
- “Whole research programs wiped out on tuesday by their dump” Tristan Buckmaster,
- “It just killed, bulldozered all the problems I was working on” Hugo Duminil-Copin, Researcher,










