Advancing Theorem Proving in LLMs Through Large-Scale Synthetic Data | Dark Hacker News