Nueva cota inferior para el empaquetamiento de 17 cuadrados: 4.5058

Another better lower bound for n=17 square packing

Gustavo Massaccesi mejora la cota inferior conocida para s(17), el lado del cuadrado más pequeño que puede contener 17 cuadrados unitarios. Partiendo del reciente resultado de Sam Burns (4.4811), que utilizó ChatGPT para generar pesos, Massaccesi emplea programación lineal para optimizar la distribución de puntos y pesos, logrando una nueva cota de 4.5058. El artículo explica el método, compara las construcciones y ofrece el código para verificar el resultado. La cota superior sigue siendo 4.6756, por lo que el problema sigue abierto.