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.

Proving languages share similarities with programming languages, so the team decided to see if Codex could formalise a bank of 12,500 secondary school maths competition problems. It was able to ...

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.