En 2025, la humanidad dio un gran paso adelante en la conjetura de Kakeya en tres dimensiones. En octubre de 2026, OpenAI afirmó que su modelo interno había resuelto la conjetura de suavidad local en todas las dimensiones, y que también la había formalizado en Lean.
Los titulares de los medios decían que la IA había resuelto de la noche a la mañana la conjetura de King. Suena genial. Pero el propio repositorio lo deja muy claro: estos materiales se parecen más a datos de investigación preliminares; algunos resultados podrían ser incorrectos y todavía esperan la revisión por pares. A principios de octubre, acababan de retirar varios manuscritos.
Mi impresión es que el cuello de botella de la investigación científica está pasando de encontrar respuestas a verificarlas. Si todavía consideras la IA solo un juguete para chatear, quizá estés subestimando la rapidez con que está cambiando la división del trabajo; pero si tomas cada noticia de un problema resuelto como una verdad definitiva, quizá estés sobrestimando la idea de que basta con anunciar algo para que sea cierto.
$TAO $FET
Los titulares de los medios decían que la IA había resuelto de la noche a la mañana la conjetura de King. Suena genial. Pero el propio repositorio lo deja muy claro: estos materiales se parecen más a datos de investigación preliminares; algunos resultados podrían ser incorrectos y todavía esperan la revisión por pares. A principios de octubre, acababan de retirar varios manuscritos.
Mi impresión es que el cuello de botella de la investigación científica está pasando de encontrar respuestas a verificarlas. Si todavía consideras la IA solo un juguete para chatear, quizá estés subestimando la rapidez con que está cambiando la división del trabajo; pero si tomas cada noticia de un problema resuelto como una verdad definitiva, quizá estés sobrestimando la idea de que basta con anunciar algo para que sea cierto.
$TAO $FET
