GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...
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, ...