Clarifications from Seb. He reached out to Alpöge and Buckmuster under the (mistaken) belief that they have also solved the Navier-Stokes problem, in order to coordinate publication and to avoid scooping them.
It turned out they proved a restricted result (forced Euler problem; the internal model proved the stronger unforced version along the way). This does not diminish their great achievement. I believe that no human mathematician can match 10,000 agents of this internal model, let alone future models that will come soon.
Show more
