OpenAI announces new discoveries in mathematics, computer science and physics

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 Has Disproved a Major Computer Science Hypothesis An internal OpenAI model found an algorithm that appears to contradict the Exponential Time Hypothesis (ETH). Proposed in 1999, the hypothesis describes the limits on how quickly a broad class of difficult computational problems can be solved. 📌 In these types of problems, verifying a solution is easy, but finding one is significantly more difficult. For example, in a game of Sudoku, it takes only a moment to check a completed puzzle, but solving it may take much longer, especially as the grid grows from 9×9 to 1,000×1,000. Related problems include scheduling, the traveling salesman problem, and thousands of others. Trying every possible solution one by one means the worst-case running time doubles with each additional variable. There are smarter algorithms that work somewhat faster, but ETH states that certain problems still require exponentially growing running time. OpenAI's newly discovered algorithm, however, reportedly runs in subexponential time. 🎓 The proof has been formalized in Lean and published on GitHub, allowing anyone to examine it. A reviewing team will be led by MIT professor Ryan Williams and

🚨 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 🏴

OpenAI claims its models produced three major results: proofs resolving long-standing problems in harmonic analysis, a disproof of the Exponential Time Hypothesis, and existence proofs related to quantum field theories including QCD. The mathematics and computing work has been published and formalized in Lean, while independent experts are now reviewing the claims; the physics materials have yet to be released publicly. If even one result survives scrutiny, how much could AI change the way advanced mathematical research is conducted and verified? submitted by /u/Spirited-Sir-3034 [link] [comments]