
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

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