从 Erdős 到千禧难题:AI 解数学问题的速度正在指数化
haider1 · x · 2026-09-22
作者以略带玩笑的口吻梳理了一条递进曲线:GPT-5.6 级别能解决 1 个 Erdős 问题,"astra" 能产出 10 个重大未解问题结果,再往后则能攻克 1 个千禧年大奖难题外加 100 多个未解数学问题。
他感叹"再过三代模型,未解数学题可能要被做完了"——本质是对前沿模型数学推理能力爆发式增长的趋势判断。
「漫话AGI」频道最新
- repligate 谈 EA 的权力化陷阱:透支信誉终将反噬 — repligate · 2026-09-22
- 十年戴森球之争续:「连 Dath Ilan 都做不到这么快」 — austinc3301 · 2026-09-22
- 求职者拒绝AI预录面试：凭什么免费给企业喂训练数据 — felpix_ · 2026-09-22
- Erik Davis 长文评 Amodei 新作：赛博格迷梦与 LLM 恐惧的谱系 — nptacek · 2026-09-22
- 研究者抨击「无消融实验却要人盲信架构」的AI圈风气 — RexDouglass · 2026-09-22
- 「有故事不等于有概率」：Redditor 主张拆解 AI 灾难风险机制 — MirrorEthic_Anchor · 2026-09-22