OpenAI claims major proofs in math, computing and quantum physics Interesting Engineering