{"artifact":{"id":"art-hist-phase30-random-3sat-4268-lean-preprint","dedupe_key":"2e4f37a228bb5efbcdcb943f4a3f2c51f6312af84f552541718a00aee06a1fb9","canonical_url":"https://arxiv.org/abs/2610.10599","evidence_locator":"","artifact_type":"original_publication","title":"Vorobyev posts random 3-SAT 4.268 threshold upper-bound preprint","summary":"","creator_entities":[],"released_at":"2026-10-06T00:00:00.000Z","content_hash":null,"metadata":[],"created_at":"2026-10-19T05:58:10.084Z","updated_at":"2026-10-19T05:58:10.084Z"},"sources":[{"id":"src-hist-phase30-random-3sat-4268-lean-preprint","dedupe_key":"46fc936c8b16de62bd795ad8958e87bf323ac8c0ee3c502d58d9ebcdceaafcf1","name":"","publisher":"arXiv / Fedor Vorobyev","url":"https://arxiv.org/abs/2610.10599","evidence_locator":"","source_type":"original_source_publication","primary_or_secondary":"","retrieved_at":"2026-10-18T09:45:00.000Z","published_at":"2026-10-06T00:00:00.000Z","author":null,"metadata":[],"created_at":"2026-10-19T05:58:10.083Z","updated_at":"2026-10-19T05:58:10.083Z"}]}