Results from round one of First Proof (benchmarking LLMs for math research) | Hacker News Reader