3 ms·Yes, I was referring to writing the proofs, which is very much the human or LLM's job.by antonvs 10mo agoYes, I was referring to writing the proofs, which is very much the human or LLM's job.