OpenAI模型证明有理数上希尔伯特第十问题不可判定

OpenAI 最新发布中一项被广泛关注的结果证明：有理数域 Q 上的希尔伯特第十问题不可判定，即不存在算法能在 Q 上求解该问题。这一成果绕开了过去近 80 年源自 Tarski 的人类研究路线，且无需先定义整数即可完成证明。研究者 Aran Nayebi 补充称该问题对他个人意义重大：他 18 岁便痴迷此问题，并在大一暑期项目中给出了将 PA 中不可证命题写成丢番图表示的高效方法。

2026-10-08 ~ 2026-10-08 · 4 条相关

• OpenAI 模型证明 Q 上希尔伯特第十问题不可判定,绕开 80 年老路 — aran_nayebi · 2026-10-08
• 数学家追了半生的希尔伯特第十问题,被 OpenAI 模型攻克 — aran_nayebi · 2026-10-08
• OpenAI 希尔伯特第十问题结果背后:研究者少年时代的丢番图研究渊源 — aran_nayebi · 2026-10-08

另有 1 条近重复转述:aran_nayebi