Perplexity AI cover image

Perplexity-Level AI Math

Perplexity AI

00:00

Verification tools and academic adoption

Jaeden discusses formal verification tools like Harmonic and notes professors' willingness to rely on AI tooling.

Play episode from 10:31
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