Comment by matteoraso

Yes it is. Do you not know how RLVF works? The AI tries on a task, comes up with a potential solution, and is trained based on whether the solution is valid or not. If proving a previously unproven theorem and then using that information to solve even more theorems doesn't count as creating new information, then literally everything a mathematician does is just recycling what they've been taught.