The largest math dataset of Olympiad problems for training LLMs | Dark Hacker News