AIxMath is going through some extremely confused chatter at the moment. Everyone agree on the facts, yet the interpretation oscillates between "I have never seen an AI have a brilliant idea & it probably will never happen" and "math is so over, look at this algebraic geometry conjecture that got resolved!". As often in life, neither of these caricatures capture what is really going. I did my best attempt at describing the arc of progress in my recent talk. It's long form (45 minutes) but I think that's what is needed to get a grounded and contextualized view of today's SOTA.
If I'm forced to give a tl;dr it would be: 1 year ago AI could at best save me an hour of work in mathematics (at best), while today IF I ASK THE RIGHT LEVEL QUESTION it can do work that would have taken me days, sometimes (though rarely!) even weeks. And there is no reason that this progress won't continue at roughly the same rate.
