OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
By Maximilian Schreiner, The Decoder
Picture: The Decoder
OpenAI says its internal models have disproved a central assumption in computer science and proved part of one of the Millennium Prize Problems, among other results. Outside experts will now decide whether the proofs hold up. OpenAI laid out three results from math, computer science, and physics in a blog post. The company says its internal AI models produced the proofs. OpenAI calls the manuscripts a kind of raw research data that still needs to be understood. So OpenAI asked outside experts to act as "shepherds" for the results. Based on their advice, the company is handling each field differently. OpenAI says it also translated the math and computer science proofs into Lean. Lean is a programming language that lets a computer check every step of a proof.
This report was first published by The Decoder. What you see here is a brief excerpt. The full text is theirs.
Continue reading at The Decoder
