OpenAI Announces Major Breakthroughs in Mathematics, Computer Science, and Physics
OpenAI has announced three significant scientific discoveries involving mathematics, computer science, and physics. In computer science, the company claims to have refuted the Exponential Time Hypothesis (ETH) by providing a deterministic algorithm that counts satisfying assignments of fixed-width CNF formulas in subexponential time. In mathematics, the AI produced proofs for local smoothing of the Euclidean wave equation, resolving the Kakeya maximal conjecture and Stein’s spherical restriction estimates. To manage these complex releases, OpenAI is implementing a new collaborative model using external experts as 'shepherds' to guide verification. While this includes high-profile academics in physics and computer science, an advisory panel (AGMAI) has cautioned against this method, citing concerns over unequal access and biased selection. The company released the relevant code and proofs via GitHub to facilitate immediate peer review.
Topics: Computer Science Mathematics OpenAI Physics Scientific Discovery
Read the full article at The Verge
Part of the story OpenAI Announces Major Breakthroughs in Mathematics, Physics, and Computer Science (2 articles)