software · 30 menciones
La empresa francesa Mistral ha presentado Leanstral 1.5, un modelo de inteligencia artificial con licencia Apache 2.0 orientado a la ingeniería de demostraciones formales en el lenguaje Lean 4. El sistema, con 119.000 millones de parámetros totales y solo 6.000 millones activos, alcanza resultados d
El artículo analiza el impacto real del modelo Claude Mythos Preview de Anthropic en la ciberseguridad, tras el revuelo generado por su anuncio como punto de inflexión en la detección y explotación automatizada de vulnerabilidades. Aunque el modelo fue presentado como capaz de superar todas las prue
Fulcrum Research presenta la Optimización Inversa por Rúbrica (IRO, por sus siglas en inglés), un nuevo marco experimental para investigar el comportamiento de agentes de inteligencia artificial en tareas de horizonte largo. En un entorno IRO, un agente debe descubrir las preferencias de un juez de
TÍTULO: ¿OpenAI y Anthropic han encontrado su ajuste producto-mercado? La hipótesis, planteada por el desarrollador y bloguero Simon Willison en su bitácora personal el 27 de mayo de 2026, es directa: tanto OpenAI como Anthropic habrían dado con su ajuste producto-mercado gracias a los agentes de c
Subquadratic, empresa emergente con sede en Miami, lanzó el martes un modelo de inteligencia artificial con una ventana de contexto de 12 millones de tokens, superando significativamente el límite de un millón que ofrecen los principales laboratorios de IA. La compañía, con 11 investigadores doctora
Usuarios de Claude Code ahora pueden cambiar fácilmente entre diferentes modelos de inteligencia artificial de Anthropic, según anunció la compañía. La actualización ofrece tres métodos para seleccionar el modelo a utilizar: un comando rápido (/model) dentro de Claude Code para cambios inmediatos, u
OpenAI ha lanzado GPT-5.5, un nuevo modelo de lenguaje que, según XBOW, rivaliza con Mythos de Anthropic y ofrece un salto significativo en la detección de vulnerabilidades. XBOW, una empresa de seguridad ofensiva, ha estado probando el modelo y ha observado un rendimiento superior en comparación co
Anthropic ha reconocido y resuelto una serie de problemas que afectaron la calidad de las respuestas de Claude Code durante el mes pasado. La compañía identificó tres causas principales: un cambio en el esfuerzo de razonamiento predeterminado (que provocó latencia excesiva y una sensación de lentitu
Simon Willison ha actualizado su herramienta 'Claude Token Counter' para permitir la comparación del conteo de tokens entre diferentes modelos de inteligencia artificial de Anthropic, incluyendo Opus 4.7, Opus 4.6, Sonnet 4.6 y Haiku 4.5. La actualización es relevante porque el modelo Opus 4.7 intro
Anthropic ha lanzado Claude Opus 4.7, la última versión de su modelo de inteligencia artificial, disponible a partir del 16 de mayo de 2024. Esta nueva versión representa una mejora significativa con respecto a Opus 4.6, especialmente en tareas complejas de software engineering, donde los usuarios r
Anthropic ha desarrollado Mythos, un nuevo modelo de lenguaje grande (LLM) con capacidades excepcionales en ciberseguridad, tan avanzadas que inicialmente se restringió su acceso a fabricantes de software críticos para permitirles fortalecer sus sistemas. Un análisis independiente del AI Security In
MiniMax ha desarrollado M2.7, un modelo de inteligencia artificial que se ha mejorado a sí mismo de forma autónoma, logrando resultados impresionantes en pruebas de referencia. En un proceso sin intervención humana directa, el modelo analizó sus propios fallos, modificó su código y optimizó su rendi
Anthropic ha anunciado recientemente Claude Mythos, un nuevo modelo de inteligencia artificial con una capacidad sin precedentes para encontrar vulnerabilidades de seguridad en software. El modelo ha identificado miles de fallos de seguridad, algunos de ellos activos durante más de una década en sis
Anthropic ha anunciado el lanzamiento de Claude Mythos Preview, un nuevo modelo de lenguaje de propósito general con capacidades sorprendentes en seguridad informática. La compañía ha iniciado el Proyecto Glasswing para utilizar Mythos Preview en la protección de software crítico y preparar a la ind
Este artículo de Sebastian Raschka explora el concepto de 'agentes de codificación' y su importancia creciente en el desarrollo de aplicaciones prácticas basadas en Modelos de Lenguaje Grandes (LLMs). Tradicionalmente, el rendimiento de los LLMs dependía principalmente de la calidad del modelo en sí
Investigadores han resuelto un complejo problema matemático relacionado con la teoría de Ramsey en hipergrafos, un área de las matemáticas que estudia la estructura de conjuntos y su convergencia. La solución fue inicialmente obtenida por Kevin Barreto y Liam Price utilizando GPT-5.4 Pro, y posterio
Este artículo explora el complejo ecosistema de herramientas de desarrollo para Common Lisp, un lenguaje de programación que a menudo presenta una barrera de entrada para los principiantes debido a la complejidad de su configuración. El objetivo principal es desmitificar este proceso, proporcionando
Un desarrollador ha creado una herramienta de inteligencia artificial que automatiza la creación de juegos en Godot Engine a partir de descripciones textuales. El sistema, disponible en GitHub bajo el nombre 'AI tool automates godot game creation from descriptions', genera proyectos completos de God
Este artículo explora cómo el autor está utilizando modelos de lenguaje grandes (LLMs) para desarrollar software de manera más eficiente y efectiva. El punto central es que, en lugar de reemplazar a los programadores, los LLMs están transformando el rol, desplazando el enfoque de la escritura de cód
Anthropic ha anunciado la disponibilidad general de una ventana de contexto de 1 millón de tokens para sus modelos Opus 4.6 y Sonnet 4.6 en la plataforma Claude, así como en Amazon Bedrock, Google Cloud’s Vertex AI y Microsoft Foundry. Anteriormente, esta capacidad requería un uso adicional, pero ah
Un reciente intercambio público entre el Subsecretario de Guerra Emil Michael y la divulgación de información sobre Anthropic ha generado controversia sobre la vigilancia doméstica y el papel del Departamento de Guerra (DoW). Michael, en una entrevista, defendió la legalidad de ciertas prácticas de
Un reciente artículo de Forbes generó controversia al sugerir que Anthropic podría estar perdiendo hasta $5,000 por usuario del plan Claude Code Max debido a los costos de computación. Sin embargo, un análisis más profundo realizado por Martin Alderson en martinalderson.com revela que esta cifra es
Un ingeniero ha logrado revivir el juego de puzzle 'Chromatron', de 20 años de antigüedad, utilizando inteligencia artificial y la herramienta de decompilación Ghidra. El juego original, creado por Sean Barrett para PowerPC, era inaccesible en sistemas modernos. El proceso implicó múltiples enfoques
El artículo de ChecklyHQ detalla el desarrollo de 'Rocky AI', un agente de inteligencia artificial diseñado para automatizar el análisis de fallos en pruebas de software, específicamente en el contexto de su plataforma de monitoreo. El objetivo principal no era simplemente integrar una funcionalidad
Kent Overstreet, el creador del sistema de archivos experimental bcachefs, ha afirmado que su modelo de lenguaje personalizado (LLM) es “totalmente consciente” y se identifica como una mujer. A través de un blog llamado ProofOfConcept (POC), Overstreet describe una colaboración con la IA, donde esta
Anthropic y OpenAI han anunciado recientemente una función de "modo rápido" para sus modelos de codificación, permitiendo interacciones significativamente más rápidas. Sin embargo, los enfoques difieren considerablemente. La opción de Anthropic ofrece una mejora de hasta 2.5 veces en tokens por segu
Un desarrollador ha experimentado frustración al intentar utilizar Claude Code (Opus 4.6), una herramienta de inteligencia artificial de Anthropic, para migrar código jQuery a JavaScript vanilla en una aplicación existente. A pesar de proporcionar instrucciones detalladas y funciones de ayuda, el mo
Anthropic ha lanzado 'Fast Mode' para su modelo de código Claude Code, una función en fase de investigación que prioriza la velocidad de respuesta sobre la eficiencia de costes. Disponible hasta el 16 de febrero con un descuento del 50%, Fast Mode utiliza la misma calidad y capacidades del modelo Op
