金色财经|10月 27, 2026 02:30
[OpenAI Announces Three Major Scientific Breakthroughs, Falsifying the Exponential Time Hypothesis (ETH)] Golden Finance reports that on October 27th, OpenAI announced three major breakthroughs in its AI models across mathematics, computer science, and physics. In mathematics, AI proved the local smoothness conjecture applicable to all dimensions, thereby solving both the local smoothness conjecture and the hanging valley conjecture. In computer science, AI overturned the long-held, widely accepted exponential time hypothesis, meaning that faster algorithms may be found in the future. In physics, AI proposed a rigorous mathematical existence proof for quantum chromodynamics and Yang-Mills theory, involving one of the seven Millennium Prize Problems in mathematics. OpenAI stated that the mathematical and computer science results have been formally verified using the Lean mathematical verification tool, and the proof materials have been made public; the physics results are currently under review by experts, including Nobel laureates in physics.
The computer science discovery involves the exponential time hypothesis (ETH), a long-standing conjecture in computational complexity theory that studies the computational difficulty of the Boolean satisfiability problem and is closely related to the famous P and NP problems. For a long time, the academic community generally believed that Ethereum (ETH) was valid. On October 16th, OpenAI generated a natural language proof that refuted ETH, and on October 17th, it completed a formal proof of Lean. Subsequently, OpenAI began working on establishing the aforementioned external collaboration mechanism.
Share To
Timeline
HotFlash
APP
X
Telegram
CopyLink