That won't work because the systems aren't trained on proofs and proper theorem ...

qayxc on Feb 3, 2022 | parent | context | favorite | on: Competitive Programming with AlphaCode

That won't work because the systems aren't trained on proofs and proper theorem provers don't work that way either.