Imagine un mapa del mundo, dividido por las fronteras nacionales. ¿Cuántos colores necesita para llenar cada país, más el mar, sin que se conmovedor los colores idénticos?
La respuesta es cuatro, de hecho, no importa cómo se vea su mapa, cuatro colores siempre serán suficientes. Pero demostrar que esto requería un cisma en matemáticas. El teorema de cuatro colores, como se le conoce, fue el primer resultado principal que se probará utilizando una computadora. La prueba de 1976 redujo el problema a unos pocos miles de arreglos de mapas, cada uno de los cuales fue verificado por el software.
Muchos matemáticos en ese momento estaban en armas. ¿Cómo se podría llamar a algo probado, argumentaron, si el núcleo de la prueba se esconde detrás de una máquina incognoscible? Quizás debido a este retroceso, las pruebas asistidas por computadora han seguido siendo una búsqueda minoritaria.
Pero eso puede estar empezando a cambiar. Como informamos en “La IA podría estar a punto de cambiar completamente la forma en que hacemos matemáticas”la última generación de inteligencia artificial está cambiando este argumento sobre su cabeza. ¿Por qué, pregunte a sus proponentes, deberíamos confiar en las matemáticas de los humanos defectuosos, con sus suposiciones y atajos, cuando podemos cambiar la verificación de una prueba a una máquina?
El argumento que se extiende sobre la IA en matemáticas es un microcosmos de una pregunta más grande que enfrenta la sociedad
Naturalmente, no todos están de acuerdo con esta sugerencia. Y el argumento que se afirma sobre el uso de AI en matemáticas es un microcosmos de una pregunta más grande que enfrenta la sociedad: ¿cuándo es apropiado dejar que una máquina se haga cargo? Las empresas tecnológicas prometen cada vez más que los agentes de IA eliminarán el trabajo pesado asumiendo tareas mundanas desde el procesamiento de facturas hasta las vacaciones de reserva. Sin embargo, cuando intentamos dejarlos correr nuestro día (ver “‘Flashes de brillantez y frustración’: dejé que un agente de IA corriera mi día”), Encontramos que estos agentes aún no están completamente a la altura del trabajo.
Renunciar al control entregando sus tarjetas de crédito o su contraseña a una IA opaca crea la misma sensación de inquietud que con la prueba de cuatro colores. Solo ahora, ya no estamos coloreando en un mapa, sino tratando de encontrar sus bordes mientras investigamos nuevos territorio. ¿La evidencia de que podemos confiar en las máquinas nos esperan en el horizonte, o simplemente una versión digital de “Here Be Dragons”?
Temas: