Mathematical discoveries from program search with large language models | Hacker News Reader