ALPHAPROOF

Summary from the TLDR AI newsletter

DeepMind has combined a pre-trained Gemini-style language model with an AlphaGo-style RL algorithm to train a model to solve International Mathematics Olympiad (IMO) problems at a silver medal level. The system solved 4/6 problems in this year's challenge.