OpenAI funded independent math benchmark before setting record with o3 | Hacker News Reader