Google DeepMind used a large language model to solve an unsolvable math problem

They had to throw away most of what it produced but there was gold among the garbage.