OpenAI requests external experts to review the proofs generated by AI in the fields of mathematics, computer science, and physics.
OpenAI has invited external experts to act as 'shepherds' to review the proofs generated by AI in the three fields of mathematics, computer science, and physics, and to handle them separately according to the conditions of each field. The proofs in mathematics and computer science have been translated into Lean, and the computer science results claim to have overturned the Exponential Time Hypothesis (ETH), while the mathematical results claim to have proven the Local Smoothness Conjecture in all dimensions.
Why it matters: OpenAI has submitted three proofs generated by AI to external experts for review, allowing readers to understand how AI research results are independently verified and attributed.








