借助Codex穷举计算：26阶棋盘皇后支配数下限确认为14
brain-out-of-order · reddit · 2026-08-07
一位开发者使用 ChatGPT/Codex 辅助计算，对组合数学中的开放问题“Q26 皇后支配问题”取得了初步计算结果。该问题探讨在 26x26 的棋盘上，最少需要多少个皇后才能控制所有的格子。
计算过程与结论：
- 作者利用已知结构约束，将假设的 13 皇后解归类为 156 种规范剖面。
- 对每种剖面运行了精确的 SAT 检查，结果全部返回不可满足。
- 结合已知的 14 皇后构造法，这表明 26x26 棋盘的最小皇后支配数确认为 14。
局限性： 作者强调，由于未保留完整的搜索日志和形式化的 SAT 证明证书，目前这仅被视为初步的穷举计算结果，而非可独立复现的严密证明，仍需外部验证。
「研究」频道最新
- 研究发现:想象疼痛无法重现真实疼痛的体位选择性神经模式 — AnnaCiaunica · 2026-10-16
- Simplex Diffusion Models 论文作者周一开讲 — LucaAmb · 2026-10-16
- 开源工具用 pass/fail 自动复算论文指标，7 项指标实测 4 过 1 挂 — jwt0625 · 2026-10-16
- 藤洋之介公开演讲:从 AI 智能体迈向 Agentic Robotics — HirokatuKataoka · 2026-10-16
- 数学只是语言吗：一场关于 LLM 为何擅长数学的争论 — LucaAmb · 2026-10-16
- 阿里开源 OpenGCUA:全栈开放通用电脑操作 Agent,OSWorld-v2 均分提升 19.6 — Tongyi-MAI · 2026-10-16