OpenAI releases progress on more than 300 math research problems, stunning humans The Washington Post