4 ms·Mathematical discoveries from program search with large language models2 points by virgildotcodes 3y ago