A system developed by Google’s DeepMind has set a new record for AI performance on geometry problems. DeepMind’s AlphaGeometry managed to solve 25 of the 30 geometry problems drawn from the ...
Mathematicians have proved a key building block of the Langlands programme, sometimes referred to as a “grand unified theory” of maths due to the deep links it proposes between seemingly distant ...