Artificial intelligence Google DeepMind used a large language model to solve an unsolved math problem They had to throw away most of what it produced but there was gold among the garbage.

An artificial intelligence can translate maths problems written in plain English to formal code, making them easier for computers to solve in a crucial step towards building a machine capable of ...

DeepMind and OpenAI models solve maths problems at level of top students For the first time, large language models performed on a par with gold medallists in the International Mathematical Olympiad.