{"event":{"id":"evt-hist-phase32-erdos522-kawada-lean-preprint","dedupe_key":"mathematics_formalization_preprint_submission:2026-10-08:kawada-submits-erd-s-522-random-polynomial-zeros-proof-preprint-with-lean-work","event_type":"mathematics_formalization_preprint_submission","title":"Kawada submits Erdős 522 random-polynomial-zeros proof preprint with Lean work","summary":"Oct 8 authors' arXiv preprint claims to resolve Erdős Problem 522 for random Littlewood polynomial roots and describes Lean formal verification and Google Formal Conjectures acceptance. Claim is not independently re-checked by this worker and subsequent journal publication is unverified.","occurred_at":"2026-10-08T00:00:00.000Z","published_at":"2026-10-08T00:00:00.000Z","observed_at":"2026-10-18T11:05:00.000Z","reconstructed_at":"2026-10-18T11:05:00.000Z","ingest_type":"historical_backfill","locations":null,"status":"verified","confidence":0.88,"metadata":{"evidence_only":1,"global_novelty_not_proven":1,"no_production_writes":1,"original_position_1based":1172,"source_claims_not_independently_replicated":1},"created_at":"2026-10-19T06:01:26.918Z","updated_at":"2026-10-19T06:01:26.918Z"},"artifacts":[{"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","relation":"documented_by"}],"signals":[]}