StarZero All shows Try the podcast clipper →

Mehtaab Sawhney

Member of Technical Staff, OpenAI · 1 appearance on the record.

computed by AI from the episodes · how this works → · full disclaimer →

academicscientistengineer@mehtaab_sawhney ↗mit.edu/~msawhney ↗Wikipedia ↗

A prolific mathematician specializing in combinatorics, probability, and number theory, Sawhney has received top honors in mathematics including the Morgan Prize and a Clay Research Fellowship. At OpenAI, he works on advancing AI reasoning models and applying them to resolve open conjectures and proofs in pure mathematics.

9statements → 5claims → 2claims resolved → 3.56/5average certainty → 2.22/5average debate potential → 1said about them ↓

2 supported 0 partly supported 0 contradicted 3 not checkable as stated how the 5 claims stand · each chip opens the sources

2 predictions · 3 assertions · 1 opinion · 3 insights · every statement was checked. The predictions and assertions are the 5 claims: statements the public record can support or contradict. 2 are resolved, and 3 name no date, number or outcome precise enough to check. Everything else (opinions, insights, what ifs, disclosures) can never be settled by the record, so it carries no assessment.

The record, in short

What the tape says about how Mehtaab argues and how the claims held up. Everything they said, and everything said about them, is in the tabs below.

Their most notable supported claim

Assertion Supported
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 …”
Mehtaab Sawhney Sep 8, 2026 ▶ 27:09 Inside OpenAI’s Breakthroughs in Mathematical Reasoning

Everything Mehtaab Sawhney said on the a16z Podcast that made the record, most notable first. Filter by type, assessment or year in the ledger →

Assertion Supported
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 …”
Mehtaab Sawhney Sep 8, 2026 ▶ 27:09 Inside OpenAI’s Breakthroughs in Mathematical Reasoning
Assertion Not checkable as stated
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…”
Mehtaab Sawhney Sep 8, 2026 ▶ 8:10 Inside OpenAI’s Breakthroughs in Mathematical Reasoning
Opinion
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.”
Mehtaab Sawhney Sep 8, 2026 ▶ 10:41 Inside OpenAI’s Breakthroughs in Mathematical Reasoning
Assertion Supported
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…”
Mehtaab Sawhney Sep 8, 2026 ▶ 28:42 Inside OpenAI’s Breakthroughs in Mathematical Reasoning
Insight
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…”
Mehtaab Sawhney Sep 8, 2026 ▶ 40:04 Inside OpenAI’s Breakthroughs in Mathematical Reasoning
Prediction Not checkable as stated
Sawhney: AI will produce exponentially more math, making it easier to absorb
“Along, I mean, of course models are going to help us produce exponentially more mathematics, but they also make it much easier to absorb it and right now, okay, it's still a bit of a challenge back and forth, but I think it's, for me at least much, much faster…”
Mehtaab Sawhney Sep 8, 2026 ▶ 58:54 Inside OpenAI’s Breakthroughs in Mathematical Reasoning
Insight
Sawhney: Backtracking is a general-purpose reasoning tool, not math-specific
“A lot of these behaviors that we're describing mathematically, like backtracking, or kind of starting again, I mean, these are not really specific to mathematics. I mean, we're seeing them specifically in mathematics in these examples, but kind of, they're gen…”
Mehtaab Sawhney Sep 8, 2026 ▶ 13:26 Inside OpenAI’s Breakthroughs in Mathematical Reasoning
Insight
Sawhney: Model reasoning traces resemble a collaborator's rough notes
“It's very much like reading a colleague's, like, notes. I mean, it's a little more disorganized in some way, but kind of, like, especially if you work close enough with a collaborator, sometimes you'll just see them, like, spill out their thoughts in an email …”
Mehtaab Sawhney Sep 8, 2026 ▶ 16:00 Inside OpenAI’s Breakthroughs in Mathematical Reasoning
Prediction Not checkable as stated
Sawhney: Fostering human understanding will become a more valuable role in math
“Increasingly it would be a function of, like, you're sort of helping, you're the human who can sort of give this understanding to other people and sort of help them with it. I think that more, sort of, that communal understanding will, I think, become, it was …”
Mehtaab Sawhney Sep 8, 2026 ▶ 1:02:17 Inside OpenAI’s Breakthroughs in Mathematical Reasoning

The other half of the tape: Mehtaab Sawhney's own voice is left out of every number here. Other people bring the name up 1 time in 1 episode on the a16z Podcast. every mention, with the transcript →

Who brings them up most Lisha Li 1

Every mention by year

tap a year for its mentions
0011112026episodesmentions
0112026episodes it came up in
000.50.5112026episodesmentions per episode
2026 1 mention in 1 episode

Appearances (1)

EpisodeDateSpeaking time
Inside OpenAI’s Breakthroughs in Mathematical Reasoning Sep 8, 2026 18m
Made with StarZero

Turn any episode into a week of clips.

This entire site, over 1,000 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