Sourcery cover image

AI vs Humans: Math, Physics, KGB Psyops, UAPs | Shaun Maguire, Sequoia

Sourcery

00:00

Harmonic's focused RL + Lean strategy

Shaun outlines Harmonic's differentiated approach: using Lean to formalize proofs and reinforcement learning for math.

Play episode from 04:06
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app