blog — Proofs and Prompts — 26 Oct 2026
Use LLMs to check your work
#llm-applications #mathematical-practice #proof-verification
Most discussions about LLMs in mathematics seem to focus on their (rapidly advancing) proof discovery abilities and the effects these abilities may have on professional mathematics. I write here about a different use of these technologies, to make the following point: we have a professional duty to use LLMs to proofread our work.