A year ago, AlphaGeometry, an AI problem solver created by Google DeepMind, surprised the world by performing at the level of silver medallists in the International Mathematical Olympiad (IMO), a ...

Meta's work made headlines and raised a possibility once considered pure fantasy: that AI could soon outperform the world's best mathematicians by cracking math's marquee "unsolvable" problems en ...