{"podcast":{"title":"AI Convo Cast","slug":"ai-convo-cast-7218040","podcast_index_feed_id":7218040,"rss_url":"https://anchor.fm/s/101530384/podcast/rss","website_url":"https://www.AIConvoCast.com","image_url":"https://d3t3ozftmdmh3i.cloudfront.net/staging/podcast_uploaded_nologo/43071849/43071849-1752663089770-6d4571d306591.jpg","author":"AI Convo Cast","episode_count":379,"summary":"AI Convo Cast is your daily source for the latest developments in artificial intelligence, machine learning, software development, and technology. Each episode offers concise, AI-generated insights into breakthroughs, trends, and innovations shaping our world. Stay informed and engaged with up-to-date news and analysis in the rapidly evolving tech landscape.","last_synced_at":"2026-06-16T20:19:55.629187+00:00","page_url":"https://stenobird.com/podcast/ai-convo-cast-7218040"},"episode":{"title":"DeepMind AlphaProof Cracks Erdős Problems, Anthropic Glasswing, Alibaba Qwen 3.7 Max","slug":"deepmind-alphaproof-cracks-erd-s-problems-anthropic-glasswing-alibaba-qwen-3-7-max","published_at":"2026-05-26T10:21:38+00:00","page_url":"https://stenobird.com/podcast/ai-convo-cast-7218040/deepmind-alphaproof-cracks-erd-s-problems-anthropic-glasswing-alibaba-qwen-3-7-max","show_page_url":"https://stenobird.com/podcast/ai-convo-cast-7218040","url":"https://podcasters.spotify.com/pod/show/aiconvocast/episodes/DeepMind-AlphaProof-Cracks-Erds-Problems--Anthropic-Glasswing--Alibaba-Qwen-3-7-Max-e3jticb","audio_url":"https://anchor.fm/s/101530384/podcast/play/120555339/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2026-4-26%2Fbfa59052-b680-22d8-4126-39a7af688eed.mp3","summary":"In this episode, we discuss Google DeepMind's AlphaProof Nexus autonomously resolving long-standing Erdős problems using the Lean proof assistant, marking a real shift from olympiad puzzles to research-level mathematics. We break down Anthropic's Project Glasswing, where Claude helped partners like Cloudflare and Mozilla surface over 10,000 high-severity software vulnerabilities, flipping the traditional bottleneck in cybersecurity. We also cover Alibaba's Qwen 3.7 Max launch in Bangkok, built for agentic coding and paired with new in-house T-Head chips, plus the growing user backlash over Google Gemini's opaque compute-based usage limits. From DeepMind and Anthropic to Alibaba Qwen and Google Gemini, we examine what these moves mean for AI research, security, and everyday users. https://www.aiconvocast.com Help support the podcast by using our affiliate links: Eleven Labs: https://try.elevenlabs.io/ibl30sgkibkv Disclaimer: This podcast is an independent production and is not affiliated with, endorsed by, or sponsored by Google, DeepMind, Anthropic, Alibaba, Cloudflare, Mozilla, or any other entities mentioned unless explicitly mentioned. The content provided is for educational and entertainment purposes only and does not constitute professional, financial, or legal advice. Affiliate links may earn the podcast a commission at no additional cost to you.","meta_description":"In this episode, we discuss Google DeepMind's AlphaProof Nexus autonomously resolving long-standing Erdős problems using the Lean proof assistant, marking…","key_points":[],"chapters":[],"topics":[],"duration_seconds":422,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/ai-convo-cast-7218040/episodes/deepmind-alphaproof-cracks-erd-s-problems-anthropic-glasswing-alibaba-qwen-3-7-max/transcription-requests","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/ai-convo-cast-7218040/deepmind-alphaproof-cracks-erd-s-problems-anthropic-glasswing-alibaba-qwen-3-7-max.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}