Google DeepMind has unveiled two new AI systems that collectively solved four of six problems from this year's International Mathematical Olympiad (IMO), performing at the level of a silver medalist.
A defining memory from my senior year of high school was a nine-hour math exam with just six questions. Six of the top scorers won slots on the U.S. team for the International Math Olympiad (IMO), the ...
A year ago AlphaGeometry, an artificial-intelligence (AI) problem solver created by Google DeepMind, surprised the world by performing at the level of silver medallists in the International ...
The last year has seen rapid progress in the ability of large language models to tackle math at high school level and beyond. Is AI closing in on human mathematicians? MIT Technology Review’s What’s ...