Arabia Saudí promete responder a ataques hutíes que habrían dejado 73 heridos
- Sky informa de ataques hutíes contra objetivos saudíes cerca de la frontera con Yemen y de un balance comunicado de 73 heridos, incluidas mujeres y niños.
- Las autoridades saudíes prometen una respuesta firme a los ataques.
- La cobertura señala que el tráfico marítimo en el Golfo sigue por debajo de la media; no aporta una medición que permita atribuir una nueva caída a estos ataques.
Por qué importaUna represalia saudí ampliaría el riesgo regional y podría aumentar el coste asegurador de la navegación, sin que ello implique un cierre inevitable de Ormuz.
Sky News
Irán planea una zona de exclusión en el Golfo y nuevos mapas de navegación por Ormuz
- Business Today recoge el 8 de septiembre que Irán prepara una nueva zona de exclusión y amenaza a Estados Unidos con una «guerra económica».
- Teherán prevé divulgar mapas de un nuevo corredor marítimo por Ormuz, pero la información no aclara cuándo se publicarán.
- Una pieza del mismo medio del 7 de septiembre sostiene que las perturbaciones no han producido el choque económico global que Irán esperaba: amenaza y capacidad efectiva no son equivalentes.
Por qué importaEl coste dependerá de si el anuncio cambia realmente la navegación y los seguros; no hay base para presentar una zona proyectada como un bloqueo ya aplicado.
Business Today
Nature informa de la formalización con IA del último teorema de Fermat en once días
- La noticia de Nature, fechada el 7 de septiembre, atribuye a un sistema de Anthropic la formalización de una demostración del último teorema de Fermat en once días.
- El extracto describe una prueba de 13 millones de líneas comprobada por ordenador; habla de formalizar una demostración, no de resolver por primera vez el teorema.
Por qué importaAutomatizar la formalización puede reducir el trabajo necesario para verificar pruebas matemáticas, aunque el extracto no permite evaluar la intervención humana ni la reproducibilidad del resultado.
Nature