StarZero All shows Try the podcast clipper →

Erdős Problem Number 90

2 statements across 1 episodes · 2 bullish · 0 bearish · 1 people on the record · first statement May 22, 2026 by Tyler Cosgrove · across every show →

Everything said about Erdős Problem Number 90, oldest first

May 22, 2026 positive
Assertion Not checkable as stated
Cosgrove: OpenAI Solved Erdős Problem for Hundreds to Thousands in Inference
“This was not, like, millions of dollars of inference time. It was, like, maybe something like hundreds to thousands of dollars of inference compute spend.”
Tyler Cosgrove May 22, 2026 ▶ 20:56 SpaceX S-1, Anthropic Revenue Booms, OpenAI Cracks Erdős Problem | Diet TBPN
May 22, 2026 positive
Assertion Supported
Cosgrove: OpenAI Internal Model Disproved Erdős Problem 90 Conjecture
“Basically, OpenAI figured out that this is not true, and that there actually are some, there are some n's for which this kind of max number of pairs is greater than the original Erdos conjecture. So, so for infinitely many n, this is not for every single n, ri…”
Tyler Cosgrove May 22, 2026 ▶ 20:03 SpaceX S-1, Anthropic Revenue Booms, OpenAI Cracks Erdős Problem | Diet TBPN
Made with StarZero

Turn any episode into a week of clips.

This entire site, over 500 episodes transcribed, diarized, checked and made playable, runs on the StarZero media pipeline. Drop in your own episode and the podcast clipper finds the moments worth sharing, cuts them, captions them, and reframes them for every feed.

Try the podcast clipper Learn more