Clarifying the Creation and Use of the FrontierMath Benchmark | Hacker News Reader