OpenAI funded independent math benchmark before setting record with o3the-decoder.com56 pointsrar00a year ago