AI summaries and full transcripts for the podcasts you already follow. Free, by Wave.

Product

How it works
Browse podcasts
Your library

Company

About Wave
Privacy
Terms

Get Wave AI

Download app
WaveTube — YouTube summaries
Contact

Wave AI Tools

AI Transcription App
Speech to Text App
Audio to Text Converter
Audio Transcription Software
AI Note Taking App
AI Note Taker
Meeting Notes App
Meeting Transcription App
AI Meeting Recording App
Voice Recorder App
Lecture Recording App
Call Recording App
Online Voice Recorder
Transcribe Video to Text
Audio Recorder App iPhone
Phone Call Recorder iPhone
Voice Memo App Android
Sales Call Recording Tool

Mathematical Superintelligence: Harmonic's Vlad Tenev & Tudor Achim on IMO Gold & Theories of Everything - "The Cognitive Revolution" | AI Builders, Researchers, and Live Player Analysis | Wave AI Podcast Notes

← "The Cognitive Revolution" | AI Builders, Researchers, and Live Player Analysis

"The Cognitive Revolution" | AI Builders, Researchers, and Live Player Analysis

Mathematical Superintelligence: Harmonic's Vlad Tenev & Tudor Achim on IMO Gold & Theories of Everything

February 18, 2026·01:31:14

Vlad Tenev and Tudor Achim from Harmonic explain how they built Aristotle, an AI system that reaches International Mathematical Olympiad gold-medal performance using formally verified Lean proofs.

Loading summary

Technology Business Society & Culture