DeepMind is at a point where it can solve maths problems

DeepMind’s AI system AlphaProof, developed in collaboration with mathematicians, has solved geometry problems using AlphaGeometry2 to solve the problem in under 20 seconds. AlphaProof was trained to read and write proof in the same language as the proof assistant software package that is popular with mathematicians. DeepMind said the system could help with more ambiguous questions.