Creating Post-Training Datasets for Research-Level Mathematics | Dark Hacker News