I would expect a move 37 would look like Dvir’s proof of finite field Kakeya conjecture
For a Move 37 impact in math, one would have to e.g. construct an original method or definition which reinvents the problem (or an entire field...)
So far AI results have found (very clever) combinations of pre-existing techniques (to amazing effect, to be clear)







