{"artifact":{"id":"art-hist-phase32-erdos522-kawada-lean-preprint","dedupe_key":"36917816632713efffd1e6085cd2fbb7a4d87009b55e606b426920300fe48622","canonical_url":"https://arxiv.org/abs/2610.11324","evidence_locator":"","artifact_type":"original_publication","title":"Kawada submits Erdős 522 random-polynomial-zeros proof preprint with Lean work","summary":"","creator_entities":[],"released_at":"2026-10-08T00:00:00.000Z","content_hash":null,"metadata":[],"created_at":"2026-10-19T06:01:26.918Z","updated_at":"2026-10-19T06:01:26.918Z"},"sources":[{"id":"src-hist-phase32-erdos522-kawada-lean-preprint","dedupe_key":"667327b138a9164d1116749a346662d60c0d6e3712c906f703253d1bdf6deafc","name":"","publisher":"arXiv / Sebastien Kawada","url":"https://arxiv.org/abs/2610.11324","evidence_locator":"","source_type":"original_author_preprint","primary_or_secondary":"","retrieved_at":"2026-10-18T11:05:00.000Z","published_at":"2026-10-08T00:00:00.000Z","author":null,"metadata":[],"created_at":"2026-10-19T06:01:26.917Z","updated_at":"2026-10-19T06:01:26.917Z"}]}