The last IMO problem AI could not solve

摘要

深入探討 2025 年國際數學奧林匹賽最難的第六題，解釋為何 AI 至今無法解出，並透過一個切割立方體的腦筋急轉彎來建立直覺。觀眾能學習到如何構建嚴謹證明、理解數學中的美感與直覺，以及反思 AI 在數學領域的未來角色。

A deep dive into a 2025 IMO problem that AI couldn't solve, exploring the required intuition and reflecting on the value of human understanding in mathematics.

摘要、重點與章節標題由語言模型整理，細節（誰說的、數字、先後）可能有誤；要引用請以原始內容為準。

重點

• 解析 2025 年 IMO 第六題的難點與解題策略。
• 透過切割立方體的腦筋急轉彎建立直覺與經驗。
• 探討 AI 無法解題的原因與數學價值的人文意義。

章節

依話題轉折切分，標題由 AI 產生

1. 00:00The one that AI missed
2. 04:09Problem statement
3. 06:45Finding the Optimal Construction
4. 18:51A weak lower bound
5. 23:453b1b Talent
6. 24:41Proving the Construction is Optimal
7. 34:08One final conjecture
8. 39:42The Erdos-Szkeres Theorem
9. 45:56Reflections on AI in Math

適合誰看

對數學證明、邏輯思維或 AI 在科學領域應用感興趣的人。

摘要依據

依據

人工字幕

為什麼排在這裡

人氣

1.00

新鮮

0.93

在主題頁與搜尋結果裡，名次由相關、人氣、新鮮三個分數決定；這一頁沒有搜尋的關鍵字，所以沒有相關分數。排序怎麼算

相關內容

• The AI that solved IMO Geometry Problems | Guest video by @Aleph0影片 ・ 3Blue1Brown ・ 14 分鐘
• The summer Math fell to the machines...影片 ・ Fireship ・ 6 分鐘
• What happens now that AI is good at math? - Episode 17Podcast ・ OpenAI Podcast ・ 43 分鐘
• 陶哲轩：数学六大基石与AI时代的科学变革 ​| Terence Tao | 数学基础 | 代数 | 几何 | 概率 | 分析 | 动力学 | 非欧几何 | 爱因斯坦相对论 | 压缩感知 | 菲尔兹奖影片 ・ Best Partners TV ・ 31 分鐘
• From Math Olympiads to Navier-Stokes: How Fast Is AI Progressing? with Greg Burnham - #778Podcast ・ The TWIML AI Podcast ・ 1 小時 8 分
• OpenAI发布722项数学成果，多领域世纪难题获突破​ | 准黎曼猜想 | 霍奇猜想 | 唯一游戏猜想 | 挂谷猜想 | 自由群因子 | NP困难 | Lean形式化 | 陶哲轩 | 智能爆炸影片 ・ Best Partners TV