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

Dupe of https://news.ycombinator.com/item?id=38646123, submitted 2 days ago.