Formal logic, algorithms, computability and computational complexity.
Back to discovery
16:47ABOUT THE CHANNEL Primary niche Additional niche
16:47Science & Mathematics / VIDEO
Jim AI Notebook· 34.8K subscribers
AI 的數學證明靠 Lean 檢查，那誰來檢查 Lean？｜Leonardo de Moura｜演講訪談系列
Jim AI Notebook· 34.8K subscribers23d ago · zh-TW audio
00:00 開場：AI 的數學證明靠 Lean 檢查，那誰來檢查 Lean？ 00:59 Leonardo de Moura（Lean）：Lean 是什麼，數學的裁判 01:44 小而可信的核心：只需要相信幾千行 02:44 Collatz 假證明：兩套檢查程式都蓋了章 03:48 兩個不同的漏洞，被同一份證明對準…
Jim AI Notebook
我是 Jim，這裡是我的 AI 筆記本。 起源是現今每天有太多大多最新的 AI 技術、概念、工具、論文、產業動態、科學新知，所以建立了一個全自動的AI來自動抓住重點做影片，不用自己翻讀大量資訊。分享出來給大家一起共同學習。 合作信箱: jimainotebook@gmail.com
12.1×Score at discovery
15KViews
1.2KMedian · 43 videos
Outlier score
This score was measured on Sun, 01 Nov 2026 13:51:20 GMT. Current view counts may differ.
15K views ÷ a 1.2K baseline = 12.1×. Compared with 43 earlier videos from the same channel, matching the format recorded at scoring time. Older-upload baseline: reference videos had at least as long to gain views. This comparison is not age-matched.
YouTube snapshot: Sun, 01 Nov 2026 23:43:18 GMT. Counters may have changed.
Read the methodologyNiches & tags
AI evaluation, societal implications, governance and responsible deployment.
Transcripts and detailed analytics are available for recent outlier Shorts up to three minutes. Research tools
