RSS 订阅地址
https://youtube-channel-app.fly.dev/api/rss/public/UCMeyrhYaw1OvaFAKayRLVbA复制以上 RSS 地址，在你的播客客户端中订阅即可自动同步更新
在油管FM 中查看 ↗最新单集
共 33 集Can AI Math Be Trusted? The Mechanics and Limitations of Lean (Formal Proof)
Can AI Math Be Trusted? The Mechanics and Limitations of Lean (Formal Proof)
2026-09-2630 分钟From Arithmetic to Open Problems: The History of AI Math [2026]
From Arithmetic to Open Problems: The History of AI Math [2026]
2026-09-1922 分钟The Light and Dark Sides of the Navier–Stokes Problem
The Light and Dark Sides of the Navier–Stokes Problem
2026-09-1626 分钟Reading Peaks and Valleys from a Formula: Quadratic Forms and the Hessian
Reading Peaks and Valleys from a Formula: Quadratic Forms and the Hessian
2026-09-0915 分钟Does Mathematical Induction Assume It Holds for "Some k"?
Does Mathematical Induction Assume It Holds for "Some k"?
2026-08-308 分钟College Math: Keep Going Even When You Don't Understand
College Math: Keep Going Even When You Don't Understand
2026-08-3015 分钟Cauchy Sequences and Completeness | The Shortest Course on Topological Spaces 12
Cauchy Sequences and Completeness | The Shortest Course on Topological Spaces 12
2026-08-3014 分钟Connectedness [Fast Track to Topology ⑪]
Connectedness [Fast Track to Topology ⑪]
2026-08-3014 分钟Compactness (Topological Spaces Express Course #10)
Compactness (Topological Spaces Express Course #10)
2026-08-3011 分钟The 87-Year-Old Jacobian Conjecture Disproved with AI?
The 87-Year-Old Jacobian Conjecture Disproved with AI?
2026-07-3013 分钟連続写像、同相【位相空間論の最短コース⑨】
連続写像、同相【位相空間論の最短コース⑨】
2026-07-3013 分钟Open Sets, Closed Sets, and Topology [The Shortest Course in Topological Space Theory ⑧]
Open Sets, Closed Sets, and Topology [The Shortest Course in Topological Space Theory ⑧]
2026-07-3016 分钟Interior, Closure, and Neighborhoods [Shortest Course in Topology ⑦]
Interior, Closure, and Neighborhoods [Shortest Course in Topology ⑦]
2026-07-3013 分钟Open Sets and Closed Sets [The Shortest Course in Topology 6]
Open Sets and Closed Sets [The Shortest Course in Topology 6]
2026-06-3013 分钟Convergence and Boundedness [The Shortest Course in Topology ⑤]
Convergence and Boundedness [The Shortest Course in Topology ⑤]
2026-06-3015 分钟Metric Spaces [The Shortest Course in Topology #4]
Metric Spaces [The Shortest Course in Topology #4]
2026-06-3013 分钟Euclidean Distance [The Shortest Course in Topology Part 3]
Euclidean Distance [The Shortest Course in Topology Part 3]
2026-06-3014 分钟The Set R^N and Its Subsets [The Shortest Course in Topology ②]
The Set R^N and Its Subsets [The Shortest Course in Topology ②]
2026-05-3011 分钟Aiming for Metric Spaces (Topology Fast Track #1)
Aiming for Metric Spaces (Topology Fast Track #1)
2026-05-309 分钟A Guide to Appreciating Cool University Mathematical Terms
A Guide to Appreciating Cool University Mathematical Terms
2026-05-3011 分钟
