筛选结果
4 篇排序
13:30EN → 简体中文
3Blue1Brown· 2025年8月17日AlphaGeometry 如何结合逻辑证明与创造性作图Aleph0Aleph0 讲解了符号几何求解器如何在不使用 AI 的情况下解决大量难题，以及语言模型如何提供辅助作图，让系统达到奥数竞赛水平。
11:19EN
Lex Fridman播客 · 2 人对谈Why Donald Knuth Thinks P = NP and Why It Might Not Matter嘉宾 Donald Knuth · 主持 Lex FridmanKnuth explains how an algorithm can provably exist without anyone being able to write it down, and why that shapes his view of P versus NP.
11:11ENLex Fridman播客 · 2 人对谈Filling the Empty Quadrants: Jim Gates on Supersymmetry and the Beauty of Broken Symmetry嘉宾 Jim Gates · 主持 Lex FridmanTheoretical physicist Jim Gates explains supersymmetry with a four-slice pie, recalls how he chose it for his thesis in the 1970s, and connects it to the way physics moves from mathematics to experiment.
11:34ENLex Fridman播客Neither Discovered Nor Invented: Grant Sanderson on the Cycle Between Math and the World主持 Lex Fridman3Blue1Brown's Grant Sanderson tells Lex Fridman that mathematics feeds on a loop of discovery and invention, and wonders why the universe's laws are so compressible.