Yes, it does state they found proofs and new theorems but also false ones too. I'm curious what new insights the ones that were proved hold.

It's really cool how AI is just able to decipher these and validate them with automated theorem provers. Crazy times!