OpenAI 模型证明 Q 上希尔伯特第十问题不可判定,绕开 80 年老路
aran_nayebi · x · 2026-10-08
OpenAI 最新发布中一个被低估的结果：证明了有理数域 Q 上的希尔伯特第十问题是假的（不可判定）。
- 过去近 80 年，人类路线（源自 Tarski 对 Raphael Robinson 的提问，经由 Julia Robinson 1949、Bjorn Poonen 2003-09 等人发展）都是先用存在性条件在 Q 中「定义整数」，再从 Z 转移不可判定性。
- 这个证明完全绕开了该障碍：不需要在 Q 中定义整数。作者理解是，它构造一列有限有理数测试，若全部通过则产生非标准意义下的「类整数」解；再用椭圆曲线/尺寸约束表明必有普通整数解存在，从而把不可判定性从 Z 转移到 Q。
- 评论者认为其展现了显著的跳出框架思维。
所属事件:OpenAI 模型证明有理数上希尔伯特第十问题不可判定(3 条相关)→
「模型」频道最新
- Anthropic 新模型定价直逼中国甜点级模型,作者对比 DeepSeek 与 GLM — op7418 · 2026-10-08
- Reddit 发起挑战:谁能用 LLM 完整写出 Risch 算法实现 — big_hole_energy · 2026-10-08
- Burkov:Codex 6.1 High 档过度思考太慢,降档后 Sonnet 5.5 仍更快 — burkov · 2026-10-08
- 传闻 Haiku 5.5 在 Anthropic ECI 上略胜 My��os 预览版 — inductionheads · 2026-10-08
- 真人盲测 7912 次请求:普通人几乎察觉不到不同 AI 模型的差异 — Altruistic_Heat_9531 · 2026-10-08
- 31B 开源 Gemma 网页 Agent 得分 74.6%,超越 Gemini 3 Flash — dair_ai · 2026-10-08