software · 5 menciones
Este artículo detalla un experimento sorprendente sobre la búsqueda de errores en compiladores, utilizando modelos de lenguaje avanzados como ChatGPT y Claude. Justin Lebar, un experto en compiladores con experiencia en Google, Waymo y OpenAI, descubrió que podía encontrar una cantidad significativa
Un estudiante de 23 años, Liam Price, ha resuelto un problema matemático de 60 años de antigüedad que había eludido a expertos durante décadas, utilizando ChatGPT Pro de OpenAI. El problema, relacionado con conjuntos de números primos conocidos como “conjuntos primitivos” y propuesto por el matemáti
OpenAI ha integrado ChatGPT directamente en Microsoft Excel, ampliando significativamente las capacidades de la hoja de cálculo. La nueva funcionalidad, disponible globalmente para usuarios de ChatGPT Business, Enterprise, Edu, Teachers, K-12 y ChatGPT Pro/Plus (fuera de la UE), permite a los usuari
OpenCode AI ha lanzado una versión beta de su agente de codificación de código abierto para escritorios, disponible para macOS, Windows y Linux. La aplicación, ya popular entre más de 5 millones de desarrolladores mensuales, permite a los usuarios escribir código directamente en su terminal, IDE o e
OpenAI ha lanzado GPT-5.3-Codex-Spark, su primer modelo de IA para codificación que opera en hardware de Cerebras, evitando así la dependencia de Nvidia. El nuevo modelo genera código a una velocidad de más de 1.000 tokens por segundo, aproximadamente 15 veces más rápido que su predecesor. Esta velo
