A guest post by Walter Dean and Alberto Naibo| siliconreckoner.substack.com
Slideshow of the presentation at JMM 2025| siliconreckoner.substack.com
FrontierMath is a benchmark of hundreds of unpublished and extremely challenging math problems to help us to understand the limits of artificial intelligence.| Epoch AI
Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics| Google DeepMind
Our AI system surpasses the state-of-the-art approach for geometry problems, advancing AI reasoning in mathematics| Google DeepMind
1. Introduction| plato.stanford.edu
I am very happy to say that I have recently received a generous grant from the Astera Institute to set up a small group to work on automatic theorem proving, in the first instance for about three y…| Gowers's Weblog