El modelo logró en horas formalizar la solución de una conjetura planteada en 2014 mediante un sistema de doble agente que combina razonamiento en lenguaje natural y verificación formal, informó este lunes el diario hongkonés South China Morning Post.

El sistema, descrito en un artículo preliminar publicado recientemente en el repositorio arXiv, abordó un problema de álgebra conmutativa propuesto por el matemático estadounidense Dan Anderson y completó su verificación en unas 80 horas de ejecución.

De acuerdo con los investigadores, el marco integra un agente de razonamiento informal, encargado de explorar estrategias y construir posibles demostraciones, con otro de verificación formal que traduce esas pruebas a un formato matemático riguroso y comprobable por máquina.

El equipo señaló que la única intervención humana consistió en facilitar el acceso a documentos restringidos que el sistema no pudo obtener por sí mismo, sin necesidad de juicio matemático durante el proceso.

Los autores sostienen que este enfoque permite automatizar tareas que hasta ahora requerían colaboración entre especialistas y supervisión constante, aunque el trabajo aún no ha sido sometido a revisión por pares.

El desarrollo se enmarca en el avance de los modelos de lenguaje y los sistemas basados en agentes aplicados a problemas de investigación matemática, un ámbito en el que persisten retos como la fiabilidad de las demostraciones generadas por IA.

Los investigadores indicaron que la combinación de razonamiento en lenguaje natural y verificación formal podría facilitar la resolución de problemas complejos y reforzar la validación de resultados en este campo.

El desarrollo se produce tras la irrupción en los últimos meses de nuevos modelos chinos como DeepSeek y los impulsados por grandes tecnológicas como Alibaba o ByteDance, que han elevado la visibilidad internacional del sector y reavivado la competencia tecnológica con Estados Unidos.

La IA además, en marzo pasado, uno de los ejes de la reunión anual de la Asamblea Nacional Popular, en la que Pekín reafirmó su apuesta por integrar esta tecnología en distintos sectores de la economía y fomentar el empleo vinculado a ella.

En plena Guerra Fría, la carrera espacial entre Estados Unidos y la Unión Soviética se había intensificado. La Unión Soviética había lanzado con éxito el satélite Sputnik en 1957, y tanto soviéticos como estadounidenses luchaban por alcanzar la supremacía en la exploración espacial. El éxito de la misión Vostok 1, en la que participó Gagarin, fue un golpe estratégico en esta contienda.

Un 11 de abril despegaba Apolo 13, una misión espacial llena de problemas

La misión Vostok 1

El lanzamiento de la misión Vostok 1 se realizó desde el cosmódromo de Baikonur, ubicado en lo que hoy es Kazajistán.

Gagarin, a bordo de la nave Vostok, completó una órbita completa alrededor de la Tierra que duró 108 minutos. El vuelo alcanzó una altitud máxima de 327 kilómetros, y la velocidad de la nave fue de aproximadamente 27,400 kilómetros por hora.

Yuri Gagarin: el hombre de hierro

Yuri Alekseyevich Gagarin nació el 9 de marzo de 1934 en Klushino, una pequeña localidad de Rusia. Desde joven, mostró pasión por la aviación, y en 1955 ingresó en la escuela de pilotos de Orenburg.

Su carisma y habilidades excepcionales lo llevaron a ser seleccionado entre más de 200 candidatos para el vuelo inaugural.

Gagarin se convirtió en un héroe nacional en la Unión Soviética y un símbolo de la capacidad humana para conquistar nuevas fronteras. Su famosa frase “¡Poyejali!” (“¡Vamos!”) al despegar, resuena como un símbolo de esperanza y avance.

El éxito de la misión de Gagarin fue un estímulo tanto para el programa espacial soviético como para el de Estados Unidos. Este evento incrementó la inversión en tecnologías espaciales y motivó el establecimiento de metas más ambiciosas, como el aterrizaje del hombre en la Luna por parte de Estados Unidos en 1969.

Emocionantes declaraciones de los astronautas de Artemis II en Houston: qué dijeron

La hazaña inspiró a millones de personas y cambió la percepción de lo que era posible en la era moderna. El Día Internacional de los Vuelos Espaciales Tripulados, celebrado cada 12 de abril, conmemora este logro monumental.

Legado de Gagarin

El nombre de Yuri Gagarin sigue siendo sinónimo de exploración espacial y valentía. Hasta su trágica muerte en un accidente aéreo en 1968, se mantuvo activo en la promoción de la ciencia y la cooperación internacional en la exploración espacial.

Hoy, más de seis décadas después, Yuri Gagarin sigue siendo una fuente de inspiración para nuevas generaciones de científicos, ingenieros y soñadores que trabajan para expandir las fronteras del conocimiento humano.

Astronauta, cosmonauta, taikonauta: qué significan y cuándo se usa cada término

El vuelo de Yuri Gagarin no solo transformó la carrera espacial, sino que consolidó un mensaje de unidad en la búsqueda de lo desconocido. A medida que seguimos explorando el cosmos, recordamos con respeto y admiración el humilde comienzo de este extraordinario viaje en un pequeño módulo espacial llamado Vostok 1.

Reid Wiseman, Victor Glover, Christina Koch y Jeremy Hansen se presentaron en una rueda de prensa para celebrar su vuelta en el Johnson Space Center de la NASA, en Houston, y compartieron sus sensaciones, claramente emocionados y reflejando su buena sintonía.

Qué dijeron los astronautas

“Estamos unidos para siempre. Nadie aquí abajo va a saber nunca lo que los cuatro hemos pasado. Y ha sido la cosa más especial que pasará jamás en mi vida”, dijo Wiseman dirigiéndose a sus compañeros y recordando que, “hace 24 horas, la Tierra era así de grande en la ventana”.

Artemis II: la nueva estrategia para un regreso seguro de los astronautas a la Tierra

“Estar a más de 200.000 millas (321.869 kilómetros) de casa, antes del lanzamiento, se siente como el sueño más grande en la Tierra, y cuando estás ahí fuera solo quieres volver con tu familia y amigos. Es especial ser humano, y es especial estar en el planeta Tierra. Gracias”, expresó.

Glover, por su parte, aseguró que no ha “procesado” los diez días de este viaje espacial histórico que pasó alrededor de la Luna y dio las gracias a Dios, a sus familias y a la agencia espacial, a la que agradeció que mantenga intactas sus “cualidades” pese a su cambio de liderazgo.

“Quiero agradecer a Dios en público, y agradecer de nuevo a Dios, porque más grande que el reto de intentar describir lo que hemos pasado, la gratitud por ver lo que vimos, hacer lo que hicimos, y estar con quien estuve... es demasiado grande para estar simplemente en un cuerpo”, dijo.

Le siguió Koch, que reflexionó sobre lo que es una tripulación: “Un grupo que está metido en esto todo el tiempo, que pase lo que pase, rema al unísono en cada minuto con el mismo propósito, que está dispuesto a sacrificarse en silencio unos por otros, que ofrece gracia y también pide rendición de cuentas”.

La astronauta protagonizó uno de los momentos más emotivos al quedarse sin palabras durante después de recordar que lo que más le “impactó” no fue ver la “diminuta Tierra”, “sino toda la negrura que la rodeaba”.

“La Tierra era simplemente este bote salvavidas colgando, imperturbable, en el universo”, dijo, antes de quedarse con la mirada perdida, y concluyó: “Planeta Tierra, ustedes son una tripulación”.

Video: Astronautas de Artemis II amerizaron tras histórica misión a la Luna

El canadiense Hansen, que tuvo el último turno, apuntó a la “experiencia humana” como parte de la misión, al compromiso de la tripulación por vivir con “alegría” y a su “amor” por “contribuir” al trabajo, y después se reunió cerca a sus compañeros y dio un mensaje final al público.

“Les sugeriría que, cuando miren hacia aquí arriba, no nos vean a nosotros. Nosotros somos un espejo que les refleja a ustedes. Si les gusta lo que ven, entonces miren un poco más adentro. Estos son ustedes”, apostilló.

Antes de cerrarse el evento, Wiseman tomó de nuevo el micrófono y, en un halago al administrador de la NASA, Jared Isaacman, y a “la dirección en que la agencia va ahora mismo”, invitó a la sala repleta de colegas a “estar lista” para seguir construyendo la historia espacial tras Artemis II.

“Ustedes, caramba, van a ir, y nosotros vamos a estar ahí apoyándolos en cada paso del camino, de todas las formas posibles”, manifestó.

La misión, liderada por la NASA, finalizó este viernes con el amerizaje de la cápsula Orión en el océano Pacífico, frente a la costa de California, tras diez días de viaje sin mayores contratiempos.

"Es un orgullo ver que seis colombianos hicieron parte de la misión espacial Artemis II", expresó la vicepresidenta de Colombia, Francia Márquez, en su cuenta de X, donde destacó el liderazgo de tres mujeres dentro del equipo.

Márquez envió un saludo a las ingenieras Diana Trujillo, Liliana Villarreal y Sara Rengifo, así como a Iván Ramírez, Juan Felipe García y Dominic Shettini, a quienes calificó como ejemplo del "tesón de los colombianos" en la exploración aeroespacial.

Por su parte, el Ministerio de Ciencia, Tecnología e Innovación también destacó el papel de Villarreal, ingeniera de Cartagena que lideró el equipo encargado de la recuperación de la cápsula tras su amerizaje, una de las fases más críticas de la misión.

"El momento que podría ser el más desafiante de la misión para nosotros es esperar el amerizaje del vehículo después de entrar en la atmósfera", señaló Villarreal, citada en un comunicado de esa cartera.

La ingeniera explicó además que su equipo fue responsable de diseñar los procedimientos y coordinar las operaciones para garantizar la recuperación segura de la tripulación y la nave tras su regreso desde la órbita lunar.

Asimismo, el Ministerio resaltó la trayectoria de Trujillo, ingeniera de Cali que ha participado en misiones emblemáticas como el rover Perseverance en Marte, desde el Laboratorio de Propulsión a Chorro (JPL, por sus siglas en inglés) de la NASA.

Artemis II despegó el pasado 1 de abril desde Cabo Cañaveral, en Florida, y llevó a una tripulación de cuatro astronautas a orbitar la Luna, marcando un hito en el programa Artemis, con el que Estados Unidos busca establecer una presencia sostenible en el satélite natural y preparar futuras misiones tripuladas a Marte.

Los astronautas Reid Wiseman, Victor Glover y Christina Koch, de la NASA, y Jeremy Hansen, de la Agencia Espacial Canadiense (CSA) también tuvieron la fortuna de ver un eclipse solar total mientras orbitaban el satélite.

Y aunque la misión tuvo momentos delicados, como los dos meses de retraso con respecto a la fecha original de lanzamiento, y los problemas de funcionamiento del inodoro, hizo historia como la primera en viajar a la Luna desde la del Apolo 17 en 1972.

El lanzamiento de Artemis II al espacio tuvo lugar el 1 de abril desde Cabo Cañaveral, en Florida, después de retrasos por problemas técnicos que obligaron a posponer dos meses el despegue.

El cohete elegido para la misión fue el potente Space Launch System (SLS) de la NASA, el más grande y potente que posee la agencia espacial, que despegó con la tripulación a bordo de la cápsula Orión.

La nave Orión, ya desacoplada del cohete, no se dirigió directamente hacia la Luna, sino que pasó 25 horas en la órbita terrestre mientras aguardaba que los expertos de la NASA dieran la luz verde para iniciar su camino al satélite terrestre.

Antes de aprobar la maniobra de inyección translunar que propulsó a los astronautas hacia la Luna, los ingenieros verificaron que los paneles solares de la cápsula, que le proporcionan su energía, se encontrasen desplegados y que el resto de sistemas funcionaran correctamente.

El protagonista inesperado de la misión fue el retrete de la Orión, que comenzó a fallar poco después del lanzamiento, pese a tratarse de una inversión de 23 millones de dólares.

El inodoro tuvo dificultades con el sistema de evacuación de aguas residuales, en particular en la parte relacionada con la orina. Aunque la NASA precisó que esta pieza estaba operativa, los problemas no llegaron a resolverse por completo y los astronautas recurrieron a alternativas similares a pañales para adultos.

La cápsula Orión llegó al área de influencia de la Luna, cuando pasa a estar dominada por su fuerza de la gravedad más que por la de la Tierra, el pasado lunes y comenzó un sobrevuelo de siete horas durante el que los astronautas forografiaron la superficie lunar y describieron a la NASA lo que veían con sus propios ojos.

Uno de los momentos críticos de la misión tuvo lugar cuando la nave perdió durante cuarenta minutos el contacto con el centro de control mientras pasaba por la cara oculta de la Luna, un factor que ya estaba previsto, puesto que el satélite natural impediría el paso de las ondas de radio entre la Tierra y la Orión.

Durante el paso por la cara oculta de la Luna, Artemis II se convirtió en la misión tripulada que más se alejó de nuestro planeta, con una distancia de 406.771 kilómetros de la Tierra.

Horas antes había batido los 400.006 kilómetros del Apolo 13, en 1970, que marcaban el récord anterior.

Ese mismo día, los astronautas observaron un eclipse solar total de 53 minutos de duración, invisible para la Tierra, que aprovecharon para analizar la corona solar, la atmósfera más externa del Sol.

Además, buscaron destellos de impacto (luces producidas por meteoroides que golpean la superficie), polvo elevado sobre el borde de la Luna y objetivos en el espacio profundo, incluidos planetas, cuando el Sol quedó completamente oculto.

El final de la misión llegó a las 20:07 hora del este de EE.UU. (00:07 del sábado GMT), cuando el módulo de tripulación de la Orión amerizó en el océano Pacífico y los cuatro astronautas fueron rescatados por la Marina de Estados Unidos.

El escudo térmico, que tuvo que resistir temperaturas estimadas en hasta unos 2.760 grados centígrados (5.000 Fahrenheit), cumplió su labor durante la reentrada y permitió la vuelta a la Tierra de los astronautas.

Un lanzamiento impecable con destino a Fra Mauro

La efeméride arranca en la rampa 39A del Kennedy Space Center, donde el cohete Saturno V (SA-508) elevó a Apolo 13 hacia una trayectoria translunar.

Era la tercera misión con intención de alunizar —después de Apolo 11 y 12— y buscaba un objetivo científico ambicioso: Fra Mauro, una región clave para leer la historia geológica de grandes impactos lunares.

Qué es el lado oculto de la Luna y por qué es una prioridad científica y estratégica

El despegue fue tan preciso como simbólico: ocurrió a las 13:13 (hora local), una coincidencia que alimentó la leyenda del “13” mucho antes de que la crisis convirtiera a esa cifra en parte del relato popular.

En los primeros minutos, el comportamiento del lanzador fue nominal pese a una vibración conocida como pogo en etapas previas del programa, un riesgo que la NASA había aprendido a contener sin detener el ritmo de vuelo.

El factor humano: un cambio de tripulación a último momento

La tripulación combinaba experiencia y tensión logística. Jim Lovell comandaba la nave; Fred Haise integraba el equipo destinado al módulo lunar. La tercera pieza del triángulo, sin embargo, se reescribió a días del lanzamiento: Jack Swigert reemplazó a Ken Mattingly tras una posible exposición a rubéola. Fue una decisión preventiva que alteró entrenamientos y protocolos, pero que la misión absorbió sin aplazar el calendario.

Apolo 13 volaba con el módulo de mando Odyssey y el módulo lunar Aquarius, nombres que después se volverían inseparables del giro dramático de la misión: el LM, concebido para descender a la superficie, acabaría funcionando como bote salvavidas.

Astronautas de Artemis II comparten hallazgos y emociones del viaje

Curiosidades que anticiparon (sin saberlo) una misión histórica

En 1970, el programa Apolo ya no era novedad: el interés público empezaba a decaer. Apolo 13 debía sostener el relato de la exploración científica, no el de la hazaña. Aun así, su configuración técnica —tan estándar como refinada— terminó mostrando algo más relevante para la audiencia global: cómo responde un sistema complejo cuando falla.

La frase que inmortalizó el vuelo, “Houston, we’ve had a problem” (Houston, tenemos un problema) llegaría después, cuando una explosión en el módulo de servicio obligó a abortar el alunizaje.

Pero el punto de inflexión tuvo raíces en el inicio: el lanzamiento colocó a la tripulación y a la nave en una situación donde cada decisión posterior dependería de energía, consumos y márgenes calculados desde el primer día.

Legado: por qué el lanzamiento de Apolo 13 sigue importando

Apolo 13 no alcanzó la Luna, pero redefinió el estándar de “éxito” en la exploración espacial: traer a la tripulación de vuelta.

El regreso, completado el 17 de abril con amerizaje en el Pacífico, consolidó una idea que hoy atraviesa a la NASA y al sector privado: la seguridad no es un estado, es un proceso.

Artemis II: mirá las impresionantes imágenes que tomaron desde la nave Orión

Cincuenta y tantos años después, el lanzamiento del 11 de abril de 1970 se recuerda no solo por lo que prometía, sino por lo que reveló: que la exploración —desde Florida hasta el espacio profundo, pasando por Houston— también se mide por la capacidad de resistir lo inesperado y aprender de ello.