No estoy seguro de qué es una “matemática cinestésica”, pero el aprendizaje automático no está realmente dentro del ámbito de las matemáticas puras. Hay muchos documentos buenos que exploran las propiedades teóricas de los algoritmos utilizando pruebas, y muchas buenas herramientas se han construido a partir de resultados en matemática pura (análisis de datos topológicos, por ejemplo).
Mucha gente en el campo es similar al ejemplo de la física y la ingeniería; usan herramientas derivadas de las matemáticas pero tienen poca información sobre el desarrollo de esas herramientas. Algunos de nosotros desarrollamos herramientas desde cero, escribimos pruebas para explorar esas herramientas o mostramos su potencial en ciertos problemas, y publicamos (principalmente académicos o puestos de I + D en la industria). El aprendizaje automático es una rama de la estadística y, como tal, es más un campo matemático aplicado. Muy útil, pero no va a avanzar, digamos, la teoría de Hodge (¡aunque existen algunas aplicaciones excelentes de la teoría de Hodge a los datos!).