ANTES DE LA IA
¿Cómo podemos estar seguros? La historia de la demostración matemática
Un dibujo puede resultar convincente. Una demostración matemática va más allá: explica por qué algo debe ser cierto y permite comprobar el razonamiento.
Dibuja un triángulo en la arena. Puede parecer que sus tres ángulos suman 180 grados. Pero ¿cómo puedes estar seguro? Quizá tu dibujo sea un poco impreciso, y otro triángulo puede tener un aspecto muy distinto. Necesitas algo más que un buen ejemplo. Necesitas una razón que funcione para cualquier triángulo sobre una superficie plana.
Esa pregunta sencilla apunta a una gran idea. Las matemáticas no consisten solo en obtener respuestas. También consisten en mostrar, paso a paso, por qué una respuesta es correcta.
El libro que reunió las piezas
Se cree que, hacia el año 300 a. C., un matemático llamado Euclides trabajó en Alejandría, en Egipto. Sabemos poco de su vida. Pero un libro vinculado a su nombre, Elementos, marcó la enseñanza de las matemáticas durante siglos.
Elementos parte de definiciones básicas y reglas iniciales. Después las utiliza para resolver un problema tras otro. Cada resultado nuevo se apoya en los anteriores. No tienes que creer algo simplemente porque lo haya dicho un matemático famoso. Puedes seguir los pasos y juzgar el argumento por ti mismo.
Según la historia de las matemáticas de la Universidad de St Andrews, Euclides probablemente no descubrió la mayoría de las ideas de Elementos. Su gran logro fue reunir el conocimiento existente de forma clara y ordenada. A veces, el progreso consiste en descubrir algo nuevo. Otras veces, en ayudar a comprender lo que ya sabemos.
Una demostración es algo que cualquiera puede comprobar
Un ejemplo puede mostrar que una regla funciona en un caso. Una demostración explica por qué funciona en todos los casos que abarca esa regla. También expone los supuestos iniciales para que otras personas puedan detectar errores o cuestionar el razonamiento.
Los antiguos griegos no fueron los primeros en hacer matemáticas avanzadas. En Egipto, Babilonia y otras culturas ya se habían desarrollado métodos complejos de medición, cálculo y resolución de problemas. Los textos griegos son especialmente conocidos por sus demostraciones geométricas paso a paso, pero eso no significa que las culturas anteriores carecieran de capacidad matemática o de un pensamiento riguroso.
Las reglas iniciales de Euclides tampoco estaban fuera de toda duda. Una de ellas trataba sobre las líneas paralelas. Siglos después, los matemáticos exploraron qué ocurría al modificarla. Encontraron otras geometrías que funcionan con supuestos diferentes. Eso no fue un fracaso del método de Euclides. Mostró por qué importa declarar los supuestos con claridad.
Por qué importa esta forma de pensar
Una persona famosa puede equivocarse. Un orador convincente puede no tener razón. En matemáticas, lo importante es que el razonamiento se sostenga. Una demostración permite comprobar una afirmación, enseñarla y utilizarla para resolver otro problema.
Este enfoque importa mucho más allá de la geometría. Ingenieros, científicos y desarrolladores de software necesitan formas de comprobar si su trabajo tiene sentido. Incluso es posible verificar algunos programas mediante métodos matemáticos. Pero hay un límite: un cálculo correcto no garantiza que una máquina real nunca falle. Las pruebas físicas siguen siendo necesarias.
Una demostración nos dice qué se deduce de un conjunto de supuestos. No nos dice que esos supuestos describan perfectamente el mundo real. Para eso también necesitamos observaciones y experimentos.
¿Qué tiene que ver con la IA?
La IA utiliza matemáticas, pero no siempre funciona como una demostración matemática. Muchos sistemas modernos aprenden patrones a partir de enormes cantidades de datos. Pueden producir respuestas útiles sin mostrar por qué cada respuesta tiene que ser correcta. Esa es una razón para comprobar las afirmaciones importantes generadas por IA en lugar de aceptarlas automáticamente.
Euclides no inventó la IA. La conexión es más sencilla e interesante: ayudó a mostrar el poder de dividir un problema difícil en pasos claros que otras personas puedan comprobar. Esa forma de pensar sigue siendo importante al diseñar algoritmos, escribir software y decidir si confiamos en una máquina.
Y eso lleva a otra pregunta: ¿podría una máquina seguir unas instrucciones por sí sola? Ya en la Antigüedad, los inventores empezaban a explorar esa posibilidad.