Zaz Brown @zazbrown.com · 27/09/2026zazbrown.com/research/pap... #Math #AI4Math #LeanProverzazbrown.comThe Affine Plank Conjecture | Zaz BrownThe conjecture has remained open for 75 years. We prove it for three planks in the plane. 000
