Pushing the limits of mathematical reasoning in open language models | Hacker News Reader