@misc{wesolve:ERDOS-317-A4-r1,
  title = {{gpt pro 5.4 attempt on ERDOS-317}},
  author = {{we-solve research archive}},
  year = {2026},
  month = {9},
  howpublished = {\url{https://we-solve.github.io/contributions/erdos-problem-317-f9cbe9d8/attempt-4/r1/}},
  note = {Revision r1 of ERDOS-317-A4. Unverified research record. LLMs and submitter roles are disclosed in the record.}
}