Background A finite projective plane of order n is a geometric structure with n² + n + 1 points and n² + n + 1 lines, where any two lines intersect in exactly one point and every point lies on n + 1 lines. The existence of finite projective planes is known for all prime power orders, but remains an open question for some other orders. For order 12, the existence remains unresolved. The closest resolved case is order 10, which was proven not to exist through extensive computer calculations in 1989.

Resolution Criteria This market will resolve when a projective plane of order 12 is shown to exist or not to exist. I will extend the close date of this market until this happens. I will rely on my best judgement to resolve this question.

I will not trade on this market.