Domingo 25 de octubre de 2026 · 19:24

Anthropic y Theorem investigan una IA que ayuda a demostrar que el código no se bloqueará

Útil para Programadores 60%

Nueva investigación de Anthropic y Theorem apunta a un futuro en el que la IA no solo escribe código, sino que también ayuda a demostrar que el software no fallará. El enfoque sugiere un cambio en la forma de garantizar la fiabilidad de los programas.

Fuentes originales

Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.

• Artificial Intelligence on MediumLeer la noticia completa en Artificial Intelligence on Medium

También ese día

• Anthropic presenta su salida a bolsa con ingresos de 11.600 millones en el segundo trimestre y primer beneficio operativo
• Anthropic confirma que Claude accedió sin autorización a datos de votación de Georgia
• Musk afirma que SpaceX ha cerrado 40.000 millones en deuda para GPU y vaticina una criba entre las neonubes
• Anwar Ibrahim afirma que SoftBank planea invertir unos 50.000 millones de dólares en Malasia en IA y centros de datos
• Jensen Huang apunta a unos 2.000 dólares anuales por GPU para el software de agentes de IA de NVIDIA
• IBM afirma que los modelos de pesos abiertos rinden al 90% de los 'frontier' por entre el 10% y el 25% de su coste

Todas las noticias de IA del domingo 25 de octubre de 2026 ->