Comment by UltraSane

He is right and it doesn't matter because you can instantly tell if the proof the LLM generates is true or not.