OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics — Blankdot