Last year AlphaProof became the first computer program to match the performance of a silver medallist at the International Math Olympiad, one of the most prestigious mathematics competitions in the world. “GPT-4 couldn’t do math much beyond undergraduate level,” says de Oliveira Santos. Not necessarily, she says: “Math Olympiad problems often involve being able to carry out clever tricks, whereas research problems are much more explorative and often have many, many more moving pieces.” Success at one type of problem-solving may not carry over to another. Martin Bridson, a mathematician at the University of Oxford, thinks the Math Olympiad result is a great achievement. “We have training camps to train high school kids to do them,” says Bridson.