{"event":{"id":"evt-hist-phase32-tomar-matrix-f2-rank23-lean","dedupe_key":"computer_assisted_mathematics_preprint_submission:2026-10-08:tomar-submits-lean-checked-rank-23-proof-for-3-by-3-matrix-multiplication-over-f2","event_type":"computer_assisted_mathematics_preprint_submission","title":"Tomar submits Lean-checked rank-23 proof for 3 by 3 matrix multiplication over F2","summary":"October 8 v1 preprint argues 3 by 3 matrix multiplication rank over F2 is exactly 23 using certificate-generating exact searches and Lean verification. An October 12 v2 exists. Compilation-dependent certificate checks and author claims are distinguished from separate independent proof replication.","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":1195,"source_claims_not_independently_replicated":1},"created_at":"2026-10-19T06:02:48.121Z","updated_at":"2026-10-19T06:02:48.121Z"},"artifacts":[{"id":"art-hist-phase32-tomar-matrix-f2-rank23-lean","dedupe_key":"0c5fad34010f055b547837f37d96bce0f7b3a98b1e4061390a3247ec75f3aea2","canonical_url":"https://arxiv.org/abs/2610.11823","evidence_locator":"","artifact_type":"original_publication","title":"Tomar submits Lean-checked rank-23 proof for 3 by 3 matrix multiplication over F2","summary":"","creator_entities":[],"released_at":"2026-10-08T00:00:00.000Z","content_hash":null,"metadata":[],"created_at":"2026-10-19T06:02:48.121Z","updated_at":"2026-10-19T06:02:48.121Z","relation":"documented_by"}],"signals":[]}