OpenAI 数学成果惊现千禧年大奖题:希尔伯特第十问题有理数版被解决
almmaasoglu · x · 2026-10-07
BLUECOW 指出,OpenAI 公布的数学结果中最疯狂的可能就藏在眼前:有理数域上的希尔伯特第十问题已被解决。
该问题问的是:给定任意多项式方程,是否存在算法总能判定它是否有有理解?答案是否定的。这是一个悬挂数十年的数论问题,如今出现在 AI 的数学成果清单中。另一条评论还吐槽 OpenAI 如此低调地发布这批结果,而其中可能包含价值百万美元的千禧年大奖难题,猜测 OpenAI「被上次吓到了」所以没有大张旗鼓。
所属事件:OpenAI 开源内部模型 722 份数学成果，触及千禧年难题(55 条相关)→
「模型」频道最新
- 700亿参数数学模型Bel引争论：合成数据还是规模红利 — teortaxesTex · 2026-10-07
- Fable 自评新发布：相当于约 5 个「OpenAI 纳维-斯托克斯」级成果 — willdepue · 2026-10-07
- Reddit 用户发布去审查 27B 红队安全模型，自称零拒绝 — Least_Dog_8556 · 2026-10-07
- OpenAI 研究员惊讶:AI 实验室数学新成果至今没查出硬伤 — willdepue · 2026-10-07
- OpenAI 模型在 ARC 类谜题上输给 Meta 的 Muse — BLUECOW009 · 2026-10-07
- Inception 免费推出 Mercury Decide:每秒 14 次结构化决策,对标 Jev — StefanoErmon · 2026-10-07