It might but the math results from GenAI so far have been limited to finding counterexamples to known conjectures, not building new mathematics.