What Happens When AI Outsmarts Mathematicians artwork

What Happens When AI Outsmarts Mathematicians

AI Inside

August 4, 2026

This week Jason Howell and Jeff Jarvis dig into OpenAI's unreleased Astra model solving 10 previously unsolvable math problems for roughly $2,000 in compute, and what that means for the mathematicians who spent decades trying.
Speakers: Jeff Jarvis, Jason Howell
**Jeff Jarvis** (0:00)
Insurance isn't one size fits all, and shopping for it shouldn't feel like squeezing into something that just doesn't fit.
That's why drivers have enjoyed Progressive's Name Your Price tool for years. With the Name Your Price tool, you tell them what you want to pay, and they show you options that fit your budget. Enough hunting for discounts, trying to calculate rates, and tinkering with coverages.

**Jason Howell** (0:22)
Maybe you're picking out your very first policy, or maybe you're just looking for something that works better for you and your family. Either way, they make it simple to see your options.

**Jeff Jarvis** (0:31)
No guesswork, no surprises. Ready to see how easy and fun shopping for car insurance can be?

**Jason Howell** (0:38)
Visit progressive.com and give the Name Your Price tool a try.

**Jeff Jarvis** (0:41)
Take the stress out of shopping and find coverage that fits your life on your terms.

**Jason Howell** (0:46)
Progressive Casualty Insurance Company and Affiliates. Price and coverage match limited by state law. Coming up next, Jeff Jarvis and I dig into OpenAI solving some unsolved math problems. What does it actually mean for mathematicians? Also, agents breaking free from containment again. Sam Altman demoing the next big model for Congress. The EU AI Act getting enforcement teeth. Google giving Gemini a humanoid body. And LinkedIn's new AI slot button. What's it all mean? We talk about it next on the AI Inside Podcast.
Hey, everybody. Welcome to another episode of AI Inside, the show where we take a look at the AI that is layered throughout the world of technology one day earlier than normal. So, surprise, happy birthday.
Whatever you want to say, I'm Jason Howell, one of your hosts, joined as always by Jeff Jarvis. Good to see you, Jeff.

**Jeff Jarvis** (1:50)
Happy birthday.

**Jason Howell** (1:51)
Yeah, I don't know. Where did that come from? It just seemed like a surprise thing that you say, surprise, happy birthday, but it has nothing to do with anything.

**Jeff Jarvis** (2:02)
This is Jason's third or fourth podcast today. He's fried.

**Jason Howell** (2:08)
Yeah, this happens every once in a while where things come up just as a little background.
My daughter is a swimmer and she qualified for a pretty big swim meet happening in Irvine, California. We very suddenly have to leave tomorrow through the rest of the week for that swim meet. Yeah, she's doing amazing. Normally, we would record this on Wednesday. We're doing it one day early, so surprised everybody in their feed. You also have another podcast you do on Wednesdays that recorded, I think, earlier.

**Jeff Jarvis** (2:42)
Yeah, so it's a discombobulated summer week.

**Jason Howell** (2:46)
Suddenly, you get to know what everyone else experiences as a normal Wednesday instead of podcast craziness. Yeah.

**Jeff Jarvis** (2:52)
Just a hump day like everybody else.

**Jason Howell** (2:54)
Yes, exactly. Exactly. So yeah, we're going to do it one day early, thankfully. The AI gods have granted us a number of great stories to talk about. I've got some news about our Patreon that I'll talk about here in a little bit. I'll save it, but definitely something to pay attention to there.
If you hear things that happen in the background, my daughter that I told you about, she's making banana bread for the meat because it's a good food for her with peanut butter and stuff. So if you hear things in the background, that's what's going on.

**Jeff Jarvis** (3:29)
Do you get to have any?

**Jason Howell** (3:31)
Heck yeah. I love banana bread with some chocolate chips in there, and then put a little light layer of peanut butter on top. Yeah, it's yummy.
I don't know. Do you like banana bread?

**Jeff Jarvis** (3:41)
Yeah, I like banana bread.

**Jason Howell** (3:42)
Do you like zucchini bread?

**Jeff Jarvis** (3:44)
Yeah, banana bread's better.

**Jason Howell** (3:46)
Yeah, I agree. Banana bread's better.
But I'll eat zucchini bread. Carrot cake?

**Jeff Jarvis** (3:52)
My grandmother made carrot cake, and she made it incredibly horribly sweet. When I was a little kid once, I said I liked it. So every single time I saw her, she had to say, Oh, Jeff, I made carrot cake. Oh, God, I couldn't stand it.

**Jason Howell** (4:09)
Yeah, that one time, that one clue. Well, you know, she was paying attention, or at least she was the first time she was. Maybe she wasn't picking up on the hints later. Yeah, for me, for me, my grandma's and then we'll actually talk about artificial intelligence. My grandma clued into the fact that I liked potato salad. And so she would make potato salad for the longest time. I loved her potato salad. But then as she got older, her taste buds started to kind of change and her potato salads became very, very oniony, like super oniony. But she had so much joy giving me the potato salad that I always loved. So I would just. Yeah. So I wouldn't say anything about that.

66 more minutes of transcript below

Feed this to your agent

Try it now — copy, paste, done:

curl -H "x-api-key: pt_demo" \
  https://spoken.md/transcripts/1000651996090

Works with Claude, ChatGPT, Cursor, and any agent that makes HTTP calls.

From $0.10 per transcript. No subscription. Credits never expire.

Using your own key:

curl -H "x-api-key: YOUR_KEY" \
  https://spoken.md/transcripts/YOUR_EPISODE_ID