OpenAI math proofs