Astra
5 statements across 1 episodes · 3 bullish · 0 bearish · 2 people on the record · first statement Sep 8, 2026 by Mark Selke · said 15 times in 1 episodes since 2026 · across every show →
Mentions by year
brought up most by Mehtaab Sawhney (10), Mark Selke (4), Lisha Li (1)
tap a year for its mentions
2026 15 mentions in 1 episode
Everything said about Astra, oldest first
Sep 8, 2026
Selke: OpenAI's Astra improved bounds further simply when prompted again
“In, in this case, what the model was asked to do originally for codes was to improve the bounds by, like, some exponential factor, so it really, like, shows up in this, like, leading constant up here. And, you know, it improved the bounds, and it didn't try to…”
Sep 8, 2026 neutral
Sep 8, 2026 positive
Sawhney: Astra proved the asymptotic linear programming bound for sphere packing
“And what the model shows is that Actually the linear programming bound in large dimensions has this extremely nice asymptotic behavior, and the proof kind of explains where this is coming from, and because you understand this LP bound perfectly, this actually …”
Sep 8, 2026 positive
Sawhney: Astra's proof of the sphere packing bound is a few pages
“I think also in general, it was one of these solutions which, I knew several people had tried the problem, it's pretty remarkable because, like, the model solution, especially for this being, like, the LP can't do better than this, was, like, quite short. It's…”