Two summers ago (if anyone still remembers that far back), AlphaProof was one point off of a gold medal on the IMO. Last summer, a half-dozen labs declared gold medal performance. Shortly thereafter, I predicted that the number of systems getting gold this summer would be... Zero Because nobody would care about the IMO anymore, and it would return to being something 17 year old kids do. I think I was largely right? Have you heard anything about the IMO? Basically no; it's just too easy. Prediction: the number of major math problems being solved *by labs* next summer will be... zero. It will be too easy for them, and will return to being something math professors, postdocs, and grad students do... (What do you think?)

There is and always will be (!) a boundary to the frontier of knowledge. AI helps us push that frontier, but mathematics that’s not understood by humans is as valuable as 1000 books that no human will ever read. My advice: start working on harder problems! (Maybe that’s easy for me to say; I keep putting the problems I’m working on into AI, and unfortunately so far, no dice.)

I keep hearing people saying “math is solved”. I claim the opposite: people with a high level of technical skill are even *more* productive, and hence valuable, with new tools. Now is the time to double and triple down on the numbers of math majors and PhD students!