Erdős 突破 ☕ Buy me a coffee

🧑‍🏫 這支影片在講 AI 解出了一道數學界很有名、長年沒人解開的 Erdős 問題，並由研究者談這件事代表什麼。值得看是因為這次不是 AI 幫忙算數或整理資料，而是 AI 自己拿出連專家都沒想到的解法，連當事人都被嚇到。

• 00:02 這是 AI 首次明確解出一道「眾所周知」的未解數學問題，而不只是一般的未解問題
  ↳ 數學界有很多沒人解出的題目，但大多只有少數專家在意。這次被解的是圈內人都知道、公認很難的名題，所以份量完全不同。
• 00:02 受訪者稱這是第一個由 AI 帶來的數學突破
  ↳ 過去 AI 在數學上多半是幫忙計算、查資料。這次是 AI 自己拿出關鍵解法，受訪者認為這才稱得上「突破」，而且是第一次。
• 00:02 這道題被形容為組合幾何中最知名的問題，可能是整個子領域最有名的一題
  ↳ combinatorial geometry（組合幾何）是研究點、線、圖形怎麼排列、怎麼計數的數學分支。這題在這個領域的地位，大概就是大家第一個會想到的那題。
• 00:33 研究者初次看到模型輸出時不太相信，花了很長時間閱讀，試著弄懂大致在做什麼
  ↳ 連專業研究者都沒辦法一看就懂，要花很長時間慢慢讀，才抓到模型大概在做什麼。可見這不是套公式得出的答案，而是需要花時間消化的新東西。
• 00:33 團隊讓模型處理幾道許多人感興趣的 Erdős 問題，意外得到其中一道最重要問題的解答
  ↳ Erdős 是一位出了名愛提問題的數學家，留下大量題目，統稱 Erdős 問題。團隊只是挑幾題去試，沒想到最重要的那題被解開了。
• 00:33 這道題是關於平面上的點，屬於完全初等的幾何問題
  ↳ 「初等」不是指簡單，而是指看懂題目不需要高深知識，題目問的就是平面上的點。人人都看得懂題目，不代表有人解得出來。
• 01:04 雖然題目本身初等，解法卻用到代數數論中很深的工具
  ↳ algebraic number theory（代數數論）是研究數字性質的高深數學分支。這題題目很淺，最後卻要搬出很專業的工具才解得開。
• 01:04 原本大家認為既有的構造基本上已是最佳，模型卻證明這個構造還能大幅改進
  ↳ construction（構造）是數學家實際做出來的具體例子，用來證明「最好可以做到這樣」。大家原本以為現有的做法已經到頂，模型卻找到好很多的做法。
• 01:04 人類無法執行這個方法：它太精細，證明過程中需要做的決策太多
  ↳ 問題不在人不夠聰明，而是這個證明一路上要做非常多細小的選擇，每一步都要選對，靠人工很難撐完整個過程。
• 01:04 AI 能更全面地探索所有可能性，並藉此找到通往解答的路徑
  ↳ 人通常憑直覺挑幾條路試試看，AI 則能把更多可能的路都走過一遍，從中找出真正走得通的那條。這正好補上前一點說的人類瓶頸。
• 01:34 研究者表示難以置信，頭幾個晚上睡不好，深感震撼
  ↳ 這不是客套地說「很厲害」。專業研究者是真的被震撼到，連續幾晚睡不好，代表這個結果超出他原本對 AI 能力的認知。
• 01:34 受訪者原本就預期 AI 會做到這種事，但這個結果讓他預估的時間大幅縮短
  ↳ 他本來就相信 AI 遲早做得到，差別只在「什麼時候」。這個結果讓他覺得那一天比原本預估的近很多。
• 02:05 這顯示 AI 能在科學上取得突破，也能促成工程、物理、生物、醫學等領域的突破
  ↳ 受訪者的推論是：AI 既然能在數學上做出突破，也就有機會幫工程、物理、生物、醫學這些領域找到新的解法。
• 02:05 受訪者認為這個結果讓人看見數學黃金時代的曙光
  ↳ 「黃金時代」指新發現大量湧現的時期。他的意思是，有 AI 一起找路，數學可能進入進展特別快的階段，而這題就是開頭。
• 02:05 受訪者認為這個結果比以往的成果大幅躍進，將是數學史上非常重要的時刻
  ↳ 他認為這不是小幅進步，而是比過去 AI 的數學表現明顯跳了一大級。以後回頭看，這會是數學史上會被記住的時間點。

根據影片，這道關於平面上點的問題，其解法用到了哪個領域的深層工具？