O problema booliano dos trios pitagóricos é um problema relacionado aos trios pitagóricos que foi resolvido usando uma demonstração assistida por computador em maio de 2016.Este problema é da teoria de Ramsey e pergunta se é possível colorir cada um dos inteiros positivos com as cores vermelho ou azul de modo que nenhum trio pitagórico de números inteiros a, b e c, sejam todos da mesma cor. Wikipedia