Fermat Lab

What it will do

Fermat Lab will search for counterexamples to open conjectures in combinatorics. A conjecture can hold in every case anyone has checked and still fail somewhere further out. Finding one such case is enough to settle it.

Every attempt, published

We will publish every attempt, including the failures. A search that finds nothing still tells the next person where not to look.

Back to the classroom

When a result is small enough to check by hand, we will turn it into a problem for our students. They will get to work on questions that came out of real research, at a size they can hold in their heads.

When it starts

Fermat Lab will start once it is funded. Funding would go toward the computing costs of the search. If you’d like to support it, write to us at theprojectfermat@gmail.com.