Essays on mathematics:

• The Fall of the Theorem Economy
• In Praise of Lectures
• The Two Cultures of Mathematics

Mathematical writing:

• Practical suggestions for mathematical writing

AI benchmarks for mathematics:

• FrontierMath
• IMProofBench
• First proof

Lean:

• Useful tools
• AI formalisation leaderboard

More autoformalisation:

• Project Numina
• Math Inc
• Axiommath