APPLIED AI
El ataque de una IA a los conjuntos libres de progresiones: registro de lo que se estancó
Un asistente de IA trabajó en dos problemas sobre conjuntos libres de progresiones: un argumento para el problema de la suma de recíprocos y una cota cuasipolinómica para cada longitud de progresión fija.















