OpenAI Says It Has Cracked One of Math's 'Millennium Problems'
An anonymous reader quotes a report from The New York Times: OpenAIsaid on Tuesday that its newest artificial intelligence technology had solved one of the "Millennium Problems," a collection of important unanswered math questions meant to push the world's leading mathematicians to new heights. The announcement is an another clear sign that A.I. is fundamentally changing the upper reaches of…
OpenAI declares its latest artificial intelligence technology has resolved one of mathematics' Millennium Problems, a collection of significant unsolved mathematical questions aimed at challenging leading mathematicians. The revelation underscores how AI is reshaping even the most elite domains of mathematics, a field historically considered a pinnacle of human accomplishment.
While some mathematicians are thrilled, others are concerned. Throughout last year, AI systems resolved numerous perplexing problems that had stumped mathematicians for decades, but none matched the complexity and prominence of the one OpenAI's system tackled recently. Known as the Navier-Stokes existence and smoothness problem, this issue involves equations frequently employed to forecast weather patterns.
These equations illustrate the motion of water and other fluids. The Millennium Problem at hand seeks to determine if these equations falter under specific circumstances. OpenAI's model reportedly deduced such a situation in just 88 hours. This breakthrough follows a series of AI-driven solutions to other challenging mathematical puzzles over the past year.
The Navier-Stokes problem, however, despite its apparent lack of practical application, asks whether the equations might collapse in certain scenarios, potentially leading to phenomena like spontaneous explosions—though experts doubt this could occur in the physical world. The Navier-Stokes problem was one of seven Millennium Problems chosen by the Clay Mathematics Institute in 2000 to monitor mathematics' progress during the new millennium.
The institute, established by American businessman Landon T. Clay, offered a million-dollar prize for each correctly solved problem. Prior to OpenAI's announcement, only one Millennium Problem had been resolved. The company solved the Navier-Stokes problem through the coordination of up to 10,000 AI agents, a costly endeavor that likely incurred millions in computing expenses. Those interested in the specifics can access OpenAI's paper and formal Lean proof.
Written by urgent.news from Slashdot's reporting — not their text. Machine-written — may contain errors; check the original before relying on it.
This story
This is one outlet's version. Read the fullest account.
