Proof-reading, with a bit of help from LLMs (opens in new tab)

What have I learnt over recent weeks, preparing a corrected version of Introducing Category Theory, invoking — at various stages — my friends Claude, Gemini and ChatGPT as proof-reading assistants? Not very helpfully, the take-home message is that LLMs are both extremely useful and also surprisingly bad at proof-reading. To explain … Let me backtrack. […] The post Proof-reading, with a bit of help from LLMs appeared first on Logic Matters.