「今年是歐幾里得以來，數學史上最戲劇性的一年」數學物理學家 Yang-Hui He：AI 做數學做到哪了 【AI 大人說】

原素材（The Royal Institution｜Can AI solve the hardest problems in mathematics?，17 分 47 秒）：   • Can AI solve the hardest problems in mathe...   「今年是歐幾里得以來，數學史上最戲劇性的一年。」 倫敦數學科學研究所研究員、數學物理學家 Yang-Hui He，在英國皇家研究院解釋 AI 做數學到底走到哪裡。 他從 ChatGPT Pro 拼圖全錯談起，拆解數學研究由上而下、由下而上與後設數學三條路，也說自己會怎麼驗證 AI 給的答案。 從奧數、FrontierMath、Erdős 題到 Lean 與 Mathlib，他認為下一步不只是解題，而是挑出值得研究的問題。 OpenAI 宣布解出 Navier-Stokes 後，他補錄談數學界的震動，也把結論收在證明正確不等於有用，真正重要的是理解。 章節 00:00 開場：AI 做數學到底到哪了 00:32 拼圖丟給 ChatGPT Pro 01:12 數學研究的 3 種做法 02:33 奧數、FrontierMath 與 Erdős 題 07:27 Lean 編譯得過就是對的 09:17 下一步是出題，AI 太會了 11:45 半年後：不是 DeepMind 14:08 最重要的是理解