Google’s AI systems, AlphaProof and AlphaGeometry , have demonstrated significant progress in solving complex mathematical problems, a key area of generative AI development . The systems were able to solve four out of six questions at the 2024 International Math Olympiad, a prominent competition for high school students .
Key Highlights:
AlphaProof: Solved three of the competition’s problems, including the most difficult question, which was solved by just five out of more than 600 human contestants .
AlphaGeometry 2: Solved an additional math problem .
Reasoning Capabilities: The systems demonstrated greater reasoning capabilities, resembling human intelligence, which is a key frontier of generative AI development .
Time Taken: One question was solved within minutes, while others took up to three days, longer than the competition’s time limit .
Context:
Current AI Models: The current class of AI models, which work by statistically predicting the next word, have struggled with abstract math, which requires greater reasoning capabilities .
Google’s AI Unit: DeepMind, the company’s AI unit, published the results of the AI models in development .