Generative models, prompting, agents and AI tool capabilities.
OpenAI 公開七百多篇 AI 數學論文:解決了什麼、驗證到哪裡
24d ago · zh-TW audio
OpenAI 公開七百多篇 AI 數學論文:解決了什麼、驗證到哪裡 OpenAI 在 GitHub 放上七百多篇由內部模型做出的數學論文。這一集只問兩個問題:它們解決了什麼,又驗證到哪裡。先看 OpenAI 為什麼要做這件事,再用比喻走過四道題:圓周率能不能被分數「特價」逼近、Erdős 的等差數列猜想、黎曼猜想的八分之七圍籬、千禧年難題 Hodge 猜想;最後看電腦檢查(Lean)做到哪裡,以及 Ellenberg、Buzzard、Sutherland、Litt、陶哲軒五位數學家的初步看法。 章節…
Jim AI Notebook
我是 Jim,這裡是我的 AI 筆記本。 起源是現今每天有太多大多最新的 AI 技術、概念、工具、論文、產業動態、科學新知,所以建立了一個全自動的AI來自動抓住重點做影片,不用自己翻讀大量資訊。分享出來給大家一起共同學習。 合作信箱: jimainotebook@gmail.com
Outlier score
This score was measured on Sun, 01 Nov 2026 13:51:20 GMT. Current view counts may differ.
22.6K views ÷ a 1.2K baseline = 18.2×. Compared with 42 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
Classification is incomplete; the primary niche may change.
Formal logic, algorithms, computability and computational complexity.
Transcripts and detailed analytics are available for recent outlier Shorts up to three minutes. Research tools