„The company’s FunSearch can solve highly complex math problems. Miraculously, the solutions it generates aren’t just accurate; they’re entirely new solutions that no human has ever found.“

-> Google DeepMind Solves Unsolvable Math Problem With AI