1
Human mathematicians are being outcounterexampled
It’s been an interesting few weeks for counterexamples. This post is basically my perspective of what has been going on in the world of formalization, AI tools and, in particular, counterexam…
Kevin Buzzard
Mathematicians learning Lean by doing.
- Popular posts
- 8
- Total points
- 2,067
- HN comments
- 1,202
- Rank
- #800 personal
Visit xenaproject.wordpress.com → RSS feedOn Hacker News Jul 2020 – Oct 2026
Math & Algorithms 7AI & Machine Learning 4Software Engineering 2Life, Learning & Writing 1History & Retro Computing 1
2
Can AI do maths yet? Thoughts from a mathematician
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.
3
Formalising modern research mathematics in real time
(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 R…
4
The future of interactive theorem proving?
This is a guest post, written by Zhangir Azerbayev. Zhangir is an undergraduate at Yale, majoring in computer science and mathematics. He completed this work while visiting Carnegie Mellon’s …