Los 722 artículos de matemáticas de OpenAI son una llamada de atención, no un triunfo
OpenAI publica 722 artículos de matemáticas escritos por IA en un día es el tipo de titular que hace que la gente aplauda o entre en pánico, y ambos reaccionen.
La publicación de OpenAI de 722 artículos de matemáticas escritos por IA en un día es el tipo de titular que hace que la gente se alegre o entre en pánico, y ambas reacciones no captan el punto.
La parte útil: muchas pruebas se envían con versiones Lean que una computadora puede verificar línea por línea. Eso es real y es un paso hacia las matemáticas que puedes verificar sin un comité.
La parte incómoda: el volumen en sí fue llamado "slopocalipsis" por los matemáticos que objetaron el proceso, no los resultados. Nada de eso resolvió un problema del Premio del Milenio.
La lección para el resto de nosotros: la IA ahora puede producir trabajo de nivel experto más rápido de lo que podemos verificarlo. El cuello de botella nunca fue la generación. Fue una verificación, y todavía lo es.
Celebre la capacidad, pero desarrolle la verificación. Un mundo que no puede verificar lo que genera es un mundo que envía tonterías seguras a escala.