看影片（在新分頁開啟原站）連到 Fireship
摘要
記錄近期 AI 在數學領域的突破性進展，包括推翻百年猜想與解決千年難題。觀眾可了解 AI 如何輔助甚至主導數學研究，以及對未來學術界的可能影響。
A video report on how AI models have recently solved or disproved major open mathematical problems.
摘要、重點與章節標題由語言模型整理，細節（誰說的、數字、先後）可能有誤；要引用請以原始內容為準。
重點
- AI 模型已推翻多個百年未解的數學猜想。
- OpenAI 與 Anthropic 的模型分別取得重大進展。
- 個人研究者也能利用 AI 工具解決複雜問題。
提到的工具與公司
- GPT-5.6
- Claude
- Claude code
- Lean
- Railway
適合誰看
對 AI 在科學研究應用、數學發展趨勢感興趣的開發者或科技愛好者。
摘要依據
- 依據
- 自動字幕
為什麼排在這裡
- 人氣
- 0.97
- 新鮮
- 0.83
在主題頁與搜尋結果裡，名次由相關、人氣、新鮮三個分數決定；這一頁沒有搜尋的關鍵字，所以沒有相關分數。排序怎麼算
相關內容
- How a reasoning model cracked an 80-year-old math problem - Episode 20Podcast ・ OpenAI Podcast ・ 41 分鐘
- Erdős问题为何会成为AI的新竞技场 | AI数学证明 | OpenAI | 保罗·埃尔德什 | 大语言模型 | 人工智能 | 陶哲轩 | 菲尔兹奖 | 数论 | Astra模型影片 ・ Best Partners TV ・ 17 分鐘
- What happens now that AI is good at math? - Episode 17Podcast ・ OpenAI Podcast ・ 43 分鐘
- OpenAI's biggest math breakthrough is getting ugly...影片 ・ Fireship ・ 6 分鐘（在新分頁開啟原站）
- Claude AI Failed 650 Times…Then Beat The Human Record影片 ・ Two Minute Papers ・ 4 分鐘（在新分頁開啟原站）
- Inside OpenAI’s Breakthroughs in Mathematical Reasoning影片 ・ a16z ・ 1 小時 5 分（在新分頁開啟原站）
摘要由 AI 根據原文產生，可能有誤；完整內容請看原站。看影片（在新分頁開啟原站）