OpenAI afirma que uno de sus modelos refutó la Hipótesis del Tiempo Exponencial, una conjetura de complejidad computacional de 1999. La prueba fue formalizada en Lean y publicada junto a un nuevo protocolo de colaboración con comunidades académicas. El mismo lanzamiento incluye una demostración matemática que resuelve la conjetura de Kakeya en todas las dimensiones.
Los motores de ajedrez no comparan el tablero casilla por casilla en cada jugada: usan el hashing de Zobrist, una clave de 64 bits que se actualiza con XOR en tiempo constante. Este artículo explica cómo funciona, cómo implementarlo en Python y por qué sostiene las tablas de transposición de motores como Stockfish.
Un post técnico de ngrok reconstruye desde cero cómo funciona la compresión de datos para llegar a una conclusión poco intuitiva: comprimir y predecir son, en el fondo, el mismo problema matemático. El artículo repasa run-length encoding, codificación de Huffman y codificación aritmética, y traza la línea directa hacia cómo los modelos de lenguaje modernos predicen texto.
Un blog de botánica famoso por su lista de lecturas para autodidactas revive el debate sobre cómo aprender ciencias de la computación sin título universitario. TeachYourselfCS, la guía que organiza libros canónicos como SICP y CLRS, sigue siendo la referencia para miles de programadores autodidactas en 2026.
