Ask hn: what are some examples of original math ideas from LLMs? | Dark Hacker News