Landmark results in geometry and number theory marked an exciting year for mathematics, at a time when advances in artificial intelligence are starting to transform the subject’s future. In May, a ...

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 ...

While Paris was preparing to host the 33rd Olympic Games, more than 600 students from nearly 110 countries came together in the idyllic English town of Bath in July for the International Mathematical ...

Google DeepMind has announced a new reinforcement learning-based system for formal mathematical reasoning called 'AlphaProof' and a geometry solving system called 'AlphaGeometry 2.' The combination of ...