一位 Reddit 用户声称 OpenAI 的 Codex 模型可能已计算解决了开放的 Q26 皇后支配问题。该用户详细介绍了一种方法，该方法涉及对源自已知结构约束的典型配置进行 SAT 检查，发现在 26x26 的棋盘上放置 13 个皇后没有有效位置。这表明所需的皇后最小数量是 14 个，由于缺乏保留的实现细节和正式证明证书，这一发现尚待独立复现。 AI
影响 这展示了 AI 模型在解决复杂数学和组合问题方面的潜力。
排序理由 该条目描述了与数学问题相关的计算结果，使用 AI 模型 (Codex) 作为计算工具。[lever_c_demoted from research: ic=1 ai=0.7]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
