Cruce de cables 46 (19 de julio de 2025)Cuando las matemáticas necesitan ordenadores [~18:00] – Antiguamente no nos dejaban usar calculadoras en la asignatura de Matemáticas (¡gracias, profesor Castaño!) pero eso cambió al poco tiempo, empezando por su uso en Física y hoy en día en todas partes. El hecho cierto es que los ordenadores ayudan a demostrar teoremas complejos verificando millones de casos, descubriendo patrones y validando pruebas formales. Sin ellos, completar algunas demostraciones sería casi imposible. De todo esto charlamos con David de Cruce de Cables en el último programa que se va a emitir esta temporada.Veamos algunos ejemplos de este uso de la computación en las matemáticas: 1. Verificación de demostraciones larguísimas, como la del Teorema de los cuatro colores. En 1976 se usó un programa para analizar más de 1.900 configuraciones posibles.2. Demostraciones asistidas por software formal, un tipo de software que sirve para escribir demostraciones y verificar su validez sin ambigüedades. Ej: la prueba formal del teorema de Kepler (la densidad máxima de empaquetado de esferas), completada en 2014, que resultó ser 0,7404…3. Descubrimiento de patrones o conjeturas. Aquí tiene un papel importante la OEIS (Enciclopedia On-Line de las Secuencias de Números Enteros) donde escribes una secuencia que conoces o has obtenido con ciertos cálculos y te da un resultado si ha sido archivada anteriormente como resultado de otro proceso conocido.4. Exploración computacional. En problemas donde hay que explorar millones de posibilidades (combinatoria, teoría de grafos…), el ordenador permite «probar todos los casos» mucho más fácilmente. Aquí es mejor la fuerza bruta que la maña. Por ejemplo: la conjetura de Erdős sobre progresiones aritméticas.Relacionado:Cruce de cables: Licencias CC Signals para la inteligencia artificialCruce ce cables: Dragon’s Lair y otros videojuegos en LaserdiscCruce de cables: Los números de teléfonos y calculadoras… al revésCruce de cables: Raindrop como alternativa a PocketCruce de cables: La historia de los telégrafos ópticosCruce de cables: Prohibidas las llamadas comerciales desde móvilesCruce de cables: Educación digital, AKA los nativos digitales no existenCruce de cables: ¿Puede ChatGPT haber superado ya el Test de Turing?Cruce de cables: los planetarios cumplen cien añosCruce de cables: PlanespottingCruce de cables: Computación analógicaCruce de cables: Mis soluciones de baja tecnología favoritasCruce de cables: Los 50 años de MicrosoftCruce de cables: ¿Por qué son tan malas las IAs jugando al ajedrez?Cruce de cables: Los hackers no son piratas informáticosCruce de cables: El seguimiento de famosos a través de GPSCruce de cables: Los astronautas no abandonados en la EEICruce de cables: Aviones de pasajeros supersónicos de ayer y hoyCruce de cables: La primera Ley de inteligencia artificialCruce de cables: ¿Un nuevo invierno de la inteligencia artificial?Cruce de cables: Tecnología y las armas nucleares casi la lían parda.Cruce de cables: Zuckerberg y sus movimientos con los verificadoresCruce de cables: Las chicas del ENIAC y de los ColossusCruce de cables: La reparación de un ordenador a válvulas de los 50Cruce de cables: El legado digitalCruce de cables: Ada Lovelace y Grace Murray H. Hopper, informáticasCruce de cables: La evolución de ChatGPT, la IA generativa más popularCruce de cables: No vemos robots repartidores por las callesCruce de cables: Cómo no quedarse desconectado en una emergenciaMicrosiervos como colaboradores de Cruce de cables de RNE# Enlace Permanente