Ben Watkins finished his 4th year of mathematics at Cambridge in 2025. His interests include theoretical physics, quantum computation, and mathematical communication: sharing the joy of maths with a wider audience!
A walkthrough of how to use a proof assistant for a very simple result.
Human mathematicians make errors. Proof assistants are here to help and while they're at it they turn maths into a highly collaborative experience.
The Anomalous Mathematical Patterns Sci-Art Contest was held as part of the Stochastic systems for anomalous diffusion research program at the Isaac Newton Institute.
The harmonic series look simple. But, perhaps breaking your intuition, grows without bound!
The surprising physics of stacking coins.
