Welcome to the AI crisis in math
TL;DR
Today on Decoder, I’m talking with Robert Hart, The Verge’s London-based AI reporter, about what AI is doing to the field of mathematics and the existential crisis many lead mathematicians are having about it. OpenAI just published a set of solutions to longstanding problems in math that went off like a bombshell in the field. It caused a huge debate in the math community, and Rob spent some time talking to some of the most accomplished mathematicians of our time about it.
Nauti's Take
There is real progress here for research teams: when models solve problems of this class, the line shifts for what can be automated in preparation work. The limit sits in transferability, since a narrow problem type says little about general reasoning.
Anyone working with it gains a strong research assistant, not a replacement for the proof.
Sources