19 noticias
Un equipo internacional de matemáticos e informáticos ha presentado una nueva demostración por ordenador del teorema de los cuatro colores, uno de los resultados más célebres y polémicos de las matemáticas modernas. El trabajo, liderado por Mikkel Thorup (Universidad de Copenhague) y Carsten Thomass
SubImage, una startup de ciberseguridad respaldada por Y Combinator y compuesta por cuatro personas, busca un ingeniero fundador para incorporarse a su plantilla en San Francisco. La compañía mapea la infraestructura en la nube desde la perspectiva de un atacante para que los equipos de seguridad de
Este extenso artículo de blog recorre la frontera entre los problemas computacionales resolubles y los que, por su complejidad intrínseca, solo admiten soluciones aproximadas. Tras una entrada anterior dedicada al cálculo de gradientes y la convexidad, el autor plantea la pregunta incómoda: ¿qué hac
Una demostración de pruebas de conocimiento cero (ZKP) aplicada a la coloración de grafos explica cómo un demostrador puede convencer a un verificador de que posee una solución válida sin revelar cuál es. El artículo parte del ejemplo canónico del 3-coloreado: dado un grafo compartido, el demostrado
El sistema automatizado de descubrimiento Theo Conjecture, desarrollado por FirstPrinciples y apoyado en un modelo de lenguaje de gran tamaño, ha resuelto la Conjetura 448 del programa Graffiti, un problema abierto de teoría de grafos y teoría de números que Paul Erdős y otros matemáticos plantearon
Un padre aficionado a la programación convierte las tardes de juegos con su hijo de dos años en una exploración algorítmica del sistema de vías de madera Brio. La pregunta que lo mueve es directa: dado un conjunto de piezas, ¿es posible encadenarlas todas formando un circuito cerrado donde cada cone
El libro «Mathematics of Data Science», depositado en arXiv (cs.LG, referencia 2607.11938), repasa los fundamentos matemáticos que sostienen el campo moderno de la ciencia de datos. El texto, organizado en 15 capítulos más una introducción, está pensado como material didáctico de nivel avanzado que
El trabajo presenta un marco formal para el almacenamiento distribuido de información secreta sobre una red, abordando el problema como la optimización de un funcional de robustez en el que compiten dos requisitos: la capacidad de supervivencia frente a procesos de degradación de la red y la resiste
Un texto atribuido a OpenAI asegura demostrar la conjetura del cubrimiento doble por ciclos, planteada por Tutte, Itai y Rodeh, Szekeres y Seymour. La conjetura sostiene que todo grafo no dirigido, finito y sin puentes admite una colección de ciclos en la que cada arista aparece exactamente dos vece
Un equipo de investigadores del MIT y Stony Brook sienta las bases de la 'torsión computacional de globos', un campo que traslada a las matemáticas la práctica artística de retorcer globos. Bajo la mirada de los autores, cada figura obtenida con globos —desde el clásico perro hasta complejas estruct
El algoritmo A* es una técnica de búsqueda en grafos que permite generar rutas óptimas entre un punto de inicio y un punto de meta evitando obstáculos. Aunque suele presentarse sobre mapas de cuadrícula, A* funciona sobre cualquier grafo, lo que abre la puerta a problemas más complejos, como el de e
Un diseñador de juegos自以为 aborda un proyecto sencillo: un crucigrama en el que cada letra servida se coloca por pura deducción, sin necesidad de adivinar. Lo que parecía trivial se topó con un muro: tras meses puliendo un diccionario y reescribiendo el generador, apenas un ciento de tableros resulta
Un ensayo matemático reúne seis rompecabezas clásicos que, pese a su apariencia dispar, comparten una misma idea elegante: añadir un elemento aparentemente superfluo al problema para simplificar su resolución y después descartarlo. El primero es el célebre acertijo de los diecisiete camellos: un mer
Epicure representa un avance significativo en la comprensión de la gastronomía mediante la inteligencia artificial. Su objetivo principal es mapear la 'geometría emergente' de los ingredientes culinarios, traduciendo la experiencia culinaria en un espacio matemático comprensible. Esto es crucial por
Algoritmos de Flujo de Red: Una Visión General. ¿Qué son y por qué son importantes? Los algoritmos de flujo de red son una herramienta matemática poderosa que permite modelar y resolver problemas que involucran el movimiento de algo a través de una red. Originalmente concebidos para optimizar el tra
Este artículo presenta una nueva y poderosa técnica para realizar análisis de Wavelets (transformadas wavelet) no en datos tradicionales como imágenes o señales, sino directamente sobre datos que residen en los nodos de un grafo. Imagina una red social, una malla de sensores, o incluso una represent
## Word Graph: Visualizando las Relaciones Semánticas entre Palabras En el vasto universo del lenguaje, las palabras no existen de forma aislada. Cada término está intrínsecamente conectado a otros, a través de sinónimos, antónimos, relaciones de causa y efecto, y una miríada de otros vínculos semá
Este artículo explora un problema interesante que surge en el diseño de juegos: cómo eliminar elementos de un mapa de forma estratégica para mantenerlo jugable y atractivo. El problema se presenta en el contexto del juego 'Two Spies', donde eliminar ciudades del mapa es un mecanismo clave para evita
Una nueva biblioteca llamada 'Origami' ha sido lanzada con el objetivo de revolucionar el diseño vectorial y la simulación de plegado de papel. La biblioteca, construida sobre un objeto 'graph', permite la creación de patrones de pliegue que imitan las reglas del plegado de papel en el mundo real.