> It just takes bits and pieces from proofs in the same field of mathematics that kinda hold together language-wise.

That's how AI research works, you do that first, then run the tests and see the score. If it works, then you publish. There is no real understanding anywhere in this process.