Formal proofs are made to be done by AI. If a green checkmark goes away so be it. AI might or may not understand how to fix it but it's no burden to the user /

Formal proofs are made to be done by AI. If a green checkmark goes away so be it. AI might or may not understand how to fix it but it's no burden to the user / developer.