AI 给出 Erdős-Sós 猜想简洁证明，引发研究者角色之辩
soumitrashukla9 · x · 2026-09-24
几周前，OpenAI 的 Astra 模型为图论中一度被认为非常困难的 Erdős-Sós 猜想给出了一个惊人简洁的证明。Terence Bloom 等人将其视为「AI 证明生命周期」的良好范例：AI 形式化并给出初证之后，人类的数学工作并非终结，而是从此开始——AI 的证明只是研究的起点，研究者需要确保 AI 带来更好的理解。转发者认为这是关于 AI 冲击数学与科学研究方式、研究者应如何转变角色的最有建设性的一份讨论。
所属事件:AI 为 Erdős–Sós 猜想给出简洁证明(2 条相关)→
「漫话AGI」频道最新
- AI 深度用户呼吁:多讲「AI 提效」与「AI 垃圾产出」的区别 — Dimillian · 2026-11-11
- 手机本地跑出千禧年大奖难题解法的模型还要多久？ — paul_cal · 2026-11-11
- 顶级超预测员因 METR 报告将 ASI 预测提前 3 年至 2028 — ben_j_todd · 2026-11-11
- 盖茨称或先承受 AI 危害再应对，舆论担忧为政府管控铺路 — nikola_mr64990 · 2026-11-11
- 安全研究者 joshua_saxe:每周与 ChatGPT 语音长谈数小时,仍感觉在跟机器说话 — joshua_saxe · 2026-11-11
- Carlsen 对 Stockfish 的启示：没人付费看引擎下棋，观众为人类而来 — teodorio · 2026-11-11