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