PodcastsTechnologyThe Neuron: AI Explained

The Neuron: AI Explained

The Neuron
The Neuron: AI Explained
Latest episode

93 episodes

  • The Neuron: AI Explained

    The AI Trying to Solve Math’s Biggest Mystery w/ Tudor Achim of Harmonic

    20/05/2026 | 46 mins.
    What happens when AI stops simply giving answers and starts producing proofs a computer can verify?

    In this episode of The Neuron, Corey Noles and Grant Harvey talk with Tudor Achim, Co-Founder and CEO of Harmonic, the company behind Aristotle — a formal reasoning system built to generate machine-checkable mathematical proofs. Tudor explains why math may be the clearest test case for moving AI from “trust me” to “check me,” and why formal verification could matter far beyond Olympiad benchmarks.

    They discuss what “mathematical superintelligence” actually means, why Tudor thinks solving a Millennium Prize problem would be a meaningful threshold, and how Lean-based proofs could change the way mathematicians collaborate. They also explore Aristotle’s real-world use cases, from open math problems to verified software, chip design, scientific computing, and the future of AI-assisted discovery.

    Plus: why Tudor thinks formal math has reached a “zero to one” moment, why specs may be the bottleneck in verified software, and why humans still need to direct the questions AI systems try to solve.

    Subscribe to The Neuron and sign up for The Neuron Daily at theneuron.ai.
  • The Neuron: AI Explained

    The AI Trying to Solve Math’s Biggest Mystery w/ Tudor Achim of Aristotle

    20/05/2026 | 46 mins.
    What happens when AI stops simply giving answers and starts producing proofs a computer can verify?

    In this episode of The Neuron, Corey Noles and Grant Harvey talk with Tudor Achim, Co-Founder and CEO of Harmonic, the company behind Aristotle — a formal reasoning system built to generate machine-checkable mathematical proofs. Tudor explains why math may be the clearest test case for moving AI from “trust me” to “check me,” and why formal verification could matter far beyond Olympiad benchmarks.

    They discuss what “mathematical superintelligence” actually means, why Tudor thinks solving a Millennium Prize problem would be a meaningful threshold, and how Lean-based proofs could change the way mathematicians collaborate. They also explore Aristotle’s real-world use cases, from open math problems to verified software, chip design, scientific computing, and the future of AI-assisted discovery.

    Plus: why Tudor thinks formal math has reached a “zero to one” moment, why specs may be the bottleneck in verified software, and why humans still need to direct the questions AI systems try to solve.

    Subscribe to The Neuron and sign up for The Neuron Daily at theneuron.ai.
  • The Neuron: AI Explained

    BONUS: Can AI Actually Be Your Therapist? We Ask the CEO Building One

    15/05/2026 | 1h 13 mins.
    May is Mental Health Awareness Month, and as AI becomes more embedded in our daily lives, one of the biggest questions we face is whether these systems can responsibly support emotional and psychological well-being.

    AI chatbots are increasingly being used for emotional support, but recent lawsuits faced by OpenAI and earlier ones targeting character.ai and Google's AI Overviews, as well as clinical reports, and internal research have raised valid concerns about their impact on vulnerable users.

    What does it take to build an AI system specifically designed for mental health from the ground up? Is that even possible?

    In this LIVE episode of The Neuron Podcast, Corey Noles and Grant Harvey speak with Daniel Reid Cahn, co-founder and CEO of Slingshot AI, about Ash, an AI application purpose-built for therapeutic support. Slingshot has raised $93M from a16z, Radical Ventures, and others to develop a foundation model for psychology trained on structured therapeutic conversations across modalities such as CBT, DBT, and psychodynamic therapy.

    We discuss the limitations of general-purpose chatbots in mental health contexts, recent controversies surrounding AI and psychiatric risk, and what differentiates a system designed to provide structured therapeutic engagement compared to one being used in a way it was never intended to be. The conversation also explores a broader question: Can AI meaningfully expand access to high-quality mental health care, and where should clear boundaries remain? Or should we keep our counseling where we always have, on a couch with a box of Kleenex and a hug nearby?

    🔗 Try Ash:
    https://www.talktoash.com/

    📌 About The Neuron Podcast
    The Neuron breaks down the biggest stories in AI for 580,000+ daily readers. Our podcast goes deeper with the leaders, founders, and researchers shaping the future of AI. New episodes every week.

    Subscribe to The Neuron newsletter — theneuron.ai
  • The Neuron: AI Explained

    Inside Genspark: $0 to $250M ARR in 12 Months with Wen Sang

    13/05/2026 | 44 mins.
    Genspark went from AI search startup to autonomous AI agent platform, hitting $250M ARR in 12 months with no paid ads until they bought a Super Bowl spot.

    Co-founder and COO Wen Sang joins Corey and Grant to explain what "AI employee" actually means, demos Genspark Claw live (including buying us coffee mid-interview), and lays out his big thesis: legacy software is becoming infrastructure while AI agents become the new interface between humans and work.

    We get hands-on with Workspace 4.0, Claw, and a custom agent built live for the show.

    • Genspark Workspace 4.0 announcement: https://www.genspark.ai/blog/genspark-ai-workspace-4
    • Genspark sb-git: https://genspark.ai/sb-git/intro
    • OpenAI's customer story on Genspark: https://openai.com/index/genspark/
    • Forbes AI 50 (2026): https://www.forbes.com/lists/ai50/
    • Marc Benioff on Salesforce Headless 360 (referenced by Wen): https://x.com/Benioff
    • Andrej Karpathy's "wiki for agents" idea (referenced as inspiration for sb-git): https://x.com/karpathy
    • Wen on the DealMaker Show: https://alejandrocremades.com/wen-sang/

    Try Genspark for free: https://genspark.ai

    Subscribe to The Neuron newsletter: https://theneuron.ai
  • The Neuron: AI Explained

    BONUS: The AI Starter Kit: What to Try...and What to Ignore

    08/05/2026 | 2h 3 mins.
    New to AI and not sure where to start?

    Join us live Thursday for The AI Starter Kit: What to Try...and What to Ignore.

    This beginner-friendly session will help you cut through the noise and focus on the AI tools, habits, and prompts that actually matter. By the end, you’ll know what to try first, what not to worry about yet, and how to ask better questions when you get stuck.

    In this session, we’ll cover:
    🚀 The best first steps for AI beginners
    🛠️ What tools and features are worth trying now
    🙅 What you can safely ignore for the moment
    💡 Simple ways to get better answers from AI
    🔍 How to troubleshoot when AI gives you something unhelpful

    Whether you’re brand new to AI or still figuring out how to use it well, this live session will give you a practical place to start.
More Technology podcasts
About The Neuron: AI Explained
The Neuron is a daily newsletter with 700,000+ readers that covers the latest AI developments, trends and research; this is our podcast, hosted by Grant Harvey and Corey Noles. We aim to create digestible, informative and authoritative takes on AI that get you up to speed and help you become an authority in your own circles. Available Wednesdays and Sundays on all podcasting platforms and YouTube. Subscribe to our newsletter: https://www.theneurondaily.com/subscribe
Podcast website

Listen to The Neuron: AI Explained, Acquired and many other podcasts from around the world with the radio.net app

Get the free radio.net app

  • Stations and podcasts to bookmark
  • Stream via Wi-Fi or Bluetooth
  • Supports Carplay & Android Auto
  • Many other app features
The Neuron: AI Explained: Podcasts in Family