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

OpenAI says its internal AI models have produced proofs for three open questions in mathematics, computer science and physics, including one tied to a Millennium Prize Problem that carries a $1 million award. OpenAI has asked outside experts, among them a Nobel laureate, to verify whether the proofs hold up. If the computer science proof stands on its own, hundreds of research papers would lose their foundation.

OpenAI says its internal AI models have cracked three major open questions in math, computer science, and physics. One of them is part of a famous Millennium Prize Problem, each of which carries a $1 million prize. Outside experts, including a Nobel laureate, are now checking whether the proofs hold up. If the computer science proof holds on its own, hundreds of research papers lose their foundation. The article OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics https://the-decoder.com/openai-asks-outside-experts-including-a-nobel-laureate-to-check-proofs-its-ai-produced-in-math-computer-science-and-physics/ appeared first on The Decoder https://the-decoder.com .