Si las matemáticas son más que demostraciones, hay que celebrar el resto
If math is more than proof, we need to better celebrate the rest of it
Grant Sanderson (3Blue1Brown) propone en el blog de Terence Tao que las matemáticas no se reduzcan a generar demostraciones. Argumenta que las "explicaciones motivadas" —que muestran cómo se podría haber descubierto una idea— merecen el mismo crédito académico que resolver problemas abiertos. Con la irrupción de la IA, que produce demostraciones sin comprensión, definir y valorar este tipo de trabajo se vuelve urgente para que la sociedad entienda qué aportan realmente los matemáticos.
En una demostración, las definiciones están al principio. En una explicación motivada, las definiciones están en el medio.