Google DeepMind has used a large language model to crack a famous unsolved problem in pure mathematics. In a paper published in Nature today, the researchers say it is the first time a large ...

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 ...

Separately, ChatGPT creator OpenAI, based in San Francisco, California, saw an LLM of its own solve the same Olympiad problems at gold-medal level, but its solutions were evaluated independently.