This is a short summary. ↗ Open original to view full content
New year, new teaching material
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 →
Lean 2022 round-up
8 Jan 2023 |
original ↗
A brief survey post containing some of the things which happened in the Lean community in 2022. The Liquid Tensor Experiment In December 2020, Fields Medallist Peter Scholze challenged the formal computer proof community to verify one of his theorems … Continue reading →