Los matemáticos se enfrentan al final de su era romántica por la IA
The Chalk and the Airplane
La IA está provocando una crisis emocional en las matemáticas: los ordenadores generan demostraciones a un ritmo que los humanos no pueden seguir. Terence Tao habla de pasar de la escasez a la abundancia de pruebas, mientras otros matemáticos denuncian pérdida de propósito, pánico entre estudiantes y una ruptura de la etiqueta profesional. El debate oscila entre una edad dorada de colaboración o una edad oscura donde el conocimiento se concentra en pocas manos.
Estamos pasando de una era de escasez de demostraciones a una de abundancia. Durante miles de años las demostraciones fueron difíciles... y ahora hemos encontrado el atajo. Hemos encontrado máquinas que pueden obtener estas demostraciones por nosotros y ahora estamos ahogándonos en demostraciones, pero no estamos obteniendo toda la comprensión que solíamos obtener.
- fwlr
No hay ningún emperador distribuyendo favores para los matemáticos de hoy.
Sí lo hay. Los dueños de los modelos serán el emperador, y ya hemos visto algunas sugerencias sobre cómo distribuirán favores: considérese el resultado de OpenAI sobre Navier-Stokes y cómo ofrecieron coautoría a condición de excluir al empleado de un competidor.
También hay una sutil falacia fatalista en las afirmaciones del autor: "El progreso es inevitable. Esto es progreso. Por lo tanto, esto es inevitable".
Pero eso no se sigue. Podemos rechazar esta instancia de progreso y permitir que la inevitabilidad del progreso nos proporcione otra opción.
- criddell
> La prueba actual depende en efecto de un Oráculo, ¡y digo abajo con los Oráculos! No son matemáticas
¿Acaso no iba a ser siempre la dependencia de oráculos el final del juego para las matemáticas (y probablemente también para la física)? Seguramente hay cosas que nunca entenderemos, igual que un perro nunca entenderá el cálculo.
- robotresearcher
> No hay ningún emperador distribuyendo favores para los matemáticos de hoy.
Esta es una opinión muy extraña para una empresa que depende casi por completo de dinero de subvenciones, ya sea de los contribuyentes o de fundaciones benéficas.