Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.

DeepMind has used a large language model (LLM) to generate a novel solution to one of humanity’s toughest math problems — in a breakthrough that could herald a new era in AI development. The model, ...