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

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

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.

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(126)

BONUS: OpenClaw 2.0 with Chief Architect Vincent Koc

BONUS: OpenClaw 2.0 with Chief Architect Vincent Koc

OpenClaw 2.0 just landed, and we’re going straight to the person helping build it. 🦞This week on The Neuron LIVE, Vincent Koc, Chief Architect of OpenClaw, joins us for a hands-on look at the biggest...

25 Sep 1h 19min

Inside CoreWeave’s AI Infrastructure With Chen Goldberg

Inside CoreWeave’s AI Infrastructure With Chen Goldberg

AI infrastructure used to be the part developers were supposed to forget about. What happens when the infrastructure itself starts determining what AI can doCorey Noles sits down with Chen Goldberg, E...

23 Sep 39min

BONUS: A Beginner’s Guide to GitHub, LIVE with Cassidy Williams

BONUS: A Beginner’s Guide to GitHub, LIVE with Cassidy Williams

UPDATE: Blog version here https://theneuron.ai/explainer-articles/github-for-beginners-how-to-use-it-with-ai-coding-agents/GitHub can feel intimidating if you didn’t come up as a developer, especially...

18 Sep 1h 58min

GPT-6 Astra One-Shot Demos

GPT-6 Astra One-Shot Demos

Corey and Grant put GPT-6 Astra through six identical one-shot build tests to see what it can create with almost no follow-up instruction. The episode covers an interactive black hole lab, a Blender s...

16 Sep 1h 5min

BONUS: Apple’s AI Era Starts Now? Meta’s Free AI Agent + OpenAI’s $1M Math Fight

BONUS: Apple’s AI Era Starts Now? Meta’s Free AI Agent + OpenAI’s $1M Math Fight

We’re going LIVE after Apple’s biggest event of the year to break down John Ternus’s first major keynote as CEO and the big question: Is Apple finally entering its AI era?We’ll unpack what Apple revea...

11 Sep 1h 35min

OpenAI Astra, Local AI, and the Hardware Race

OpenAI Astra, Local AI, and the Hardware Race

What happens when AI models get powerful enough that the bottleneck stops being the model, and starts becoming the computer, the power grid, or the safeguards around it?Corey Noles and Grant Harvey br...

9 Sep 1h 34min

BONUS: Claude Fable 5.1 LIVE: Testing Anthropic’s New AI Agent

BONUS: Claude Fable 5.1 LIVE: Testing Anthropic’s New AI Agent

Anthropic just released Claude Fable 5.1, its newest frontier model for long-running coding, research, and agentic work.So naturally, we’re putting it to the test LIVE. 🤖Early testing suggests Fable ...

4 Sep 1h

Where Does AI Agent Security Actually Live?

Where Does AI Agent Security Actually Live?

AI companies spend enormous effort making models safer, but the model tested in the lab isn't necessarily the system a company eventually deploys. Alice CEO and co-founder Noam Schwartz joins Corey an...

28 Aug 54min

Populært innen Teknologi

teknisk-sett
lydartikler-fra-aftenposten
tomprat-med-gunnar-tjomlid
energi-og-klima
elektropodden
hans-petter-og-co
rss-ki-praten
shifter
smart-forklart
rss-alt-som-gar-pa-strom
nasjonal-sikkerhetsmyndighet-nsm
rss-ai-forklart
fornybaren
teknologi-og-mennesker
rss-teknologioptimistene-en-podkast-om-teknologi-og-mennesker
rss-snakk-om-sikkerhet
rss-ki-til-kaffen
pedagogisk-intelligens
rss-alt-vi-kan
rss-heis