18 months ago people were complaining that AI was not quite at undergraduate level in Maths, nine months ago that it was not quite at a PHD level - we are now seeing it an advanced post-graduate level…. (And people are reassuring themselves that is not yet at a Nobel level)
I crossed an interesting threshold yesterday, which I think many other mathematicians have been crossing recently as well. In the middle of trying to prove a result, I identified a statement that looked true and that would, if true, be useful to me. 1/3