AlphaProof
Nature reveals Google IMO gold medal model technical details: Core team of only 10 generates 80 million math problems for AI training in a year
Google DeepMind Unveils AlphaProof — IMO Gold Medal-Winning AI Google DeepMind’s latest breakthrough in mathematical reasoning, AlphaProof, has been fully disclosed — including both its architecture and training methods. Continuing DeepMind’s naming tradition, AlphaProof builds upon earlier successes like AlphaZero and now joins the ranks of Nature-published research. --- Behind