Mathematical discoveries from program search with large language models

nature.com