Today, we present AlphaProof, a new reinforcement-learning based system for formal math reasoning, and AlphaGeometry 2, an improved version of our geometry-solving system. Together, these systems solved four out of six problems from this year’s International Mathematical Olympiad (IMO), achieving the same level as a silver medalist in the competition for the first time.
Hehe, namedropping “AGI” in the very first paragraph and then going ahead with an AI that is super tailored to a narrow task like formal math proofs and geometry…
It could be used in a mixture of experts type situation