Comment by antonvs Comment by antonvs 2 days ago 0 replies Copy Link View on Hacker News Yes, I was referring to writing the proofs, which is very much the human or LLM's job.