OpenAI announces three big science discoveries and a new way to work with academics

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 🏴