Berlekamp’s temperature bound for Domineering

Berlekamp's temperature-2 conjecture

Model / AI: GPT-5.6 Pro

Lech Mazur with GPT-5.6 Pro exhibited a 28-cell Domineering position of temperature 33/16 > 2; the Lean development is only partial and the author states the bundled audits "are not unrelated external replication".

Source review pending. Imported from the original notes; linked claims and artifacts have not been re-audited in this restructuring.

• Context — Berlekamp's temperature-2 conjecture