AI 反駁艾狄胥猜想：證明強化與研究影響

總覽

AI 反駁艾狄胥猜想（二）：證明強化與研究影響

兩條八十年尺度的界線：2026 年推翻的是猜想，不是求出 u(n)；截至 2026-08-01 的後續版圖：指數競賽、水平／垂直放大與仍未動搖的上界

令 u(n) 為 n 個平面點所能形成的最多單位距離「無序點對」數；改算有序點對只差常數 2，不影響指數。艾狄胥於 1946 年證明 n^{1+c/log log n} ≲ u(n) ≲ n^{3/2}，其後上界依序經 Józsa–Szemerédi 的 o(n^{3/2})、Beck–Spencer 的 O(n^{1.44…})，在 1984 年抵達 Spencer–Szemerédi–Trotter 的 O(n^{4/3})。 在高斯整數 ℤ[i] 中，z=a+bi 的範數是 N(z)=a²+b²，所以同距離向量正是同範數元素。

• 先看全貌｜兩條八十年尺度的界線：2026 年推翻的是猜想，不是求出 u(n)
• 再看證據｜高斯整數的真正作用：把「同長度」轉成質數分裂的組合爆炸
• 最後看邊界｜n^{4/3} 上界的拓樸骨架：點—圓關聯與交叉數引理