No envidio a la gente que califica las respuestas de la Primera Demostración. Cuando evaluamos Grok 4, tuve que pedir ayuda con una de sus soluciones USAMO. Un alumno dijo 7/7. Otro dijo 0/7: enfoque brillante, pero que se apoya sigilosamente en la convexidad de este conjunto no convexo. El otro evaluador estuvo de acuerdo y