Yes please. For a moment I thought Terrence Tao had scooped Anthropic.
tacomonstrous•41m ago
This is essentially irrelevant to the content of the post, but it's amusing to me that he casually mentions submitting to JAMS as if its acceptance were a mere formality.
v64•40m ago
This is going around due to rumors and baseless speculation on Twitter [1] right now that Anthropic has solved the Millennium problem related to Navier-Stokes [2]
Lol as far as I know that post was the origin of that claim and it's clearly just a guy predicting something that will happen in the future with no information about it.
bilsbie•15m ago
If it is solved what are the applications of that? What changes?
bee_rider•13m ago
For a second I thought they were aiming the scary proof machine at us mortals doing PDE stuff. Fortunately the speculation is just that they happen to be aiming it at a nearby mathematician type problem. Phew.
amelius•8m ago
Interesting to see that they are not using the coordinate-free representation (exterior calculus, differential forms) that mathematical physicists prefer to use today.
goldenarm•49m ago
thomasahle•25m ago