The fall of the theorem economy

Recent advances in general models — ChatGPT and Claude — have started to autonomously solve open mathematical problems. For example, Erdős 1196, Tim Gowers’s PhD student problems, OpenAI’s Ramsey numbers result. There are a lot of caveats — were the problems widely enough studied, could the solutions be coming from some past human result, etc. But if one zooms out and considers the progression of AI capabilities, it is hard not to conclude that more and more open problems will be solvable by autonomous AI.

Computer music, photography, some poetry and fiction, and something more or less like theology or...

This posting is mainly intended to provide some links to material about AI in math and physics that I’ve found interesting. I confess that to a large degree I’m trying to avoid seriousl…

Table of Contents April 2026: The fall of the theorem economy - David Bessis These are some links to interesting posts around the web, with some quick quotes/notes. April 2026: The fall of the theorem economy - David Bessis Link to heading from the moment I conceived of Theorem 0.5, I knew it was true and that proving it would be straightforward. Too long but wow:

In his very useful blog about theoretical physics, Peter Woit has started to pay attention to artificial intelligence and its uses by mathematicians and physicists. In this post, Woit references...

AI Latent Spaces as Shapeshifting Skeleton Libraries and Explosion Drawings bearing cognitive hazards and new opportunities to play.