Canonical event

Tomar submits Lean-checked rank-23 proof for 3 by 3 matrix multiplication over F2

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.