Essays on mathematics:

• In Praise of Lectures
• The Two Cultures of Mathematics

Mathematical writing:

• Practical suggestions for mathematical writing

AI benchmarks for mathematics:

• FrontierMath
• IMProofBench
• First proof

Autoformalisation:

• Project Numina
• Aristotle
• Math Inc
• Axiommath