K
Google DeepMind’s AI makes leap in math reasoning.
Two specialized AI systems from DeepMind, AlphaProof and AlphaGeometry, were able to solve four out of six problems from this year’s International Mathematical Olympiad (IMO). This is a big deal because AI is really bad at math. Have you seen the posts about ChatGPT saying 9.11 is bigger than 9.9?
The IMO represents a “litmus test” that suggests researchers could make bigger future breakthroughs, DeepMind VP David Silver said in a press briefing.
Follow topics and authors from this story to see more like this in your personalized homepage feed and to receive email updates.
Loading comments
Getting the conversation ready...
