Essays on mathematics:

Mathematical writing:

AI benchmarks for mathematics:

Autoformalisation: