Noticias Tech
Opus 5 escribió 5.500 líneas de three.js para El Señor de los Anillos
Andrej Karpathy le dio a Opus 5 el primer párrafo de El Señor de los Anillos, un presupuesto de 1 millón de tokens (unos $10) y le pidió un render en three.js. El modelo trabajó cerca de dos horas y escribió 5.500 líneas de código para animar la escena de forma procedural. El resultado, publicado en karpathy.ai/lotr-movie/, expone tanto la capacidad como los límites actuales de la IA generativa.
Noticias Tech
LLMs prueban código en Lean: así se verificó un decodificador zstd
Un ingeniero de Google implementó un descompresor de Zstandard en Lean con pruebas formales generadas por un LLM, motivado por el altísimo costo histórico de verificar software como seL4. El experimento explora si la inteligencia artificial puede volver práctico un enfoque que hasta ahora era territorio de unos pocos equipos con presupuesto casi ilimitado.
