Xena
AI at IMO 2025: a round-up
Think of a number: an update
What is a quotient?
Think of a number.
Can AI do maths yet? Thoughts from a mathematician.
Fermat’s Last Theorem — how it’s going
Lean in 2024
Formalising modern research mathematics in real time
Lean 2022 round-up
Beyond the Liquid Tensor Experiment