OpenAI says its AI systems produced proofs for three major open problems in mathematics, computer science and physics — and it’s bringing in outside experts to check them. The ChatGPT maker is also ...