@ahltorp@mastodon.nu @cwebber@social.coop If human beings can reverse-engineer a machine-derived proof, then that could be useful at least.