doubleAI ha presentado Maxwell, un modelo de inteligencia artificial diseñado para ejecutar y optimizar código en tiempo real, marcando un hito en la categoría de modelos de ejecución de código (CEM). A diferencia de los modelos de IA que generan código, Maxwell opera dentro del programa en ejecución, modificando los algoritmos y las instrucciones binarias para mejorar el rendimiento sin alterar el código fuente original. El sistema utiliza la verificación formal para garantizar que cualquier cambio sea semánticamente equivalente, asegurando la seguridad y la precisión en la ejecución. Maxwell se complementa con agentes de codificación como Claude Code, optimizando el código escrito por humanos o por IA. La empresa destaca la importancia de la verificación formal, citando recientes avances en la demostración de teoremas matemáticos complejos por parte de Anthropic y OpenAI. Maxwell está disponible en acceso anticipado y busca resolver el problema de la superoptimización en entornos de producción donde la latencia y el uso de recursos son críticos, eliminando la intervención humana en el bucle de ejecución.
