Por qué las matemáticas rompieron con OpenAI
Why Math Dumped OpenAI
Terence Tao, el matemático vivo más influyente, impulsó durante años el uso de Lean y de los LLM para formalizar demostraciones. Pero la relación se agrió: el autor sostiene que OpenAI convirtió esa sinergia en un vínculo tóxico, con miles de millones destinados a devaluar el trabajo de los expertos mientras el presupuesto de la NSF para investigación matemática se recortaba. La ruptura culminó en cartas firmadas por medallistas Fields y por la Association for Human Mathematics.
La razón por la que la gente llama «Superinteligencia» a ChatGPT pero no considera al demostrador Lean como tal es que Sam Altman es un mentiroso y Leonardo de Moura no.
- liendolucas
Excelente publicación. Hace unos días debo admitir que fracasé miserablemente al intentar transmitir el punto principal de esta publicación (la comprensión) para convencer a la gente de que debería dejar de producir código que no entiende.
Me resultó extremadamente difícil hacerlo, sobre todo si intentas convencer a personas que no tienen absolutamente ningún contacto real con el código fuente. La falsa creencia es que ahora, con la IA, puedes incursionar en cualquier tema sin siquiera saber gatear.
La gente está inmersa en la falsa creencia de que ahora, como puedes producir una app de la noche a la mañana, no necesitas entender absolutamente nada. Y están totalmente de acuerdo con eso. Y para mí ese es el problema clave: estar conforme con cualquier tema sin entenderlo y no darse cuenta del costo que eso tiene.
Ojalá la gente al menos se informara a fondo antes de tomar decisiones dañinas y no se dejara seducir solo por el marketing de aceite de serpiente.
Al final creo que todas las matemáticas producidas por estas empresas serán su ruina, porque esencialmente sacan a la luz el problema fundamental: para avanzar necesitas entender.
- usrnm
"Mi mundo está cambiando y no me gusta"
OpenAI realmente podría manejar toda la situación mejor, y es perfectamente válido señalárselo, pero de eso no trata este artículo, es solo otra diatriba sobre la IA.
- glimshe
No pude pasar de los primeros párrafos porque esto se lee como si lo hubiera escrito un adolescente.
Para reflexionar: si OpenAI no hubiera hecho ese volcado de demostraciones, habría sido cuestión de unos meses hasta que alguien lo hiciera. Quizá un investigador independiente, posiblemente con muchas menos demostraciones, pero aun así habría sacudido al mundo de las matemáticas.
El problema clave es que la tecnología, y no la empresa, dejó sin poder a los matemáticos de una forma que nunca habíamos visto.