Terence Tao, en pie de guerra: OpenAI resuelve un problema del Milenio y sacude las matemáticas
"I'm on a war footing": Terry Tao and the crisis in math

El medallista Fields Terence Tao, considerado uno de los mejores matemáticos vivos, apenas hace matemáticas: dedica casi todo su tiempo a responder por su campo. OpenAI anunció que resolvió el problema de Navier-Stokes, uno de los siete problemas del Milenio, y luego publicó más de 350 hallazgos en casi todas las subdisciplinas, desde el álgebra hasta la topología. Tao admite que ya nada lo sorprende y que los académicos jóvenes son los más expuestos.
«Ya no hay reglas. Estoy insensible ante lo que hace un año me habría dejado boquiabierto. En algún momento, quizá me golpee toda una ola de estrés postraumático».
- ralph84
Todos los que construyeron una identidad sobre ser el más inteligente de la sala van a tener que asumir que eso ya no es un diferenciador.
- boerseth
Es un poco gracioso lo rápido que la conversación pasa de "la IA nunca podrá {mi campo}" a "No podemos permitir que la IA arruine {mi campo} con sus habilidades obviamente superiores".
Si OpenAI nunca hubiera hecho un esfuerzo por mejorar en matemáticas, quizás todavía tendríamos un grupo considerable de personas atascadas en esa primera frase. Lo digo porque todavía escucho en las discusiones la réplica ingenua "Pero todavía necesitaremos a _alguien_ que {sube-un-escalón-en-la-jerarquía}". Aunque ahora uno tiene que preguntarse cuánto puede durar ese sentimiento.
La buena noticia para quienes hacen matemáticas abstractas podría ser que, ahora que han demostrado que la IA puede hacer el trabajo en principio, probablemente no les quede mucho para seguir adelante. Los matemáticos deberían saber mejor que nadie la falta de un motivo de lucro directo en el trabajo que hacen.
- throwyawayyyy
¿Ha compartido OpenAI algún _problema_ nuevo e interesante? Es decir, ¿hacen más que extraer matemáticas como una mina a cielo abierto, como se dice en el artículo, sino que dicen: "Aquí hay una pregunta que no puedo responder, es interesante por esto y aquello, creo que es cierta por esto y aquello, pero está más allá de mí, encárguense"? ¿Ha pasado eso ya?
- dannykwells
No deberíamos sentir pena por los matemáticos puros.
Han puesto barreras durante literalmente cientos de años. Deciden los problemas, deciden quién es lo suficientemente bueno para tener una oportunidad de resolverlos, deciden qué significa que estén resueltos.
Todo sin haber contribuido de manera significativa al progreso humano —más allá de enseñar cálculo y álgebra lineal a futuros científicos del machine learning— durante más de 40 años.
Todos los demás trabajos en el mundo desarrollado han sido disruptados por la tecnología en los últimos 100 años. Para muchos de ellos, varias veces. Ahora es el turno de las matemáticas puras, y actúan como siempre lo hacen: elitistas, con derecho, merecedores de consideración especial.
No lo son.
- bananaflag
Me parece raro culpar a OpenAI por usar matemáticas como benchmark. Si no lo hubieran hecho, entonces en tres meses, digamos, después de lanzar Bel, alguien más habría usado las matemáticas como benchmark para ello (como ya hacen los matemáticos desde Fable 5 y 5.6 Sol). El resultado habría sido el mismo (cientos de problemas abiertos resueltos rápidamente).
- 0x20cowboy
¡"Nos quitaron el trabajo!"!
Es gracioso cuando le pasa a otro, ¿eh?
Aprende un nuevo oficio, Terry.
(Es broma si no era obvio)
- drivebyhooting
Un aspecto que actualmente me frustra es que incluso pagando los planes más altos y gastando múltiples cuotas en todos los modelos insignia, todavía no he podido reproducir ninguna de las hazañas increíbles que Anthropic y OpenAI alardean.
Sospecho que su harness interno, modelos y presupuesto de pensamiento superan con creces cualquier cosa a la que nosotros, los plebeyos, tengamos acceso (sin mencionar el cómputo).
Así que decir que logran todos estos resultados de titular con 3 horas de GPT Pro es deshonesto. Si fuera así, cientos de estudiantes de doctorado en matemáticas ya lo habrían reconocido.
Estoy llegando a la conclusión de que mi suscripción mensual solo ayuda a subsidiar su verdadera AGI interna, y mis interacciones son una pequeña cantidad de retroalimentación humana y creatividad que pueden explotar si así lo eligen.
- bagacrap