El artículo Applied mathematics has met the machine before sostiene que la IA no afecta por igual a las matemáticas puras y a las aplicadas. Las puras se identifican con grandes conjeturas, sus «faros», y sufren si una máquina las resuelve. Las aplicadas se identifican con un servicio a los problemas de cada época.

Para las aplicadas, la IA no apaga un faro: acerca la orilla. Ya vivieron algo parecido con el ordenador, cuando las calculadoras humanas pasaron a programar y la disciplina subió de ejecutar aritmética a diseñar algoritmos. Ahora la IA acelera el código, facilita cambiar de campo y puede multiplicar los teoremas demostrados.

Dutykh concluye con optimismo, pero pide un terreno común. Las puras marcan el estándar al digerir las pruebas, y las aplicadas aportan décadas de verificación y validación. Juntas deben exigir revisión independiente y publicación en revistas antes de aceptar un resultado como teorema.