{"artifact":{"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"},"sources":[{"id":"src-hist-phase32-tomar-matrix-f2-rank23-lean","dedupe_key":"9114b4f88a914320d0f2fec7ac60117b436478efd72528fd231102297f9cbc6d","name":"","publisher":"arXiv / Tejasvi Singh Tomar","url":"https://arxiv.org/abs/2610.11823","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:02:48.116Z","updated_at":"2026-10-19T06:02:48.116Z"}]}