FunSearch: Making new discoveries in mathematical sciences using Large Language Models — Google DeepMind