Problema del triplete booleano

El problema del triplete booleano es una cuestión relacionada con ternas pitagóricas, que se resolvió utilizando una prueba asistida por ordenador en mayo de 2016.

Marijn Heule, Oliver Kullmann y Victor Marek investigaron el problema y demostraron que al menos existe un caso en el que tal coloración es imposible.

Hasta el número 7824 es posible colorear los números de modo que todos los triples pitagóricos sean admisibles, pero la prueba muestra que dicho color no se puede extender para también colorear el número 7825.

, 7824} puede ser separado en dos partes, de forma que ninguna de las dos contenga una terna pitagórica, lo que es imposible para {1, .

Generó una prueba proposicional de 200 terabytes, que se comprimió a 68 gigabytes.

El documento que describe la prueba se publicó en arXiv el 3 de mayo de 2016,[2]​ y fue aceptado para la conferencia SAT 2016, donde ganó el premio al mejor artículo.

[3]​ En la década de 1980, el matemático Ronald Graham había ofrecido un premio de 100 dólares por la resolución del problema, otorgado a Marijn Heule en 2016.