Lam's problem

In finite geometry, Lam's problem is the problem of determining if a finite projective plane of order ten exists. The order ten case is the first theoretically uncertain case, as all smaller orders can be resolved by purely theoretical means. Lam's problem is named after Clement W. H. Lam who experimentally determined that projective planes of order ten do not exist via exhaustive computational searches.

Introduction
A finite projective plane of order $$n$$ is a collection of points and lines such that A consequence of this definition is that a projective plane of order $$n$$ will contain $$n^2+n+1$$ points and $$n^2+n+1$$ lines. The incidence relation between points and lines may equivalently be described using an incidence matrix. In this context a projective plane of order $$n$$ is equivalent to a $$(n^2+n+1)\times(n^2+n+1)$$ matrix with $$\{0,1\}$$ entries such that every row and column has $$n+1$$ ones and the inner product between any two rows or columns is exactly $$1$$.
 * any two points define a unique line,
 * any two lines meet at a unique point,
 * there are exactly $$n+1$$ points on every line, and
 * there are exactly $$n+1$$ lines through every point.

Using the incidence matrix representation, Lam's problem is equivalent to determining if there is a way of placing 0s and 1s in a $$111\times111$$ matrix such that there are exactly eleven 1s in each row and column and any pair of rows share a single 1 in the same column.

Clement W. H. Lam considered studying the existence of a projective plane of order ten in his PhD thesis but was dissuaded by his thesis advisor H. J. Ryser who believed the problem was too difficult.

Resolution
Edward Assmus presented a connection between projective planes and coding theory at the conference Combinatorial Aspects of Finite Geometries in 1970. He studied the code generated by the rows of the incidence matrix of a hypothetical projective plane of order ten and derived a number of restrictive properties that such a code must satisfy. In particular, the enumerator polynomial of the code is completely determined by the number of words of weights 12, 15, and 16 in the code.

Over the next two decades a number of computer searches showed that the hypothetical code associated with the projective plane of order ten does not contain words of weights 15, 12, and 16 —which implied that it must contain words of weight 19. Finally, Clement Lam, Larry Thiel and Stanley Swiercz used about three months of time on a Cray-1A supercomputer to show that words of weight 19 are also not present in the code. This resolved Lam's problem in the negative. Their result was independently verified in 2021 by using a SAT solver to generate computer-verifiable certificates for the correctness of the exhaustive searches.