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

OpenAI reports that its models have generated proofs for three significant unresolved problems in physics, computer science, and mathematics, including one Millennium Prize Problem. The company has engaged external researchers and a Nobel laureate to verify the validity of these solutions. If confirmed, these results would represent a major milestone in demonstrating the capacity of AI to perform complex scientific reasoning. Current efforts are focused on ensuring the proofs are logically sound and original.