2 ms·
> Today, CMI shares in the excitement of the global mathematical community as we contemplate the announcement that the Navier-Stokes problem has apparently been
by DrBenCarson 2mo ago
> Today, CMI shares in the excitement of the global mathematical community as we contemplate the announcement that the Navier-Stokes problem has apparently been settled. We hope to see waves of new human understanding unleashed as the innovations behind this work are analysed and interrogated.
That “apparently” feels load-bearing
- tgv 2mo agoWhat a load od corporate drivel. "Interrogated"? Was their need for words so dire?
- Zarathustra30 2mo agoPer Merriam Webster, an interrogation is "a formal and systematic questioning," which is exactly what is called for when examining a proof. Personally, I use the word "interrogate" when I want to question an idea without implying I want to discredit it. https://www.merriam-webster.com/dictionary/interrogation https://www.merriam-webster.com/dictionary/interrogation
- bmacho 2mo agoIt's a common (most common?) word in mathematics in this meaning. You interrogate a proof.
- drexlspivey 2mo ago[flagged]
- thih9 2mo agoMy honest take is that it was intentional. But yes, Poe’s Law will get referenced a lot in the next months/years I guess.
- da_chicken 2mo agoI think it was obviously intentional because they haven't accepted the solution yet. The purpose is to announce that they are aware of the claims of a solution, not to announce that a solution has been accepted. They're waiting on the required two year timeline before announcing whether or not the solution is accepted. Their writing reflects that they are explicitly NOT accepting a solution until then.
- qwja8176 2mo agoUnless CMI is playing a double game, hard to tell with academics, this is indeed a giant f-you to OpenAI.
- pred_ 2mo agoThat's how I read it too. They know well that OpenAI have shown no desire to improve human understanding.
- cryptonector 2mo ago> load-bearing Apart from LLMs, who speaks this way?
- willsmith72 2mo agostructural engineers?
- jjk166 2mo agoI say "doing a lot of heavy lifting" all the time. I have heard people use load-bearing though it's less common. Other than habit I don't see any real advantage to the version I use over load-bearing.