Dylan2045ad’s Futurenomics explores the economics of a future arriving faster than anyone expected.
https://dylan2045ad-store.myshopify.com/
AI, AGI, robotics, automation, sovereign compute, post-labor economics, universal income, technological abundance and the race for intelligence are rewriting the rules of money, work and power.
Each episode cuts through the noise to examine what happens when intelligence becomes cheap, machines become workers, compute becomes capital, and traditional economics collides with exponential technology.
October 23, 2026: Proved, Not Just Tested — Claude's 180 Million Lines of Proof That Software Will Not Crash
Claude took on 123 real open-source libraries from Google's OSS-Fuzz project and turned their crash tests into mathematical proofs — 239 entry points proved crash-free, about 180 million lines of Rocq proof checked mechanically by the Rocq kernel. Leo breaks down what formal verification at AI scale means for the software you use every day, and why proved — not just tested — changes the trust equation.
—
From Dylan From 2045:
• The Signal — free newsletter on the agent economy: https://payhip.com/b/4tHmb
• $1 AI creator tools + the $17 AI Creator Field Kit: https://dylan2045ad-store.myshopify.com
• Site: https://dylan2045ad.github.io/dylan2045-ad/
23 Oct 2026
October 23, 2026: China Is Back — Kimi K3.1 Pro and the Open-Weight Frontier
Moonshot's Kimi K3.1 Pro landed today: 3 trillion parameters, $2/$10 per million tokens, and benchmark results at the top of public boards — with open weights dropping before November 4. Leo breaks down the benchmaxx board from the launch data: K3.1 Pro vs Claude Opus 5.5 vs GPT-6 Astra vs DeepSeek V4.1 Flash on Terminal-Bench, SWE Marathon, Humanity's Last Exam and the Artificial Analysis Index — plus the cache-price tokenomics underneath, and why China is back.
Get The Signal (free newsletter): https://payhip.com/b/4tHmb
Shop Dylan From 2045: https://dylan2045ad-store.myshopify.com
More from 2045: https://dylan2045ad.github.io/dylan2045-ad/
22 Oct 2026
October 22, 2026: OpenAI Moves Into Google's House — Frontier Models on a Rival Cloud
OpenAI models GPT-6 Astra, GPT-6.1 Sol and GPT-6 Luna plus Codex are coming to Google Cloud's Model Garden via Marketplace, payable against existing GCP commitments. What the multi-cloud shift means for society, enterprises and the cloud race.—From Dylan From 2045:• The Signal — free newsletter on the agent economy: https://payhip.com/b/4tHmb• $1 AI creator tools + the $17 AI Creator Field Kit: https://dylan2045ad-store.myshopify.com• Site: https://dylan2045ad.github.io/dylan2045-ad/
Contact Dylan2045ad’s Futurenomics
Guest appearances
Does not typically book guests
Based on episode analysis; this does not confirm that the show is currently accepting guests.
Host of Dylan2045ad’s Futurenomics?
Claim your podcast to manage its listing and keep your show details accurate.
Pod Engine is an independent podcast discovery and analytics service and is not affiliated with or endorsed by this podcast. Artwork and show content belong to their owners. Full legal notice.
Explore this show Podcast research with Pod Engine
