Ten Problems, No List
An OpenAI researcher says an internal model closed ten open problems in mathematics and theoretical computer science. Nobody has published the ten problems. Today's episode is about what the industry does in the gap between a claim and its evidence — and about four other stories where the evidence is a screenshot, a vendor chart, or a sarcastic Reddit post.
Noam Brown's post on the Astra results — the source of the claim, relayed to us through a Hacker News submission rather than any first-party writeup from OpenAI.
Theo Jaffee relaying a model's assessment that this was "plausibly the most…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.