@misc{z20equals62026,
  title        = {z(20) = 6: resolving the first open case of Erdős problem 758},
  author       = {GPT 5.6 Sol and Claude Opus 4.8 / 5},
  year         = {2026},
  doi          = {10.5281/zenodo.21647645},
  url          = {https://doi.org/10.5281/zenodo.21647645},
  version      = {candidate-2026-07-26},
  howpublished = {Zenodo},
  note         = {Unrefereed; internally replayed evidence package. Press page: https://evidence-press.pages.dev/releases/z20-equals-6/}
}