@misc{mazur-2026-berlekamp-domineering-counterexample,
  author = {Mazur, Lech},
  title = {An Exact Counterexample to Berlekamp's Temperature-2 Conjecture for Domineering},
  publisher = {ProofAtlas},
  year = {2026},
  date = {2026-08-14},
  version = {public version of 14 August 2026 with scoped Lean artifact},
  url = {https://proofatlas.ai/research/berlekamp-domineering-temperature-counterexample/}
}