@misc{wesolve:TOP-30006808-A2-r1,
  title = {{OpenAI claim summary for TOP-30006808}},
  author = {{we-solve research archive}},
  year = {2026},
  month = {10},
  howpublished = {\url{https://we-solve.github.io/contributions/exact-satisfiability-threshold-for-random-k-sat-for-small-k-k-3/attempt-2/r1/}},
  note = {Revision r1 of TOP-30006808-A2. Unverified research record. LLMs and submitter roles are disclosed in the record.}
}
