Google DeepMind has said its artificial intelligence system AlphaProof Nexus has solved several long-standing mathematical problems, including some that remained unsolved for more than 50 years. The ...