OpenAI Says Its Models Produced Three Proofs in Math, CS, and Physics

Three fields. Three reported breakthroughs. A lot for researchers to unpack. On October 26, OpenAI announced AI-produced results covering: • Local smoothing in all dimensions, which it says also resolves the Kakeya and Stein restriction conjectures. • A refutation of the Exponential Time Hypothesis, a major assumption in computational complexity. • Rigorous existence proofs for quantum field theories, including QCD and Yang–Mills existence. OpenAI reports Lean formalizations and independent academic examination. Refuting ETH does not itself settle P versus NP, and Yang–Mills existence alone does not resolve the full Millennium Prize problem, which also requires a mass gap. Read OpenAI’s announcement submitted by /u/morey56 [link] [comments]

Working with academic communities to build scientific understanding | OpenAI OpenAI announces three AI-generated research results spanning mathematics, computer science, and physics: an all-dimensional proof of the local smoothing conjecture, a purported refutation of the Exponential Time Hypothesis, and… https://www. kontxt.io/document/d/s_r1MhJIt UzCwsw7hcJUEYeNn5VcfkeXRCPCW9eq1BXp1/summary?kontxt_user=kontxt&utm_source=mastodon # ArtificialIntelligence # Mathematics # TheoreticalPhysics

🚨 OpenAI says its AI broke a rule hundreds of computer science papers were built on OpenAI announced three discoveries by its internal models on Monday, one each in math, computer science and physics. The loudest is about the Exponential Time Hypothesis, a widely believed assumption about how fast computers can solve certain hard problems. OpenAI's system says it's false, and a computer proof checker confirmed the proof. Two of the people who proposed that hypothesis, Russell Impagliazzo and Ramamohan Paturi, will now lead the independent check together with MIT's Ryan Williams. Williams calls it a "claimed refutation." The math result proves a 1991 conjecture about how waves focus, in every dimension. The physics one is an existence proof for the theory of the strong force, and part of it touches a Clay Millennium Prize problem. Nobel laureate David Gross leads that review. OpenAI says it seeks no academic credit for the results. @aipost 🏴