Google DeepMind researchers have unveiled FunSearch, an artificial intelligence (AI) model capable of solving intricate mathematical problems previously deemed unsolvable.