> the (broad) field of mathematics got mined for solutions that already existed within the corpus

I think we’re still trying to figure this out. Once the proposed proofs are verified and deciphered I think we’ll have a better answer.