OpenAI's internal model solved three open problems from the fields of mathematics, theoretical computer science, and physics The model also disproved ETH, the exponential time hypothesis. This is, no less, a central assumption in computational complexity theory, closely related to the millennium problem regarding P ≠ NP. ETH claims that the satisfiability problem of Boolean formulas cannot be solved much faster than exhaustive search. This assumption of computer science and mathematics has been used for many years as a basis for proving results from graph theory, computational biology, databases, geometry, etc. There are hundreds of such jobs in ETH. Now suddenly it turns out that ETH is false, and that means all the questions like "how much faster can it be" have been reopened. The result is so significant that it will be tested by a team led by Russell Impagliazzo and Ramuri Pattori, the scientists who formulated the ETH. In addition, OpenAI promises to pay for a conference to understand the result. Two other tasks are also quite prominent: 1. Kakey's hypothesis and local smoothing. We are talking about waves that focus on one point. There is a hypothesis by Sugg from 1991, which states that the strongest focus cannot last long. From this hypothesis derives Kakey's hypothesis and Stein's limit hypothesis. This is one of the main problems of harmonic analysis; The most powerful mathematicians have been working on this for decades, but until now people have only arrived at proofs for small dimensions (two or three). The OpenAI model will produce a proof for every dimension, and with it we will automatically close Kakey and Stein, also for all dimensions. 2. Existence of QCD and Young-Mills. The model rigorously proved the existence of the Young-Mills theory. It is also part of one of the seven Millennium Challenges. She also proved the existence of full QCD, where quarks are added to gluons, and a unified theory involving standard model particles.

OpenAI's internal model solved three open problems from the fields of mathematics, theoretical computer science, and physics The model also disproved ETH, the exponential time hypothesis. This is, no less, a central assumption in computational complexity theory, closely related to the millennium problem regarding P ≠ NP. ETH claims that the satisfiability problem of Boolean formulas cannot be solved much faster than exhaustive search. This assumption of computer science and mathematics has been used for many years as a basis for proving results from graph theory, computational biology, databases, geometry, etc. There are hundreds of such jobs in ETH. Now suddenly it turns out that ETH is false, and that means all the questions like "how much faster can it be" have been reopened. The result is so significant that it will be tested by a team led by Russell Impagliazzo and Ramuri Pattori, the scientists who formulated the ETH. In addition, OpenAI promises to pay for a conference to understand the result. Two other tasks are also quite prominent: 1. Kakey's hypothesis and local smoothing. We are talking about waves that focus on one point. There is a hypothesis by Sugg from 1991, which states that the strongest focus cannot last long. From this hypothesis derives Kakey's hypothesis and Stein's limit hypothesis. This is one of the main problems of harmonic analysis; The most powerful mathematicians have been working on this for decades, but until now people have only arrived at proofs for small dimensions (two or three). The OpenAI model will produce a proof for every dimension, and with it we will automatically close Kakey and Stein, also for all dimensions. 2. Existence of QCD and Young-Mills. The model rigorously proved the existence of the Young-Mills theory. It is also part of one of the seven Millennium Challenges. She also proved the existence of full QCD, where quarks are added to gluons, and a unified theory involving standard model particles.