Archivo de Categoría: Informática

[PS 13 Nov 2017] Norbert Blum ha publicado su propio análisis del error que cometió en la demostración del teorema 6 de su artículo; afirma que trabaja en su solución, pero no parece posible arreglar su demostración. Los interesados en los detalles disfrutarán con Norbert Blum, “The mistake in “A Solution of the P versus NP. Problem”,” 11 Oct […]

Los ordenadores hacen posibles demostraciones matemáticas más largas de lo que un humano puede escribir en muchas vidas. La más larga ocupa 200 terabytes (Tb), unos 200 millones de millones de caracteres; el récord anterior era una prueba de 13 Tb obtenida en 2014. Se ha demostrado que el problema del coloreado de ternas pitagóricas no tiene solución para […]

Puntos y cuadrados es un juego tradicional de origen desconocido. Las reglas del juego son muy sencillas. Se dibuja una retícula cuadrada con un número par de puntos por lado (figura 1), por ejemplo, en forma de malla de 5×5 (figura 2). Cada jugador, de forma alterna, une dos puntos vecinos con un segmento horizontal o vertical (figura 3). […]

Aplastante, 3:0. AlphaGo, la inteligencia artificial de DeepMind (Google), lo ha vuelto a hacer. El chino Ke Jie de 19 años, el número uno mundial, ha perdido las tres partidas (la primera por la mínima posible y las otras dos partidas rindiéndose). El año pasado AlphaGo batió al mejor jugador de los últimos 20 años, el coreano Lee Se-dol, […]

¿Estás en Mallorca el miércoles 19 de abril? No te pierdas a las 19:00 horas mi conferencia “Ex Machina y el futuro de la inteligencia artificial” en el Caixa Forum de Mallorca. Se enmarca en el ciclo Tardes Cinetíficas II: “Superhéroes, clones, androides y otros seres extraordinarios del cine de Ciencia Ficción” (del 19 de abril al 03 de […]

Tim Berners-Lee (MIT) ha ganado el millón de dólares del Premio Turing 2016 que concede la ACM (Association for Computing Machinery). Como ya sabrás, trabajando en el CERN en 1989, implementó el primer servidor web vía HTTP (Hypertext Transfer Protocol), desarrolló en 1990 el lenguaje de hipertextos HTML (Hypertext Markup Language) y el primer navegador (llamado WorldWideWeb, luego renombrado […]

Imagina que gastas millones de dólares en construir un ordenador para resolver un problema concreto. ¿Esperarías que tras diez años de desarrollo fuera más rápido que un ordenador personal para resolver dicho problema? D-Wave QPU, que usa 2000 cubits superconductores, es unas 2600 veces más rápido que el mejor algoritmo clásico (HFS) para resolver el único problema que sabe […]

Los microchips actuales se fabrican a escala nanométrica. La pticografía-tomografía de rayos-X computerizada (PXCT) permite obtener imágenes 3D del interior del circuito integrado. Se publica en Nature el último avances en PXCT de alta resolución, que alcanza una resolución inferior a 14,6 nanómetros para microchips fabricados con tecnología de 22 nanómetros. La técnica PXCT en este contexto tiene como […]

El miércoles 08 de marzo a las 18:30 impartiré en Málaga la conferencia “La inteligencia artificial en el cine” en el marco del III Ciclo La Ciencia Ficción Superada, organizada por la Facultad de Ciencias de la Universidad de Málaga y el Festival de Málaga de Cine Español. La charla será en el Aula M2 de la Facultad de […]

László Babai (Premio Knuth 2015) afirmó en diciembre de 2015 haber demostrado que la complejidad algorítmica del problema del isomorfismo de grafos es cuasipolinómica (LCMF, 11 Dic 2015). El matemático peruano Harald A. Helfgott ha verificado la demostración en detalle y afirma que es correcta. El 14 de enero impartió una charla Bourbaki en el Instituto Henri Poincaré de […]