Reimagining mathematics in a world of reasoning machines [video](youtube.com)48 points by kentricon 1 year ago | 31 comments
Self-supervised learning, JEPA, world models, and the future of AI [video](youtube.com)39 points by twoodfin 1 year ago | 22 comments
Two physicists who correctly predicted the mass of Higgs boson [video](youtube.com)86 points by jerb 2 years ago | 53 comments
Alan Kay's talk at UCLA – Feb 2024 [video](youtube.com)256 points by sgoyal 2 years ago | 74 comments
Reanimation of the original Logic Theorist, the first AI, in IPL-V [video](youtube.com)30 points by abrax3141 1 year ago | 2 comments
![Screenshot of youtube.com: Machine Assisted Proof [video]](https://hn.urlbox.com/shots/renders/2024/2/15/f2b223a5-01a5-4922-934f-6fb694c091f6.jpg)
![Screenshot of youtube.com: Terence Tao – Machine-Assisted Proofs [video]](https://hn.urlbox.com/shots/renders/2025/2/26/3e8fd0f0-e158-400c-85a5-81ebefcc59f3.jpg)
![Screenshot of youtube.com: Reimagining mathematics in a world of reasoning machines [video]](https://hn.urlbox.com/shots/renders/2024/12/22/06c8ac93-004c-4828-833c-c29cf284b9aa.jpg)
![Screenshot of youtube.com: Self-supervised learning, JEPA, world models, and the future of AI [video]](https://hn.urlbox.com/shots/renders/2025/10/3/8112956d-6616-454e-a6de-289ae7860b1c.jpg)
![Screenshot of youtube.com: Two physicists who correctly predicted the mass of Higgs boson [video]](https://hn.urlbox.com/shots/renders/2024/1/7/8565d5f9-745d-4db9-9325-fbd98df99ba7.jpg)
![Screenshot of youtube.com: Alan Kay's talk at UCLA – Feb 2024 [video]](https://hn.urlbox.com/shots/renders/2024/3/6/b2151159-bee8-492f-8f94-2f1ddba2874c.jpg)
![Screenshot of youtube.com: Reanimation of the original Logic Theorist, the first AI, in IPL-V [video]](https://hn.urlbox.com/shots/renders/2025/4/28/b14e0610-eb21-4cd7-b3d3-e898dafe1954.jpg)