Machine Learning FunSearch: Making new discoveries in mathematical sciences using Large Language Models December 15, 2023