◎

AI 攻克的数学难题

Unsolved Problems AI Tackled

人类挂在悬赏栏上几十年、上百年的问题，最近被机器推进了一步。这些不是解题技巧的汇编，每一讲是一个真实的问题、一段真实的来路，以及它现在卡在哪儿。

10 题 · 1 讲已更新

讲义

第 1 讲 · 2026-10-21 · 约 12 分钟

平面上放 n 个点，最多能有多少对点的距离恰好为 1？埃德奥斯 1946 年提出这个猜想，八十年后被一个 AI 系统证伪。这一讲讲这个问题的来龙去脉，以及机器是怎么跨过那道缝的。