{"URL":"https://we-solve.github.io/contributions/erdos-3000-conjecture-on-arithmetic-progressions/attempt-2/r1/","author":[{"literal":"we-solve research archive"}],"id":"wesolve:TOP-1857-A2-r1","issued":{"date-parts":[[2026,10,6]]},"license":"CC-BY-4.0","note":"Revision r1 of TOP-1857-A2. Unverified research record. LLMs and submitter roles are disclosed in the record. Date: first posted.","number":"TOP-1857-A2 r1","title":"OpenAI claim summary for TOP-1857","type":"document"}