필터 결과
4개정렬
13:30EN
3Blue1Brown· 2025년 8월 17일How AlphaGeometry Combines Logical Proof with Creative ConstructionAleph0Aleph0 explains how a symbolic geometry solver gets surprisingly far without AI, and how a language model supplies the auxiliary constructions that take it to Olympiad level.
47:05ENLogan Kilpatrick on AI Developers, Interfaces, and the Future of ModelsMatthew Berman, Logan Kilpatrick · Forward FutureIn a July 2025 conversation, Google’s Logan Kilpatrick discusses Windsurf, agent interfaces, coding skills, Veo, and the shifting boundary between models and application scaffolding.
45:31ENJerry Chow on Quantum Computing, Encryption, AI and Error CorrectionMatthew Berman, Jerry Chow · Forward FutureIBM’s quantum systems director explains qubits, cryogenic hardware, software and the work needed to make quantum computers useful.
21:00ENJim Fan's Foundation Agent Vision: Skills, Robot Bodies, and SimulationMatthew Berman, Jim Fan · Forward FutureMatthew Berman examines research on Minecraft agents, varied robot bodies, and simulation as steps toward more general embodied AI.