It might but the math results from GenAI so far have been limited to finding counterexamples to known conjectures, not building new mathematics.
Not all.
Ehrhart’s volume conjecture
Quantum parallel repetition for general two-player quantum games
Erdős Problem #183 on multicolor Ramsey numbers
Erdős–Sárközy Problem #12(i)/(ii)
Erdős Problem #125
Log-concavity of codimension-3, type-2 pure O-sequences
Optimal O(1/t) last-iterate convergence for Anchored Gradient Descent-Ascent
Prior updated :)