Arrangements of $8$ lines in the affine plane

The number of ways of arranging $8$ lines in the (affine) plane.

Lower bound: Unknown
Upper bound: $4134940$ (4,134,940)

Verified bounds

Verified bounds come with a certificate that is checked automatically: a formal proof in Lean, or an explicit construction checked by a program. Submit a certificate.

Lower bound: None yet
Upper bound: None yet

Updates from the literature

2001 Upper bound: $4134940$ (4,134,940)
L. Finschi, A Graph Theoretical Approach for Reconstruction and Generation of Oriented Matroids, Dissertation, ETH Zürich, 2001.
[via S. Forcey, Counting plane arrangements via oriented matroids, arXiv:2504.11461, 2025.]