After an OpenAI model presented a possible solution to the Navier-Stokes problem, mathematicians are speculating about which major unsolved question could be resolved next
OpenAI claims that 10,000 artificial intelligence agents found a singularity in the three-dimensional equations of Navier-Stokes, one of the Millennium Prize Problems. The test was formalized in Lean, but the priority, the scope of the discovery and the mathematical review still spark intense controversy.
Tristan Buckmaster was on his way to achieving an important demonstration when one of the giants of artificial intelligence used his amazing resources to get there first. During the Labor Day weekend, Tristan Buckmaster, a mathematician at the University of New York, felt as if he had been run over by one of the companies [...]