Prueba de OpenAI sobre Yang-Mills, fin del telescopio Swift y fuga en la ISS

Tres noticias marcaron la semana científica: una prueba generada por IA en física teórica, el final de un observatorio de la NASA y una avería definitiva en la Estación Espacial Internacional.

La prueba de OpenAI espera verificación

Los cinco físicos encargados de examinar la prueba de 1.147 páginas elaborada por un modelo de OpenAI se niegan a publicarla antes de confirmar que es correcta. Varios matemáticos pedían una difusión más rápida, pero los revisores destacan la enorme complejidad del documento.

Primero comprobarán su formalización en Lean, un software de verificación de demostraciones, y después presentarán su análisis a la comunidad científica. Aunque se valide, la demostración solo cubriría la existencia de la teoría de Yang-Mills. No resolvería el problema de la brecha de masa, necesario para el premio del milenio.

El telescopio Swift se apaga

La NASA ha anunciado el fin de las operaciones científicas de Swift tras 20 años de misión y prepara su desorbitación. El intento privado de rescate liderado por Katalyst fracasó: el remolcador Link no logró alcanzar el observatorio.

Ningún telescopio operativo puede retomar ahora la caza de estallidos de rayos gamma de Swift. La misión SVOM ofrece solo una alternativa parcial.

Esclusa de la ISS clausurada

En la ISS, la esclusa trasera del módulo Zvezda ha sido condenada de forma definitiva. Unas microfisuras provocan fugas de aire imposibles de sellar.

Las naves de carga Progress deberán descargarse en otro puerto antes de trasladarse a Zvezda para elevar la órbita de la estación. El fallo evidencia el envejecimiento de la ISS, ya que Zvezda funciona desde 2000.