Grant Sanderson, conocido por su canal 3Blue1Brown, propone que la comunidad matemática debe redefinir y valorar las 'explicaciones motivadas' con el mismo peso académico que las pruebas formales. Su argumento central es que la generación de pruebas por inteligencia artificial ha erosionado el valor de la demostración como proxy de la comprensión humana, y que la comunidad debe proyectar sus valores reales a través de la clarificación y la exposición, no solo mediante la resolución de problemas abiertos.
Sanderson define la 'explicación motivada' como un género que sitúa las definiciones en el medio del discurso, permitiendo introducir construcciones nuevas solo si el problema está claramente establecido. A diferencia de la prueba, donde cada afirmación debe ser necesariamente verdadera, la explicación motivada puede comenzar con ideas imperfectas pero comprensibles, similar a la 'ficción de descubrimiento' popularizada por Michael Nielsen. Su objetivo no es popularizar la matemática, sino responder a la pregunta '¿cómo habrías pensado tú de eso?', incluso si requiere expertise profundo.
El autor cita ejemplos como la Parte IV del Princeton Companion to Mathematics, editada por Timothy Gowers, y el ensayo de Bill Thurston 'On Proof and Progress in Mathematics', que argumenta que los matemáticos avanzan la comprensión humana más allá de la mera verdad formal. Aunque reconoce que la validez de estas explicaciones no es binaria como la de una prueba, Sanderson sostiene que es una métrica práctica verificable. Esta propuesta busca corregir la percepción externa de que las máquinas hacen obsoleta a la matemática, destacando que la intuición y la clarificación son contribuciones esenciales y verificables del campo.