Un equipo de matemáticos ha presentado un nuevo prototipo geométrico, denominado Chair44 (R44), que constituye un mosaico aperiodico en tres dimensiones. Este objeto, descrito como una 'silla' de siete cubos, es una forma racional poliedral que fuerza la no periodicidad por su forma misma, sin admitir ningún tipo de apilamiento periódico o movimiento de tornillo. El estudio, publicado en arXiv bajo la categoría de combinatoria, resuelve una pregunta abierta planteada por Socolar y Taylor, que buscaba un prototipo simplemente conexo que impidiera cualquier apilamiento periódico.
El objeto Chair44 es un poliedro racional con 24 paneles expuestos que presentan pequeñas características de pirámide cuadrada. Los autores demuestran que cualquier apilamiento de copias congruentes de este sólido en el espacio tridimensional es aperiodico y posee un grupo de simetría de orden máximo 24. Además, cada apilamiento es homociral y lleva una jerarquía infinita única de supertiles anidadas. La construcción se basa en una regla de contacto que sobrevive al refinamiento, garantizando que el apilamiento padre cumpla con la regla del tile y ninguna otra.
La validación del resultado combina un argumento geométrico escrito con enumeraciones exhaustivas finitas. El proceso de verificación ha sido riguroso: se ha utilizado Lean 4 para verificar los teoremas lógicos y los lemas geométricos mediante el kernel del compilador, eliminando la dependencia de la intuición humana en la lógica formal. Este enfoque garantiza que la demostración es matemáticamente sólida y verificable por software, marcando un hito en la combinación de geometría, teoría de grupos y verificación formal de teoremas.