Hacker News with Generative AI: Video Lectures

Terence Tao – Machine-Assisted Proofs [video] (youtube.com)
Scott Aaronson: Aligning Superintelligent AGI (2024) [video] (youtube.com)