OpenAI has invited external experts to review proofs generated by its AI in mathematics, computer science, and physics.
The Decoder reports that OpenAI has hired external experts to serve as..."shepherds"Verify its AI's three proof results in the fields of computer science, mathematics, and physics, and translate some of the proofs into Lean for step-by-step computer verification.
Return to original text
A short introduction is retained here; the full text from the source website is not reposted. For specific wording and subsequent updates, please refer to the original article.
Open AIHOT original