El plazo previsto para la realización del primer vuelo tripulado a la Luna a bordo del cohete portador ruso superpesado (Angará-A5) se extiende en cinco años, posponiéndose de 2030 a 2035. Debido a la compleja situación económica del mundo y en particular, la caída del rublo, el presupuesto del Programa fue recortado hasta los, 1,4 billones de rublos y los plazos se extendieron por 5 años más. Durante un encuentro con la prensa, el presidente de Roscosmos, Ígor Komarov, destacó que Rusia realizará sin falta este proyecto.

La futura nave tripulada rusa de nueva generación, PTK-NP, al fin tiene un nombre propio en vez de un simple acrónimo. Después de llevar a cabo un concurso popular, la nave se llamará Federatsia (Федерация, "Federación" en ruso). El nombre

Norbert Blum publicó recientemente una prueba (arxiv.org/abs/1708.03486) de 38 páginas de que P!=NP. ¿Es ésta correcta?

Se trata de una pregunta todavía sin respuesta desde 1971, y que aún no ha sido resuelta. Si fuera P≠NP, las cosas seguirían más o menos igual, pero si fuera P=NP, entonces muchas cosas cambiarían y no necesariamente para mejor. Habría importantes consecuecias en amplios sentidos, desde avance en ciencias diversas, hasta cambios en paradigmas sociales. Es uno de los llamados siete problemas del milenio por el Clay Mathematics Institute. De estos siete problemas, sólo uno ha sido resuelto: Grigori Perelman resolvió la Conjetura de Poincaré.

El matemático Stephen Artur Cook ha sido galardonado con el premio Fundación BBVA Fronteras del Conocimiento, en la categoría de Tecnologías de la Información y la Comunicación, "por su importante papel a la hora de determinar qué pueden los ordenadores resolver de forma eficiente y qué no", según señala el acta del jurado. El fallo del jurado se hizo público este martes en un acto celebrado en Madrid al que no pudo asistir Artur Cook, que intervino por teléfono y agradeció la concesión del galardón.

“Bakur” es el documental que los responsables del Festival de Cine de Estambul se han visto obligados a retirar de la programación tras recibir una carta del Ministerio de Cultura turco. Nos muestra la vida de los guerrilleros del Partido de los Trabajadores del Kurdistán en campamentos situados dentro de las fronteras turcas.

Juntar caramelos no parece muy divertido. Pero Candy Crush Saga es uno de los juegos para móvil más populares. Como en el caso de Tetris, un juego demasiado simple tiene un éxito arrollador. Quizás la razón es que el algoritmo para su resolución es NP-duro según la teoría de la complejidad computacional.