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

tgv 15d ago

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

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

drexlspivey 15d ago

[flagged]

thih9 15d 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 15d 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 14d ago

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

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

cryptonector 14d ago

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

willsmith72 14d ago
structural engineers?
jjk166 12d ago
I 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.