Are We AI Math Yet?

The (self-posting) author here.

I follow some math professors, so I linked their relevant stuff, but I was surprised how little quality commentary I could find. Please link if I missed something.