5 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

> 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 5d ago
What a load od corporate drivel. "Interrogated"? Was their need for words so dire?
- Zarathustra30 5d ago
  Per 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 5d ago
  It's a common (most common?) word in mathematics in this meaning. You interrogate a proof.
drexlspivey 5d ago
[flagged]
- thih9 5d ago
  My 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 5d ago
    I 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 5d ago
Unless CMI is playing a double game, hard to tell with academics, this is indeed a giant f-you to OpenAI.
- pred_ 5d ago
  That's how I read it too. They know well that OpenAI have shown no desire to improve human understanding.
cryptonector 4d ago
> load-bearing Apart from LLMs, who speaks this way?
- willsmith72 4d ago
  structural engineers?

tgv 5d ago

What a load od corporate drivel. "Interrogated"? Was their need for words so dire?

Zarathustra30 5d ago
Per 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 5d ago
It's a common (most common?) word in mathematics in this meaning. You interrogate a proof.

drexlspivey 5d ago

[flagged]

thih9 5d ago
My 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 5d ago
  I 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 5d ago

Unless CMI is playing a double game, hard to tell with academics, this is indeed a giant f-you to OpenAI.

pred_ 5d ago
That's how I read it too. They know well that OpenAI have shown no desire to improve human understanding.

cryptonector 4d ago

> load-bearing Apart from LLMs, who speaks this way?

willsmith72 4d ago
structural engineers?