Of course, Open AI isn’t going to cite references for all the sources it spudered through to assemble the proof, and likely will be borrowing on a lot of work already done by mathematicians.

So, breaking the rules maintained by all institutions of academic research.

Incidently, LLMs can’t logic. We’ve discovered this when they screw up simple logic problems. They have to depend on human explanations of logical processes, usually when someone else reported on the solution to the logic puzzle.