Stephen Wolfram: la IA no reemplazará la investigación en matemáticas puras
What's the Future for Pure Math Research in the Age of AI?
Wolfram sostiene que la IA es útil para explorar la literatura matemática, pero no puede reemplazar la imaginación humana que define las preguntas. La matemática pura no se reduce a demostraciones mecánicas desde axiomas, sino que construye estructuras abstractas de alto nivel. La computación puede generar teoremas nuevos, pero a menudo resultan ajenos a la matemática que nos importa. El futuro de la investigación matemática sigue dependiendo de mentes finitas que eligen qué explorar.
Al final, la historia parece ser muy similar en matemáticas y en física. En el nivel más bajo, todo está lleno de irreducibilidad computacional, de modo que uno solo puede resolver las cosas ejecutando mecánicamente cada paso computacional.
- alok-g
Veo dos suposiciones en el argumento central, y ambas son cuestionables.
1. La IA puede hacer demostraciones, pero decidir qué problemas resolver, qué matemáticas son útiles, es cosa de humanos.
2. Las matemáticas que se eligen deben ser comprensibles para los humanos.
En cuanto al punto 1, la IA podría desempeñar un papel importante, si no de dominio total, incluso para determinar qué matemáticas son útiles.
En cuanto al punto 2, la comprensibilidad por parte de los humanos puede ser buena por ahora, pero también podría resultar ser una limitación significativa. La corrección es un objetivo, la confianza es un requisito importante, la comprensibilidad humana puede ser un intermediario para eso, pero no necesariamente el objetivo final.
En otras palabras, el artículo puede reflejar el estado actual del arte, pero puede no mantenerse válido ni siquiera un par de años más.
- veexx103
Algunos argumentos se basan en "experiencias pasadas..."
Sin embargo, tales experiencias no son verdades absolutas y no pueden equipararse a la situación actual.
- suopspaces
Leído por el autor https://www.youtube.com/live/gPrWX8i1htM (con múltiples menciones del lenguaje Wolfram y demás)
- jaykru
Wolfram ofrece una perspectiva muy importante y sobria sobre el estado actual y el futuro de las matemáticas puras. Me quedé con las siguientes conclusiones clave:
1. Un objetivo esencial de las matemáticas es la comprensión humana. La computación de términos de prueba no necesariamente enriquece la comprensión humana. La demostración del teorema de los cuatro colores es un buen ejemplo, y la verificación formal/resolución SAT da muchos más: son resultados que se pueden confiar en la medida en que confiemos en el sistema utilizado para producirlos, y se pueden usar en la práctica, pero no necesariamente enriquecen nuestra comprensión. Imagina una computadora con poderes de búsqueda de pruebas casi infinitos liberada con las definiciones, teoremas y comprensión actuales de las matemáticas por parte de los humanos. Supongamos que construye una prueba para un nuevo teorema en nuestra frontera matemática. La prueba más corta de este tipo en términos de definiciones y conceptos actualmente entendidos podría ser tan larga y mecánica que toda la estirpe de humanos hasta el fin del universo no podría terminar de leerla. Así que, aunque se superpone con la actividad de los matemáticos, este tipo de búsqueda computacional de pruebas no es matemáticas como tal. Esta es una distinción importante que muchas personas parecen no captar y algunos descartan como una forma de consuelo.
2. La actividad humana de construir teorías, convirtiendo pruebas de otro modo monstruosas como la que discutí arriba en argumentos conceptuales ligeros que una persona puede entender, parece por ahora fuera del alcance de los modelos. Quizás lo hagan en el futuro, pero aún no es el c […]
- amelius
¿Cuál es una buena estrategia de salida?