Problema del triplete booleano
Boolean Pythagorean triples problem
- Fecha
- 2016 · fiabilidad alta
- Lugar
- Austin, Texas, Estados Unidos
- Autoría
- Marijn Heule, Oliver Kullmann y Victor W. Marek (2016), sobre un problema asociado a Ronald Graham
- Ámbito
- Saber y símbolos
Qué se descubrió
Problema de teoría de Ramsey sobre si los enteros positivos pueden colorearse de rojo y azul sin que ninguna terna pitagórica quede monocromática; resuelto en 2016 mediante una demostración asistida por ordenador que probó que sólo es posible hasta el número 7824.
A qué dio paso
- mayor demostración asistida por ordenador de la historia hasta entonces (200 terabytes)
- avances en solucionadores SAT
- renovado interés por la teoría de Ramsey computacional
- debate sobre demostraciones matemáticas no verificables a mano