Large language model+Reinforcement learning → AI in mathematics

DeepMind's AlphaProof and AlphaGeometry 2 solve 4 of 6 International Mathematical Olympiad problems — 28 points, silver-medal standard — deepmind.google ↗

Science · Education

⚑ Backed by

• Science / Timothy Gowers: “To prove something that LLMs can't prove”
• Science / Hugo Duminil-Copin: “OpenAI’s release of hundreds of AI proofs is a “monumental shock”: for mathematicians “it is the day after”; on one problem it felt like running a marathon with someone on his back who jumped off in the last 100 metres to cross the line first”
• Science / Jack Clark: “We've seen both a tremendous advancement in the ability for AI systems to make creative-seeming math breakthroughs … I now think it's more likely we'll see full RSI become possible in 2027, whereas before I thought it was more likely in 2028”

¶ cpmp95wjd