Oct 20, 2026 · 1h 0m
Property taxes, political red lines and AI’s math breakthrough
10/20/26: Saagar Rips Boomers Over Property Tax, Abdul Shuts Down Questions On Muslim Brotherhood, AI Solves Hundreds Of Math Problems
The episode connects a fight over how Americans fund public services with a Michigan campaign’s ideological tests and AI’s challenge to mathematical expertise.
- 1The property-tax revolt exposes unresolved conflicts over funding schools, public services, and a dysfunctional American tax system.
- 2Abdul El-Sayed’s Michigan campaign becomes a test of media scrutiny, political insinuation, and ideological loyalty.
- 3Daniel Litt weighs whether AI solving hundreds of mathematical problems will expand discovery or weaken human understanding.
Don't miss
Daniel Litt considers whether AI solving hundreds of mathematical problems could transform discovery while changing what it means for humans to understand proofs.
The brief
Krystal and Saagar open with the property-tax revolt, asking whether homeowners should fund schools and public services while the broader U.S. tax system fails.
Abdul El-Sayed’s viral exchange over the Muslim Brotherhood becomes a debate about Republican insinuation, media scrutiny, and the appeal of candidates willing to fight.
Coverage of El-Sayed’s Michigan race raises disputed links to extremism and 9/11, while the hosts debate Medicare for All, gender-related care, and political red lines.
Krystal interviews mathematician Daniel Litt about OpenAI’s reported progress on hundreds of open problems and what it could mean for training, incentives, and discovery.
The mathematics discussion lands on a deeper question: if AI produces proofs, will humans gain new understanding or lose the experience that makes understanding matter?
What was said on this episode
18 statements · 11 positive · 5 negative · 2 neutral
Property-tax reduction plans have emerged in more than two dozen states over two years.
“In the last two years alone, plans to substantially reduce or altogether property tax have emerged in more than two dozen states.”
Listen at 2:36
Property-tax cuts disproportionately benefit wealthy homeowners.
“If you zoom out, though, what this amounts to is just yet another tax cut for the wealthy. I mean, that's who will disproportionately benefit.”
Listen at 9:22
Florida’s proposal would effectively eliminate property taxes statewide over time.
“Florida. Again, this is the most high-profile one, which would effectively nuke property tax in the long run across the entire state”
Listen at 12:48
Replacing property taxes with road tolls would create a regressive tax burden.
“which means it's a highly regressive tax that taxes everybody instead of the people who are asset owners.”
Listen at 13:01
Property-tax measures will pass because older voters are the only ones voting.
“And as I know, they're the only ones who vote. So it's all going to pass.”
Listen at 13:33
Abdul El-Sayed is a confident and combative political candidate.
“it also displays some of the different qualities that Abdul has as a candidate. Like, he is a very confident person. He is very unafraid of sort of giving it back”
Listen at 19:15
Abdul El-Sayed’s viral exchange appeals strongly to white liberal educated women.
“the reason why it went mega viral is just basically created in a laboratory to like tug at the heartstrings of like white. liberal educated women”
Listen at 20:22
Most Americans subscribe to the aspirational values in Abdul El-Sayed’s message.
“I do think that this is a very aspirational part of American values that the vast majority of people do subscribe to.”
Listen at 25:31
Abdul El-Sayed quickly and effectively redirected the confrontation.
“Abdul is a very impressive candidate. Like he was quick, you know, I mean, his ability to absorb that exchange and turn it around like that, that quickly is really quite incredible.”
Listen at 26:48
A five-point Michigan victory would validate El-Sayed’s candidacy.
“if he wins by, let's say, five, then no one has no one can say anything. It's Michigan. It's a swing state. We're told that these type of candidates can't win.”
Listen at 32:31
Abdul El-Sayed should immediately announce a presidential campaign after winning.
“if he wins, then I think he should consider it. Immediately announce.”
Listen at 33:16
AI models can now make some mathematical progress without continuous human expertise.
“Historically, if you want to make progress on an open problem, you really need a human expert in the loop. And now sometimes you can make some amount of progress just by prompting an AI model.”
Listen at 47:21
Mathematics graduate training will need to change because of AI.
“the way we have to train graduate students will have to change.”
Listen at 48:07
AI models are primarily tools for mathematicians.
“My view is that at least for mathematicians, these AI models are primarily a tool.”
Listen at 48:51
AI models may produce high-quality autonomous mathematical results within a few years.
“Maybe in a few years you'll produce high quality results.”
Listen at 54:28
AI-generated mathematical exploration will leave mathematicians meaningful work indefinitely.
“Math is like an infinitely large space you can explore. I think I would be excited to sort through outputs from a model doing some kind of automated exploration”
Listen at 54:51
Human expertise will remain necessary to retain control over scientific understanding.
“I think that there will always be a desire for human expertise and for humans in the loop just to make sure that we retain control over our understanding of the universe”
Listen at 55:58
Understanding the world cannot be fully automated.
“We are trying to understand the world, and that's not something you can automate.”
Listen at 58:02
Statements are attributed to the speaker as said on the episode and reflect their view at the time, not PodLume's. They are not advice.
Books & mentions
Some links are affiliate links — PodLume may earn a commission if you buy.
Weekly email
State of the Pod, every Monday
The week's most-discussed names and stories from podcasts, with the moments behind them. Free, five minutes, unsubscribe in one click.