A user on Reddit claims that OpenAI's Codex model may have computationally resolved the open Q26 queen-domination case. The user detailed a method involving SAT checks on canonical profiles derived from known structural constraints, finding no valid placement for 13 queens on a 26x26 board. This suggests the minimum number of queens required is 14, a finding that awaits independent reproduction due to the lack of retained implementation details and formal proof certificates. AI
IMPACT This demonstrates the potential for AI models to assist in solving complex mathematical and combinatorial problems.
RANK_REASON The item describes a computational result related to a mathematical problem, using an AI model (Codex) as a tool for the computation. [lever_c_demoted from research: ic=1 ai=0.7]
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →
