Dr. Mateja Jamnik | Can Machines Think Like Humans?
27:40
Dr. Tom Melham | At-scale Formal Verification for Industrial Semiconductor Designs
41:45
Geoff Hinton - Will Digital Intelligence Replace Biological Intelligence? | Vector's Remarkable 2024
32:35
Prof. Thomas Hales | New Challenges with Large Proofs in the wake of the Formal Proof
1:01:57
V. Completa. Una clase magistral del pionero de la inteligencia artificial. Jürgen Schmidhuber
57:45
Visualizing transformers and attention | Talk for TNG Big Tech Day '24
1:03:43
Cómo hablar
1:29:04
On Quarks and Turbulence by David Tong
29:48