lovasoa

If I understand well, they mean that the thing they proved in lean is not Navier Stokes. And they don't make any statement about whether the natural language proof is correct or not.

We could force Google to operate its app review service independently. Users could use it and pay for it, or alternatives. Currently Google forces everyone to use their own mediocre service and pay for it without knowing exactly where and how much you pay.

steam engines solved a problem people had

In 429 CE, Devadatta was born on the Deccan Plateau, near present-day Hyderabad. His hamlet was home to about 100 people. Among six children, he was the second. Devadatta died of neonatal tetanus or sepsis within days of birth.

Hardcore

I don't understand why changing effort levels busts the cache. Couldn't effort levels be a decoding-only thing where they just change the probability of the <end of thought> token? Are they literally adding a hidden system prompt that says "effort level: $level" ?

the writing has been on the wall for fifteen years, and yet the number of professional drivers has only increased since then...

Of course we'll rent them! I don't even want to keep a robot in my flat all the time.

But that means speed does matter after all. The renting company will need to clean as many flats as possible with a single robot in a single day.

The timeline is indeed a little bit fuzzy, I haven't found a precise chronology, neither from HuggingFace nor from OpenAI. HF says the hack happened "over a weekend", so probably July 11th-12th. Do you think it took OpenAI a week to realize what happened ?

Maybe when HF published their blog post on the 15th, OpenAI already knew something had happened, had started to investigate, and already reported the issue to JFrog ? But looking at your other comment in the thread, I agree that CVE-2026-65925 and CVE-2026-66014 are better candidates.

Taking a step back, so many basic vulnerabilities in a security-oriented product just makes the headline "agent autonomously escaped containment" sound a little less spectacular.

There is one thing that is still unclear to me after reading a lot about the hack:

* were the ExploitGym solutions actually available somewhere inside huggingface's private datasets ?

* was the model really trying to extract the solutions ? or had some sub-agent drifted enough from the original context that it was not even trying to solve the initial challenge ? that would look much worse for OpenAI, PR-wise.

The thing I would have liked to know is why they don't use an existing fast SQL parser. Was being slightly incompatible with all existing SQL dialects a product requirement?

3) The engineers working on the chip used ChatGPT from time to time.

I tried a few PPTX files from consulting firms that are available online. The rendering does not seem to be truly pixel-perfect, but all of them were quite readable and had a good layout, which is already an impressive feat.