The main nuance that your description
LLM are already good at solving complicated, Ph.D. level mathematical problems
misses out on is that these are very specific kinds of problems:
Problems must be novel and unpublished, with answers that can be automatically verified through computation—either as exact integers or mathematical objects like matrices and symbolic expressions in SymPy.
That excludes nearly all of research math.
The main nuance that your description
misses out on is that these are very specific kinds of problems:
That excludes nearly all of research math.