blog — Proofs and Prompts — 21 Sep 2026
Many choices lie ahead
#philosophy-of-mathematics #mathematics-practice #ai-in-mathematics
Jonny Evans, Reader at the University of Lancaster I don’t use LLMS. I’m not going to say that you shouldn’t; it’s a choice. I don’t see the advent of LLMs as an existential challenge to mathematicians. Why would we lose our fascination with deep truths, patterns and connections just because computers can help? That, too, […]