Comment by andriy_koval

> 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.