Un laboratorio de investigación en desarrollo, fundado por Shayaan Siddique e Ibrahim Mian, se especializa en la verificación formal de matemáticas y la resolución de problemas científicos abiertos mediante inteligencia artificial. A diferencia de las herramientas actuales que pueden generar pruebas
Tres matemáticos han completado la demostración de la conjetura del sándwich de grafos, un problema abierto desde 2004 que permitía aproximar grafos regulares complejos mediante grafos binomiales más simples. Este avance, publicado en 2025, resuelve una hipótesis formulada por Pu Gao en la Universid
Manifestantes contra la inteligencia artificial realizaron una marcha por las calles de Montreal el miércoles 16 de septiembre de 2026, durante un evento de la industria tecnológica. Los participantes, que argumentan que la IA representa una amenaza existencial, cruzaron la Avenida René-Lévesque y s
C++26 corrige una ambigüedad en el estándar que clasificaba como comportamiento indefinido (UB) los bucles infinitos triviales, como `while (true);`. Esta modificación, respaldada por la propuesta P2809R3, establece que estos bucles son ahora bien definidos, lo que impide que los compiladores los op
La Corte de Apelaciones de los Estados Unidos para el Segundo Circuito ha determinado que los agentes de la frontera pueden realizar búsquedas en dispositivos electrónicos de los viajeros sin necesidad de sospecha previa. Esta decisión, emitida en el caso *United States v. Alisigwe*, establece que l
Un desarrollador de software ha documentado su proceso para generar una prueba formal en Lean de la conjetura de refinamiento de John Conway, un problema abierto en la teoría de los números surrealistas. El autor, que se describe como un novato en matemáticas, utilizó un modelo de lenguaje de fronte
DaphOS, una empresa de salud tecnológica de Austria, ha ganado el concurso de startups de la conferencia KH-IT-Herbsttagung gracias a su plataforma de inteligencia artificial para la planificación de personal y camas en hospitales. Presentada por Sarah Peuling, la solución integra datos de sistemas
El Gobierno de España y la Junta de Andalucía han confirmado que las obras del nuevo centro de investigación y desarrollo del IMEC en Málaga comenzarán en el primer trimestre de 2027. Este proyecto, que supera los 600 millones de euros, busca posicionar a la ciudad andaluza como un nodo clave en la
La versión 0.29.0 de Warpgate, una herramienta de gestión de sesiones remotas, introduce cambios significativos en la seguridad y la gestión de usuarios. La actualización principal permite configurar políticas de aprobación de sesiones (JIT access), donde los administradores pueden exigir la validac
La administración de Donald Trump ha emitido una orden ejecutiva que prohíbe la contratación de modelos de inteligencia artificial que prioricen la diversidad, la equidad o la inclusión, calificando estas directrices como agendas de ingeniería social. Esta medida, presentada como parte del Plan de A
Jeff Lawson, cofundador de Inertia, presentará su transición desde el software hacia la energía de fusión en TechCrunch Disrupt 2026. Lawson, quien escaló Twilio a una empresa pública con más de 300.000 clientes, liderará la compañía de Inertia, dedicada a llevar la energía de fusión a la red eléctr
Samsung ha confirmado que su aplicación de galería dejará de utilizar Microsoft OneDrive para la sincronización en la nube a partir del 30 de septiembre de 2026. La compañía está preparando este cambio mediante actualizaciones de la app 'Gallery Cloud Sync', que ya están disponibles en el Galaxy Sto
NATS, el principal proveedor de servicios de tráfico aéreo del Reino Unido, ha publicado un informe preliminar sobre el incidente técnico que causó una extensa interrupción de los vuelos el 8 de septiembre de 2026. El fallo, descrito como un defecto de software en una pequeña sección del Sistema Nac
China se ha consolidado como el líder en la adopción masiva de inteligencia artificial por parte de los consumidores, superando a Estados Unidos en penetración de mercado. Según un informe del banco de inversión Morgan Stanley, el 80% de los usuarios chinos utiliza la IA para fines personales al men
El portavoz de Presidencia del BNG, Iago Tabarés, ha calificado de inaceptables las declaraciones del presidente de la Xunta, Alfonso Rueda, que validó las explicaciones del conselleiro de Empleo, José González, respecto a la sanción impuesta a una filial de la bodega de su familia. Tabarés acusa a
Control Resonant, el próximo título de Remedy Entertainment, llegará el 24 de septiembre y presenta un salto generacional significativo respecto a su predecesor. El análisis técnico destaca la actualización del motor gráfico Northlight, diseñado para PS5 y Xbox Series X, lo que permite una geometría
Las empresas estatales chinas FAW y GAC están evaluando una fusión parcial para consolidar su participación en la producción de vehículos de Toyota en el país. Esta operación, impulsada por presiones del gobierno chino, busca evitar la 'neijuan' o involución, un fenómeno donde el aumento de la produ
El estudio creativo Basura y el proyecto musical Big Data han lanzado una campaña satírica llamada 'Adopt a Data Center', que distribuye un peluche antropomórfico diseñado para simular un rack de servidores. La iniciativa, que coincide con el lanzamiento de una nueva canción del grupo, busca generar
Legisladores europeos han solicitado una investigación a Meta tras la suspensión masiva de cuentas que documentaban protestas antirregímenes en Albania, un incidente que observadores califican como un ataque coordinado de brigado. La medida, iniciada a finales de agosto, afecta a más de 100 casos do
Las disputas ideológicas sobre la inteligencia artificial han migrado de los foros técnicos a las elecciones legislativas de Estados Unidos, donde actores clave como Andreessen Horowitz (a16z) y Anthropic están financiando campañas para influir en la regulación. Un supercomité financiado por a16z y
Xataka ha seleccionado cinco productos tecnológicos destacados en Amazon para el 18 de septiembre, aprovechando la proximidad a la Fiesta de Ofertas Prime. La selección incluye un televisor TCL 75RM7L de 75 pulgadas con tecnología RGB-MiniLED, disponible por 1.199 euros, que ofrece una tasa de refre
En 1931, la Unión Soviética completó el Belomorkanal, una vía navegable de 227 kilómetros que conectaba el mar Blanco con el Báltico, en apenas 20 meses. Esta hazaña, impulsada por el primer Plan Quinquenal, buscaba acortar la ruta naval hacia el norte y evitar rodear la península escandinava. Sin e
Typst, un sistema de maquetación de documentos escrito en Rust y de licencia Apache-2.0, ha lanzado su versión 0.15 en junio, marcando un avance significativo en la competencia con LaTeX. La principal novedad es el soporte para fuentes variables, que permiten variar atributos tipográficos como el gr
Un estudio reciente analiza cómo la arquitectura de los arneses de codificación influye en el rendimiento de los agentes de software autónomos. A diferencia de los enfoques previos que tratan estos sistemas como unidades monolíticas, esta investigación descompone el bucle de ejecución en tres compon
FuzzyGraph es una herramienta de visualización que permite observar las 'sombras matemáticas' ocultas en las ecuaciones mediante un modo no binario. A diferencia de los gráficos convencionales, que solo muestran líneas donde la ecuación es exactamente igual y dejan en blanco el resto, FuzzyGraph vis
El actor de Hollywood Michael Sheen confirmó que mantuvo una reunión "constructiva" con el Primer Ministro de Gales, Rhun ap Iorwerth, tras la emisión de su documental sobre el vertido de químicos tóxicos. La cita, que se produjo el jueves, se realizó tras un intento inicial de Sheen de contactar co
El Canal de la Presa de la Tierra, un sistema de riego histórico de la comarca del Órbigo (León) que funcionó desde 1524, permanece completamente seco desde hace más de un año. Esta situación no se debe a sequía, sino a la ejecución de un proyecto de modernización gestionado por SEIASA y ejecutado p
El Partido Popular (PP) ha abandonado su condición de acusación popular en el 'caso Azud', desistiendo de acusar a la familia de Rita Barberá y al exvicealcalde de València, Alfonso Grau, por presunta corrupción. Esta decisión, comunicada por El Español, deja en manos de la Fiscalía la acusación for
El Gobierno de España ha aprobado un nuevo paquete de modificaciones al Reglamento General de Circulación que entrará en vigor el 1 de octubre. Entre las novedades, se introduce una definición legal específica para las calles donde la acera y la calzada están a la misma altura, denominadas 'zonas co
WhatsApp ha comenzado a implementar en su versión beta 2.26.37.6 para Android una nueva sección de personalización que incluye temas de chat y fondos de pantalla organizados por categorías. Esta funcionalidad, disponible a través de Google Play, permite a los usuarios modificar el aspecto visual de