Hacker News new | ask | show | jobs
by singularity2001 53 days ago
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.