In late 2006, the original problem was solved when independent proofs appeared, showing that an angel can win.
В 2006 исходная задача была решена, когда появились независимые доказательства, показывающие, что ангел может выиграть.