Google DeepMind announced on 21 July that its software had cracked a set of maths problems at the level of the world’s top secondary-school students, achieving a gold-medal score on questions from the ...

AlphaProof showed its prowess on questions from this year’s Mathematical Olympiad — a step in the race to create substantial proofs with artificial intelligence. After beating humans at everything ...

On Thursday, Google DeepMind announced that AI systems called AlphaProof and AlphaGeometry 2 reportedly solved four out of six problems from this year’s International Mathematical Olympiad (IMO), ...

An artificial intelligence tool that hunts for unintuitive mathematical patterns appears able to tackle a wide range of maths problems, including some that haven’t seen progress for decades. AI models ...

AlphaProof and AlphaGeometry 2 are steps toward building systems that can reason, which could unlock exciting new capabilities. AI models can easily generate essays and other types of text. However, ...

A Polish mathematician spent two decades crafting a problem meant to test the limits of artificial intelligence. A new AI ...

When you purchase through links on our site, we may earn an affiliate commission. Here’s how it works.