Hacker News with Generative AI: Video Lectures
« Back to main
Terence Tao – Machine-Assisted Proofs [video]
(youtube.com)
Mathematics
,
Computer Science
,
Proof Assistance
,
Video Lectures
111 points by ipnon 41 days ago |
31 comments
Scott Aaronson: Aligning Superintelligent AGI (2024) [video]
(youtube.com)
Artificial Intelligence
,
Superintelligence
,
AGI
,
Video Lectures
9 points by gone35 91 days ago |
0 comments