blog — Proofs and Prompts — 16 Oct 2026
On AI statements in mathematics papers
#large-language-models #ai-assisted-mathematics #mathematical-practice
“Over the past year, many people have written eloquently and at length on the continuously improving power of generative AI (Large Language Models or LLMs) for research mathematics. Opinions range over the entire spectrum from negative to positive, but all seem to agree that mathematics is going through a period of enormous change […]”