¿Alcanzará algún modelo de IA una puntuación en el Arena de Programación antes del 31 de diciembre?