La consistencia de la teoría de cuerdas con la que se intentaba explicar la fuerza fuerte, a finales de los 60, requería de 25 dimensiones espaciales en lugar de las 3 usuales, y además sólo contemplaba partículas bosónicas. A principios de los años 70, para corregir la falta de fermiones, apareció la teoría de supercuerdas y se establecía una simetría entre bosones y fermiones llamada supersimetría. Ahora la consistencia de la teoría requería de “sólo” 9 dimensiones espaciales

Hablamos del problema de la conjetura de correlación gaussiana, el mismo que ni siquiera los matemáticos más experimentados del mundo han podido resolver durante décadas. Siendo así, extraña doblemente que un estadístico alemán jubilado haya aparecido de la nada para resolverlo, y además lo hizo mientras estaba limpiándose los dientes, nada de horas de fórmulas en su estudio. Quizá por ello, la comunidad no le dio la más mínima importancia. Los matemáticos pensaron que sería imposible que alguien como él hubiese podido resolver el problema.

Casi sesenta años después, dos matemáticos han resuelto una de las preguntas más profundas a las que se enfrentaba relatividad general. En un artículo publicado en línea el otoño pasado, Mihalis Dafermos y Jonathan Luk han demostrado que la «conjetura de la censura cósmica fuerte», un postulado acerca del extraño comportamiento interno de los agujeros negros, es falsa.

Un artículo publicado este mes ha resuelto una conjetura de hace casi 30 años sobre la estructura de los componentes fundamentales de los circuitos informáticos. Esta conjetura de "sensibilidad" ha dejado perplejos a muchos de los científicos informáticos más prominentes a lo largo de los años, pero la nueva prueba es tan simple que un investigador la resumió en un solo tweet. La sensibilidad La conjetura se refiere a las funciones booleanas, reglas para transformar una cadena de bits de entrada (0s y 1s) en un solo bit de salida.

"¡Un nudo!", dijo Alicia. "Ah, deja que te ayude a deshacerlo". La cita es de Lewis Caroll, pero no proviene exactamente de la obra en la que estamos pensando sino de Un Cuento Enmarañado. En ella, el matemático y escritor ofrecía en forma de relato diez problemas de lógica que retaba a sus lectores a desenredar. No los llamó "cuentos" ni "ejercicios" sino "nudos", como perfecta imagen del reto que estaba planteando: hay que ser metódicos para resolverlos, pero también juguetones e imaginativos como la protagonista de su historia más famosa. M

La conjetura de Goldbach nos dice que todo número par mayor que 2 se puede escribir como suma de dos primos. Por ejemplo, 24 es 11 más 13, o 66 es 23 más 43. Este enunciado todavía no ha sido demostrado, pero sí se ha comprobado computacionalmente hasta 4 por 10 elevado a 18, un número enorme. Entonces claro, nos podríamos decir, venga ya, si se ha comprobado hasta ese número tan grande, tiene que ser cierta 100%, ¿no? Pues bueno, en matemáticas, muchas veces la intuición falla, y este podría ser uno de esos casos.