Might be relevant: https://www.nature.com/articles/s41586-023-06924-6 https://www.nature.com/articles/s41586-023-06924-6 Mathematical discoveries from program s

Might be relevant: https://www.nature.com/articles/s41586-023-06924-6 https://www.nature.com/articles/s41586-023-06924-6 Mathematical discoveries from program search with large language models