This is a short summary. ↗ Open original to view full content
Lean 2022 round-up
from blog Xena, | ↗ original
More from Xena
Can AI do maths yet? Thoughts from a mathematician.
22 Dec 2024 |
original ↗
So the big news this week is that o3, OpenAI's new language model, got 25% on FrontierMath. Let's start by explaining what this means. Continue reading →
Fermat’s Last Theorem — how it’s going
11 Dec 2024 |
original ↗
So I'm two months into trying to teach a proof of Fermat's Last Theorem to a computer. We already have one interesting story, which I felt was worth sharing. Continue reading →
Lean in 2024
20 Jan 2024 |
original ↗
A huge amount happened in the Lean theorem prover community in 2023; this blog post looks back at some of these events, plus some of what we have to look forward to in 2024. Modern mathematics I personally am a … Continue reading →
Formalising modern research mathematics in real time
4 Nov 2023 |
original ↗
(This is a guest post by Bhavik Mehta) On March 16, 2023, a paper by Campos, Griffiths, Morris, and Sahasrabudhe appeared on the arXiv, announcing an exponential improvement to the upper bound on Ramsey numbers, an open problem since 1935. … Continue reading →
Beyond the Liquid Tensor Experiment
12 Sept 2022 |
original ↗
The liquid tensor experiment is now fully completed. Continue reading →