@eevee@slime.global @zzzeek@fosstodon.org @hynek@mastodon.social so now, every result that it produced is suspect. even if 99% of the results are actually correct, a human has to re-do all the proofs, and the human has to re-do the proofs *independently, without a machine verifier* because the verifier is not actually built to verify this kind of proof, and the steps in the proof are both very complex and also surrounded by valid work and are *much harder* than human work to check