La IA se convertirá en el 'copiloto' de los matemáticos
Cambios en las matemáticas
- Las matemáticas han sido tradicionalmente una disciplina solitaria.
- En años recientes, gran parte de las matemáticas se ha descompuesto rigurosamente en componentes individuales que pueden verificarse por computadora.
- Terence Tao, de UCLA, cree que estos métodos abren nuevas posibilidades de colaboración en las matemáticas.
La llegada de los verificadores automáticos de pruebas
- Los verificadores automáticos de pruebas permiten que los matemáticos colaboren con cientos de personas.
- Por ejemplo, Tao demostró la conjetura Polynomial Freiman-Ruzsa (PFR) colaborando con más de 20 personas.
- El trabajo avanza de forma que cada persona aporta la prueba de pequeños pasos, mientras se gestiona la dirección general del conjunto.
La formalización de las matemáticas
- No todos tienen que ser programadores; los roles pueden dividirse entre quienes se enfocan en la dirección matemática y quienes crean pruebas formales.
- El desarrollo de bibliotecas matemáticas estándar ha vuelto práctica a la matemática formal.
- Un proyecto llamado Lean cuenta con una vasta biblioteca que incluye teoremas matemáticos básicos.
La IA y el futuro de las matemáticas
- Existe la posibilidad de que la IA cumpla un papel de apoyo para los matemáticos.
- La IA puede ayudar en tareas como formalizar pruebas y redactar artículos para su envío.
- Puede haber colaboración en la que los humanos aporten las ideas y la IA se encargue de formalizarlas.
Una nueva manera de hacer matemáticas
- Existe la posibilidad de que surja una nueva forma de hacer matemáticas en colaboración con la IA.
- Los matemáticos podrían dividir roles como si fueran project managers, mientras la IA ayuda con las pruebas.
- También se podrían formalizar libros de texto de matemáticas para crear herramientas de aprendizaje más interactivas.
Los límites y el potencial de la IA
- La IA puede ayudar a resolver grandes problemas de las matemáticas, pero la intuición y la comprensión humanas siguen siendo importantes.
- Podría ser necesario un nuevo tipo de matemático capaz de analizar y comprender las pruebas que proporcione la IA.
- La IA puede explorar nuevas áreas de las matemáticas y ayudar en partes que resultan difíciles de entender para los humanos.
La opinión de GN⁺
- El papel de la IA: La IA puede desempeñar un papel importante como herramienta para ayudar a los matemáticos a resolver problemas más grandes.
- La importancia de la colaboración: La colaboración entre IA y humanos puede abrir nuevas posibilidades para las matemáticas.
- La necesidad de la formalización: La formalización de las matemáticas puede hacer explícito más conocimiento y fomentar la colaboración.
- Los matemáticos del futuro: Puede ser necesario un nuevo tipo de matemático que colabore con la IA para analizar y comprender pruebas.
- El avance tecnológico: La combinación de IA y matemáticas puede abrir aún más posibilidades conforme avance la tecnología.
1 comentarios
Opinión de Hacker News
Texto de Edsger Dijkstra: menciona un texto de 1975 que satiriza la forma de producir software, cuyo contenido principal es una crítica a la propiedad intelectual.
Capacidades de los LLM: por ahora cumplen un papel de asistentes, pero en el futuro podrían ofrecer un nivel más alto de comprensión. Por ejemplo, podrían captar aspectos que los humanos pasan por alto, como entender la relación entre una bomba nuclear y un montón de compost.
Resumen de la entrevista:
Demostraciones verificadas por computadora: la IA podría ser útil para verificar demostraciones, como un motor de ajedrez. Aunque es difícil manejar muchos teoremas y lemas auxiliares, la IA podría mejorar esto.
Historia del software y matemáticas: compara proyectos de software del pasado con la ingeniería de software modular actual, y plantea que las matemáticas podrían seguir un camino similar.
Charla de Terence Tao: recomienda una charla que explica con más detalle cómo usar Lean en la investigación matemática.
Demostraciones matemáticas con GPT-4: presenta un caso en el que GPT-4 logró demostrar un nuevo lema auxiliar. Esto podría ser útil para la investigación matemática.
Matemáticos al inicio de su carrera y Lean: opina que para quienes están al inicio de su carrera matemática puede ser mejor confiar en su intuición y escribir papers.
Aprender de los fracasos: opina que aprender de los fracasos de otras personas es muy productivo.