Hackernews posts about FrontierMath Benchmarks