La IA resuelve problemas matemáticos y los matemáticos viven un duelo
To grieve, or not to grieve?
La IA está resolviendo problemas matemáticos que los humanos no podían, y la comunidad reacciona con negación, ira, negociación y depresión. El autor, entusiasmado con el futuro, analiza estas posturas y se pregunta si la matemática debe justificarse por la comprensión humana, como sostiene Thurston, o si eso es una retirada ante una IA que pronto también explicará.
No puedes engañar a Lean; uno aprende esto muy pronto. Lean no acepta pruebas por autoridad ni por intimidación; no funciona así. Me siento seguro con Lean.
- zaptheimpaler
La mayoría de estas piezas idealistas sobre la IA parecen venir de personas mayores, establecidas o adineradas que no están muy expuestas al mercado laboral. Desde ese punto de vista, la cuestión de la IA y su transformación es casi filosófica, como este artículo.
Sin embargo, si eres parte de la clase trabajadora, es más una cuestión de supervivencia. Es una tecnología muy transformadora, pero llega en un momento en que la balanza está fuertemente inclinada a favor del capital sobre el trabajo, el gobierno es el más corrupto que jamás haya sido y la IA va a hacer que eso sea mucho más extremo. No importa cuán asombrosa sea la tecnología si todos los beneficios van a acumularse en las mismas pocas personas que ya lo tienen todo y destruyen el poder de negociación de todos los demás.
- js8
También soy optimista sobre la IA, aunque me preocupa el aspecto laboral (como izquierdista veo el aspecto de clase de esto, por otro lado, como programador de computadoras, las computadoras también fueron originalmente destinadas a reemplazar el trabajo humano, y todos vemos lo que sucedió).
Mi opinión es que las principales IA actuales hacen múltiples cosas diferentes:
1. Interpretan y producen lenguaje natural
2. Realizan razonamiento lógico formal
3. Realizan razonamiento lógico informal
4. Proporcionan conocimiento enciclopédico
5. Discernir instrucciones/declaraciones vagas y llenar los vacíos más probables (una especie de corrección de errores)
6. Servir como modelo de la mente humana, un proxy para una persona
7. Traducir entre diferentes lenguajes, formales e informales
Todas estas cosas se combinan en estos enormes y difíciles de entender bloques de pesos. Creo que la humanidad estaría mejor si entendiera cada aspecto por separado, pero desenredarlos llevará décadas de investigación filosófica. Así que hay mucho trabajo interesante por delante.
- youoy
En contraste con lo que estas piezas filosóficas tienden a transmitir, la principal crisis en matemáticas es una crisis laboral.
Los matemáticos intercambiaban demostraciones por empleo. Esa era la moneda. Ahora ya no pueden usar esa moneda, así que la pregunta es ¿cómo sabe alguien si debe contratar a una persona desconocida o no?
Filosóficamente, ¿a quién le importa si prefieres más la construcción de teoría o la demostración de teoremas? No necesitas convencer a nadie. La única solución es ser curioso y seguir tus intereses y, naturalmente, la humanidad redefinirá cómo se siente la nueva matemática.
No puedes convencer a nadie de eso, no es algo racional.
- sachaa
Comparto el optimismo aquí. Conectar puntos a través del conocimiento, la experiencia vivida y el propósito sigue siendo, para mí, una búsqueda profundamente humana. Cuanto más descubre la IA, más posibilidades tenemos de conectar esos descubrimientos con preguntas que nos importan.
- dang
Buzzard es un escritor tan bueno. Léelo hasta el final: se vuelve (aún) mejor a medida que avanza.