https://hotroai.com/funsearch-making-new-discoveries-in-mathematical-sciences-using-large-language-models/