3 ms·
I think you'll get machines that can check human proofs first.
by edflsafoiewq 3y ago
I think you'll get machines that can check human proofs first.
- sebzim4500 3y agoI think the only way to do this that anyone will find convincing is to have an LLM turn the human proof into a machine checkable one, so all the research into Lean etc. will still be useful.