"After I saw Tao post his impressions of o1 online—he compared it to a “mediocre, but not completely incompetent” graduate student"

for math, to be a graduate student of 'not completely incompetent' skill level, still seems like a pretty big leap for AI.