Está claro que a Google le gusta dar golpes sobre la mesa. Hace unos días habíamos hablado de cómo OpenAI había resuelto un problema matemático de Air 2. Pues bien, Google DeepMind ha publicado recientemente un paper donde demuestran que un agente de inteligencia artificial ha resuelto 9 de los 353 problemas abiertos del famoso Air 2, un matemático húngaro, por cierto. Pues nueve han sido resueltos por un sistema que se llama Alpha Proof Nexus Que básicamente lo que utiliza es Gemini 3.1 Pro Y bueno, y una aproximación formal, ¿vale? Para verificar este tipo de demostraciones matemáticas Pues bien, además, Demis Hasabi, el CEO Ha atacado un poquito a OpenAI y ha dicho Mientras OpenAI lo ha resuelto de manera plana Nosotros tenemos demostraciones formales y no de uno sino de nueve problemas.