> So which is it??

there is also will be new option of "maybe correct LLM proof", which humans will never be able to comprehend and verify.