blog — Proofs and Prompts — 3 Oct 2026
One possible future
#ai-mathematics #mathematical-practice #professional-development
If we are not needed to produce maths, then we can spend our time learning. With the right incentive structure, that does not sound so bad.