@maherben@mathstodon.xyz with cheap AI generated code, code reuse isn't always an objective. I guess with cheap AI generated proofs, proof reuse may not always be important.