The Adversarial Prover: A Skeptic’s Approach to LLM-Assisted Mathematics

Frontier large language models from, e.g., OpenAI and Anthropic are completely reorganising the landscape of knowledge work. Indeed, higher education will not escape: the daily evolving arms race between assessment design and chatbot use is in full swing. You can bet I have a lot to say about this, but that is for another day. […]