Grant Sanderson, el creador del canal de YouTube 3Blue1Brown, ha presentado un argumento a favor de que los matemáticos celebren las explicaciones por encima de las pruebas. Su argumento, publicado como una entrada de invitado, se centra en la idea de que resolver problemas y demostrar teoremas siempre han servido como sustituto del verdadero objetivo de las matemáticas: avanzar en la comprensión humana. Pero cuando las máquinas generadoras de pruebas pueden producir resultados sin esa comprensión, el sustituto se desmorona.
Sanderson quiere reemplazar la prueba como la única medida del logro matemático. Propone que las «explicaciones motivadas» — relatos claros e intuitivos de por qué un resultado importa — merezcan el mismo crédito académico que históricamente han recibido las nuevas pruebas de problemas abiertos. También ve este cambio como una forma de ayudar a los foráneos a comprender lo que los matemáticos realmente contribuyen.
«Si los foráneos creen que las máquinas generadoras de pruebas hacen que los matemáticos estén obsoletos, mientras que los expertos ven esto como una concepción errónea de lo que los investigadores aportan, es responsabilidad de esta comunidad proyectar mejor sus verdaderos valores a través del tipo de trabajo que recompensa».
Prueba vs. Motivación
La distinción es clara. En una prueba, las definiciones vienen primero, y cada declaración se deduce estrictamente de lo que precede. En una explicación motivada, las definiciones aparecen a mitad de camino, después de que el problema se ha declarado claramente. Una prueba es binaria: existe o no existe. Una explicación motivada es más complicada: puede comenzar con una idea que no es del todo correcta, una que necesita ser corregida a lo largo del camino.
Sanderson cita un género que él llama «ficción de descubrimiento», un término acuñado por Michael Nielsen. La idea es: empezar con una solución simple pero incorrecta a un problema, observar dónde se desmorona, corregir esa falla, encontrar un nuevo problema y seguir adelante. El alcance de una prueba es limitado: explica por qué un teorema es verdadero. Una explicación motivada plantea preguntas más amplias: ¿por qué este es el teorema correcto para plantear y cómo encaja en el panorama general?
| Artículo | Prueba | Explicación Motivada |
|---|---|---|
| Las definiciones se sitúan al principio | Sí | No |
| Las definiciones se encuentran en el medio. ) | No. ) | Sí. ) |
| Todos los enunciados deben ser correctos. ) | Sí. ) | A veces no. ) |
| Comienza con una idea que no es del todo correcta. ) | No. ) | A menudo. ) |
| El alcance es binario (existe o no). ) | Sí. ) | No. ) |
¿Qué cuenta como explicación motivada?
Sanderson define una explicación motivada por lo que evita. No comienza con una nueva construcción y analiza sus propiedades. En cambio, espera hasta que el problema ha sido establecido antes de introducir nuevos términos. Permite que las ideas sean casi correctas, siempre y cuando sus orígenes sean relacionables. Y se extiende más allá del teorema en sí, preguntando por qué importa en primer lugar.
Él admite que este estándar es más difícil de medir que una prueba. «Nunca habrá Lean para explicaciones motivadas», escribe, queriendo decir que no existe un sistema automatizado que pueda verificarlas de la misma manera que el software de verificación de pruebas maneja la lógica formal. Pero argumenta que la imprecisión es el punto clave. Definir la comprensión humana es intrínsecamente engorroso, y evitar métricas más engorrosas se evade de los aspectos más humanos del campo.
The Princeton Companion
Sanderson señala una de las mejores colecciones de explicaciones motivadas que conoce: la Parte IV del Princeton Companion. Esa sección cubre más de dos docenas de campos activos de investigación, cada uno introducido por un experto con talento para la comunicación clara. Ya sea Andrew Granville sobre la teoría de números analítica o David Ben-Zvi sobre espacios de módulos, estos artículos ofrecen un nivel de intuición y motivación más típico de una conversación individual frente a una pizarra que de artículos formales.
El editor del libro, Timothy Gowers, lo ha comentado en una entrevista en el podcast Numberphile con Brady Haran. Preguntado sobre el impacto de la Medalla Fields en su vida, Gowers señaló que los ganadores a menudo se sienten más libres para perseguir proyectos ligeramente diferentes. Citó al Princeton Companion como un ejemplo de algo que asumió precisamente porque podía permitírselo.
Por qué el cambio importa
La propia carrera de Sanderson muestra la tensión. Dirige un canal enfocado en producir videos sobre matemáticas, un camino no tradicional que enfatiza la explicación y la intuición en lugar de resolver problemas pendientes. Algunos podrían considerar esta propuesta como autointeresada. Pero insiste en que su trabajo existe fuera de la academia, sin ningún interés en lo que la comunidad asigne crédito.
Él también distingue su idea de la popularización. Una explicación motivada, en su opinión, apunta a que cualquiera con profunda experiencia aprecie — no es solo para el público. El objetivo es responder a la pregunta «¿cómo pensarías tú de eso?» en lugar de hacer algo accesible.
Los Límites de la Propuesta
Sanderson reconoce que su propuesta es modesta. No está argumentando una revisión radical del reconocimiento académico. Está pidiendo una definición más clara y un estatus más alto para una clase de trabajo que ya existe en la práctica. Señala la ficción de descubrimiento como un ejemplo del género, y al Princeton Companion como un repositorio de este.
Él también señala que las máquinas generadoras de pruebas no son la única amenaza para el valor percibido del campo. El auge de las herramientas automatizadas significa que los matemáticos necesitan proyectar sus verdaderos valores a través del trabajo que recompensan. Si los que están fuera creen que las máquinas hacen obsoletos a los matemáticos, la comunidad tiene la responsabilidad de corregir esa impresión.
El argumento es persuasivo en sus propios términos. Reestructura un debate familiar — prueba contra intuición — como un problema práctico sobre el reconocimiento. Los matemáticos ya hacen este trabajo; simplemente no lo han celebrado como una contribución distinta. La propuesta de Sanderson es un paso modesto hacia darle su debido reconocimiento.
El texto completo, titulado «If math is more than proof, we need to better celebrate the rest of it,» está disponible en línea.
Consulte el video en el que se basa la historia en terrytao.wordpress.com.
Recibe El Cuaderno.
Las mejores historias del día y cada veredicto nuevo, en español claro, en tu correo a las siete. Un correo al día, nada más.