OpenAI's math breakthrough points beyond math Axios