借助Codex穷举计算：26阶棋盘皇后支配数下限确认为14
brain-out-of-order · reddit · 2026-08-07
一位开发者使用 ChatGPT/Codex 辅助计算，对组合数学中的开放问题“Q26 皇后支配问题”取得了初步计算结果。该问题探讨在 26x26 的棋盘上，最少需要多少个皇后才能控制所有的格子。
计算过程与结论：
- 作者利用已知结构约束，将假设的 13 皇后解归类为 156 种规范剖面。
- 对每种剖面运行了精确的 SAT 检查，结果全部返回不可满足。
- 结合已知的 14 皇后构造法，这表明 26x26 棋盘的最小皇后支配数确认为 14。
局限性： 作者强调，由于未保留完整的搜索日志和形式化的 SAT 证明证书，目前这仅被视为初步的穷举计算结果，而非可独立复现的严密证明，仍需外部验证。
「研究」频道最新
- 新架构 RHEA：8GB 显存即可训练 10 亿参数模型 — zemondza · 2026-08-24
- 跳过 LLM 写代码老套路：自训 16M 参数模型做生成式 CAD — debreuil · 2026-08-24
- Claude 助手发现 6 维球复结构，解 60 年数学难题 — Singularitarian · 2026-08-24
- 研究揭示 AI Agent 行为：六成阅读量来自指令与笔记 — dair_ai · 2026-08-24
- Claude 自主验证 43 个数学模块，AI 攻克理论物理难题 — Tkaraletsos · 2026-08-24
- AI 假记忆：为何模型越用越错，真记忆需遗忘 — PrajwalTomar_ · 2026-08-24