AI proves quasi-Riemann hypothesis & Tech stocks rebound, IPO outlook - Tech News (Oct 20, 2026)

Support The Automated Daily directly: 15 free episodes a day, 5 editions, 3 languages, about $4 a day to produce. A coffee keeps it going: theautomateddaily.com/support Please support this podcast by checking out our sponsors: - Consensus: AI for Research. Get a free month - https://get.consensus.app/automated_daily - Invest Like the Pros with StockMVP - https://www.stock-mvp.com/?via=ron - Lindy is your ultimate AI assistant that proactively manages your inbox - https://try.lindy.ai/tad Today's topics: AI proves quasi-Riemann hypothesis - Mathematicians say OpenAI's AI-generated proof of the quasi-Riemann hypothesis appears correct. The AI used overlooked metaplectic forms, a notable step for AI in pure mathematics and number theory. Tech stocks rebound, IPO outlook - The Nasdaq and chip stocks like Nvidia, AMD and Intel rebounded after a tech selloff. OpenAI ruled out a 2026 IPO, while Kalshi traders put Anthropic IPO odds for 2026 at 75%. Musk pledges SpaceX shares - Elon Musk says he will give one SpaceX share to every American child next year. The move follows Anthropic committing 5% of its shares to a public-benefit fund, part of a debate over AI wealth distribution. Nvidia's $10 billion Europe push - Nvidia is investing in four German startups as part of a nearly $10 billion commitment to European AI companies, universities and research. The aim is to strengthen industrial AI in Europe. US bans DeepSeek from agencies - The Department of Homeland Security ordered DeepSeek AI removed from most civilian US government systems, including Treasury, State and Justice. The ban reflects US-China AI rivalry and security concerns. AI deals in pharma, telecom - Oracle and AstraZeneca will use AI for clinical trial matching, Eli Lilly signed a deal worth up to $1.1 billion with METiS TechBio for RNA delivery, and Broadcom signed a 10-year VMware deal with NTT DOCOMO. An NTT-led consortium is also working on optical chiplets for AI data centers. Cloudflare cuts AI inference costs - Cloudflare previewed Clairic, a structured data extraction model on Workers AI, and cut its AI code review costs by 68% through prompt caching and smarter model selection. Why radiologists won't be replaced - An essay argues AI will reshape radiology without replacing radiologists. Cheaper imaging could raise demand, and regulation and data barriers slow full automation. Waymo plans major fleet growth - Waymo plans to grow its robotaxi fleet from about 4,000 cars to 20,000 by the end of next year, backed by $5 billion in debt. It is expanding to cities including Toronto and Nashville. Apple's touch-screen MacBook Pro event - Apple confirmed an October 28 event in Los Angeles where it is expected to show its first touch-screen MacBook Pro with OLED and Dynamic Island, plus a new iMac and iPad mini. AI tools tame smart TVs - Users are using AI coding tools like Claude Code and GitHub projects to strip ads, tracking and bloatware from smart TVs. This puts pressure on the smart TV advertising model. Python 3.15 ships after delays - Python 3.15.0 was released after infrastructure outages, an extra release candidate and tooling bugs. It adds lazy imports, frozendict, UTF-8 by default and a faster JIT. Subsea volcano geothermal power test - Endurance Energy ran a seafloor geothermal plant near the Axial Seamount underwater volcano and produced net-positive power for about 8.7 seconds. It plans a Tonga project in 2027. Episode Transcript AI proves quasi-Riemann hypothesis First, an update on the story we've been following about OpenAI's AI-generated math work. Mathematicians now say its proof of the quasi-Riemann hypothesis, a weaker version of the famous Riemann hypothesis about prime numbers, appears to be correct, though it took a lot of human effort to unpack. The surprise is not new tools. The AI combined older techniques and picked a family of mathematical objects, called metaplectic forms, that human researchers had mostly overlooked. Few experts think...