OpenAI claims three AI-generated mathematical proofs to be verified by experts
In brief
- OpenAI claims its models generated three major proofs in math, computer science, and physics.
- One proof challenges the Exponential Time Hypothesis, a foundation for thousands of research papers.
- External experts, including a Nobel laureate, are now verifying these results.
OpenAI states that its internal models have produced three significant proofs in mathematics, computer science, and physics. One challenges a central assumption in computer science, another solves part of a Millennium Prize Problem worth $1 million, and the third validates a major physics conjecture.
The company released three raw manuscripts, two of which were translated into Lean, a language that mechanically verifies each step of a proof. External experts, including a Nobel laureate, are now tasked with assessing the validity of these results. OpenAI also announced funding for a conference to discuss the implications of these findings.
If confirmed, these breakthroughs could disrupt entire fields: hundreds of papers in graph theory or computational biology rely on the disproven hypothesis, while the physics proofs open new avenues. Independent reviews are underway, with no guarantee of success yet.
This summary gives you the essentials. The full article, its figures and quotes are on The Decoder.
Read the original articleAI-generated summary of the source, checked by rules. How we write · Report an error