Las matemáticas que no necesitan matemáticos

Las matemáticas — las que mueven los mercados, entrenan modelos y sostienen la infraestructura de las apps — se están yendo de su casa vieja. Las pruebas formales, la notación pesada, los PhD en torres de marfil: eso sigue ahí, pero la matemática que realmente hace las cosas se está metiendo en las manos de los ingenieros. No hace falta entender la prueba para usar el resultado. El resultado es lo que se entrega.

Esta es la diferencia entre las matemáticas como disciplina y las matemáticas como sustrato. La primera exige expertos; la segunda solo necesita una buena API. La vieja guardia — revistas, departamentos, tenure — va a quejarse. La nueva capa debajo de ellas ya está haciendo el trabajo. Y lo está haciendo para todos, no solo para los que pasaron años aprendiendo el idioma.

Por qué nos importa: las matemáticas que sostienen nuestro mundo se están volviendo libres de usar, y la gente que realmente construye cosas con ellas no tiene un PhD — solo necesita las herramientas para trabajar.