Hacker News Reader

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

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

> load-bearing

Apart from LLMs, who speaks this way?

structural engineers?

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.

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

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

It's a common (most common?) word in mathematics in this meaning.

You interrogate a proof.