Sé por qué lloran los matemáticos
Los rápidos avances de la IA, capaz de demostrar de forma autónoma conjeturas matemáticas largamente abiertas, están provocando tanto asombro como duelo entre matemáticos y tecnólogos. Muchos temen no solo por las carreras y la financiación, sino también por la pérdida del descubrimiento humano, la comprensión y el “viaje” en campos donde la IA ya puede obtener por pura fuerza bruta resultados fuera del alcance de cualquier individuo. Otros sostienen que se trata de otro cambio tecnológico que abrirá nuevas fronteras, insistiendo en que los verdaderos problemas están en las estructuras económicas, la concentración de poder y en cómo la sociedad decide valorar el esfuerzo humano una vez que las máquinas nos superen en más trabajo intelectual.
Ritmo y naturaleza del progreso reciente de la IA
- Muchos dicen que, intelectualmente, esperaban IA fuerte durante décadas, pero aun así les sorprende lo rápido que llegaron y se aceleraron las capacidades, especialmente en matemáticas.
- Algunos enmarcan esto como una aceleración constante al estilo de la “singularidad”; otros sostienen que los límites físicos y de datos forzarán una meseta y ven las extrapolaciones actuales como especulativas.
El duelo de los matemáticos y las reacciones de otros campos
- Varios comentaristas empatizan con los matemáticos que lamentan la pérdida del descubrimiento, la identidad y el sentido, comparándolo con perder una vocación o a un ser querido.
- Otros son poco comprensivos, argumentando que se les advirtió durante décadas a todos, o señalando que artistas, escritores, empleados administrativos y programadores fueron golpeados antes.
- Algunos ven la angustia de los matemáticos como una muestra de lo estrechamente que la autoestima se ha ligado a la productividad, el prestigio y el estatus.
Qué está haciendo realmente la IA en matemáticas
- Muchos subrayan que los sistemas actuales son “sobrehumanos en la deducción” sobre la literatura conocida, ensamblando técnicas existentes a una escala que ningún humano puede igualar.
- Debate sobre la originalidad: algunos creen que los modelos están confinados a una “cáscara convexa de ideas” procedente de los datos de entrenamiento; otros creen que ya tienen un razonamiento genérico que puede escalar hasta una novedad efectivamente ilimitada.
- Preocupación porque el reciente “vertido” de demostraciones es enorme, caótico, a menudo ilegible, y solo se confía en él por la verificación automática, creando “conocimiento sin comprensión”.
- Temores sobre el impacto profesional: menos becas, menor necesidad de demostración de teoremas por humanos y peor precariedad para los matemáticos sin titularidad.
LLMs, escritura y estilo
- Varios señalan que los modelos de chat tienen un tono distintivo, a menudo corporativo/de relaciones públicas, y tienen problemas con la prosa larga y humana, pese a sobresalir en matemáticas formales.
- Explicaciones propuestas: calidad de los datos de entrenamiento, optimización para seguridad y chat genérico, falta de incentivo económico para un estilo literario de primer nivel.
Empleos, capitalismo y sentido
- Gran ansiedad por pérdidas laborales más amplias: ingenieros de software, redactores técnicos, traductores y otros ya sienten desplazamiento o congelación de contrataciones.
- Algunos culpan a la IA solo marginalmente, citando tipos de interés más altos y la macroeconomía; otros creen que las empresas están retrasando contrataciones en anticipación de una mayor automatización.
- Se menciona la RBU como solución, pero muchos dudan de su viabilidad política; es común el temor a una nueva clase permanente subordinada y a la erosión de la capacidad de negociación humana.
Valor de la comprensión humana y del conocimiento social
- Varios comentarios enfatizan que las matemáticas y la ciencia también tratan de la intuición, la explicación y la comprensión humana compartida, no solo de respuestas correctas.
- Se invocan conceptos como el “registro de compromisos deóntico”: el conocimiento surge de que los humanos asumen y evalúan compromisos a lo largo del tiempo, algo que los modelos actuales no pueden hacer.
- Algunas voces optimistas esperan que los matemáticos pivoteen hacia la interpretación de pruebas alienígenas de IA, la creación de nuevas abstracciones y el trabajo con herramientas en lugar de ser reemplazados.