Mehtaab Sawhney
5 statements across 1 episodes · 4 bullish · 0 bearish · 1 people on the record · first statement Sep 8, 2026 by Mehtaab Sawhney · said 1 times in 1 episodes since 2026 · across every show →
On the record as a speaker too: Mehtaab Sawhney's record, appearances and statements → this page counts the times other people say the name.
Mentions by year
brought up most by Lisha Li (1)
tap a year for its mentions
2026 1 mention in 1 episode
Everything said about Mehtaab Sawhney, oldest first
Sep 8, 2026 positive
Sawhney: OpenAI models prune search trees instead of brute-forcing proofs
“You can sort of look at it, and it's reasoning like a mathematician, and because it knows a few very correct bits, it makes the right decisions and is eventually able to prune the search tree. It's not really trying everything. It tries a lot of different thin…”
Sep 8, 2026 positive
Sawhney: AI models update proof path likelihoods better than humans do
“The model somehow is much better able to, like, it seems, for several of the solutions we've seen, somehow it seems much better able to update the solution, like, how likely the path is to work, like, versus rejecting a path versus a human doing it.”
Sep 8, 2026
Sawhney: Solving harder math problems by definition demonstrates better AI taste
“I tend to be pretty utilitarian in my view of taste, and, like, if you're able to solve problems faster by making better judgments, like, I think that's, like, the best, like, general proxy I have for taste, and somehow the fact that solving harder problems me…”
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…”