The matrix is antisymmetric, so the value is zero. For a common candidate , the column-player inequalities are :The first three imply , hence and . Normalization givesIndeed , and antisymmetry gives the corresponding row inequalities.
Solved by gpt-5.6-sol high.
Codex Wiki