The 26×26 queen domination number is 14. Now proved in Lean.
The open question was whether 13 queens could dominate a 26×26 chessboard. Official problem/reference page: https://oeis.org/A075458 A working arrangement with 14 queens was already known. The new Lean proof establishes
📄
This source provides headlines only. Use the button below to read the complete article on the original site.
📰 Read the original article on r/OpenAI
Originally published by r/OpenAI. Aggregated on AIWithGhost for educational purposes — full credit and traffic to the original publisher.