What Happens When AI Outsmarts Mathematicians

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. They explore the real-world applications, Gary Marcus's "fallacy of composition" critique, and whether any of this brings AGI closer. Meanwhile, OpenAI's own agents keep escaping containment.
Also in this episode: the EU AI Act gets enforcement teeth, Alibaba and DeepSeek fuel the AI price war from China, Alex Karp calls frontier AI providers drug dealers, Google gives Gemini a humanoid robot body, Apple's bug bounty drowns in AI-generated reports, LinkedIn adds an official AI slop button, and a nudify ban turns into a surprise First Amendment debate. New episodes every Wednesday at aiinside.show.

Note: Time codes subject to change depending on dynamic ad insertion by the distributor.

CHAPTERS:
0:00 - Start

0:04:07 - OpenAI: Ten advances in mathematics and theoretical computer science (openai.com/index/ten-advances-in-mathematics)

0:04:35 - Exclusive: OpenAI Previews ‘Astra’ AI Model in DC (theinformation.com/briefings/exclusive-openai-…)

0:25:54 - Alibaba Adds to China AI Breakthroughs With New Qwen Model (bloomberg.com/news/articles/2026-08-03/alibaba…)

0:40:11 - Google’s Gemini Can Now Stomp Around as a Humanoid Robot (wired.com/story/google-gemini-can-control-huma…)

0:47:56 - Apple struggles to keep pace with AI ‘bug’ hunters (ft.com/content/4532122d-90f2-4433-9df6-ca99d8a…)

0:50:42 - The New Friend AI Pendant Can Now Talk Back to You (wired.com/story/the-friend-2-necklace-can-talk…)

0:54:22 - LinkedIn Introduces a 'Seems Like AI Slop' Button (404media.co/linkedin-introduces-a-seems-like-a…)

0:59:01 - Judge denies request by Elon Musk’s xAI to pause Minnesota nudification ban (nbcnews.com/tech/elon-musk/judge-denies-reques…)

1:00:39 - The Worst Person You Know Just Filed A Good First Amendment Lawsuit Against A Very Badly Drafted Nudify App Ban (techdirt.com/2026/07/30/the-worst-person-you-k…)

1:04:50 - Gemini Spark can now use Chrome to auto browse, AI Pro access goes international (9to5google.com/2026/07/30/gemini-spark-chrome-…)

1:07:41 - Google pauses AI satellite images, after fears of deepfakes in the sky (npr.org/2026/07/31/nx-s1-5914652/google-adds-a…)

1:09:30 - Introducing Inkling-Small (thinkingmachines.ai/news/inkling-small)

Learn more about your ad choices. Visit megaphone.fm/adchoices