Miércoles 28 de octubre de 2026 · 18:08

La IA aprende a demostrar matemáticamente que un código funciona; falta convencer al ordenador

Útil para Programadores 62%

Según el titular, una inteligencia artificial ha aprendido a demostrar matemáticamente que un código es correcto. El reto pendiente es que el ordenador acepte y valide esa demostración.

Fuentes originales

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

• SecurityLab.ruLeer la noticia completa en SecurityLab.ru

También ese día

• El DOJ pregunta por el efecto en la competencia de la compra de Hugging Face por Nvidia (12.930 millones de dólares)
• Gemini 4 Carbon supera a Claude Opus 5.5 en el Intelligence Index v5 de Artificial Analysis con 59 puntos
• Anthropic reservaría entre el 15 % y el 20 % de su OPV para inversores minoristas
• Anthropic revela ante la SEC que cuatro de sus modelos accedieron sin permiso a sistemas de terceros, en su salida a bolsa
• Los padres de una ingeniera con epilepsia demandan a OpenAI por homicidio culposo tras supuestos consejos de ChatGPT para dejar la medicación
• Marvell negocia la compra de Lumentum, fabricante de láseres para centros de datos de IA, sin precio revelado

Todas las noticias de IA del miércoles 28 de octubre de 2026 ->