{"event":{"id":"evt-hist-2026phase28-linear-hadwiger-gpt-astra-preprint","dedupe_key":"mathematical_preprint_submission:2026-10-04:norin-and-steiner-submit-ai-assisted-linear-hadwiger-conjecture-proof-preprint","event_type":"mathematical_preprint_submission","title":"Norin and Steiner submit AI-assisted Linear Hadwiger Conjecture proof preprint","summary":"The October 4, 2026 authors' arXiv preprint claims a proof that K_t-minor-free graphs admit Ct colouring and explicitly credits GPT-6 Astra under the authors' direction. Preprint submission is not independent journal acceptance or demonstration of machine-only mathematical proof.","occurred_at":"2026-10-04T00:00:00.000Z","published_at":"2026-10-04T00:00:00.000Z","observed_at":"2026-10-18T08:30:00.000Z","reconstructed_at":"2026-10-18T08:30:00.000Z","ingest_type":"historical_backfill","locations":null,"status":"verified","confidence":0.88,"metadata":{"evidence_only":1,"global_novelty_unproven":1,"original_index_position":1011,"reported_outcomes_not_independently_proven":1},"created_at":"2026-10-19T05:53:28.125Z","updated_at":"2026-10-19T05:53:28.125Z"},"artifacts":[{"id":"art-hist-2026phase28-linear-hadwiger-gpt-astra-preprint","dedupe_key":"37519cb8172801fd0d1b6bd1ac4abb63b8cf8627749b56641816218ceebfc836","canonical_url":"https://arxiv.org/abs/2610.05291","evidence_locator":"","artifact_type":"source_publication","title":"Norin and Steiner submit AI-assisted Linear Hadwiger Conjecture proof preprint","summary":"","creator_entities":[],"released_at":"2026-10-04T00:00:00.000Z","content_hash":null,"metadata":[],"created_at":"2026-10-19T05:53:28.124Z","updated_at":"2026-10-19T05:53:28.124Z","relation":"documented_by"}],"signals":[]}