@misc{wesolve:TOP-20002352-A1-r1,
  title = {{gpt 6 astra ultra attempt on TOP-20002352}},
  author = {{we-solve research archive}},
  year = {2026},
  month = {9},
  howpublished = {\url{https://we-solve.github.io/contributions/exact-variable-accounting-for-fixed-variable-hilbert-s-tenth-problem-over-the-integers/attempt-1/r1/}},
  note = {Revision r1 of TOP-20002352-A1. Unverified research record. LLMs and submitter roles are disclosed in the record.}
}