> So there will be endless work for humans to go over machine proofs and turn it into something we understand
I'm not convinced humans will be better at this than LLMs. Frontier models are quite good at handling even deliberately lazy/ambiguous eli5 prompts on complex topics IME.
I'm not convinced humans will be better at this than LLMs. Frontier models are quite good at handling even deliberately lazy/ambiguous eli5 prompts on complex topics IME.