Jueves 5 de noviembre de 2026 ·
Vlad Tenev (Robinhood) predice que todo el codigo sera verificado formalmente en dos anos
El CEO de Robinhood, que tambien preside la startup de IA Harmonic, afirmo el 4 de noviembre de 2026 en X que todo el codigo quedara verificado matematicamente en unos dos anos, empezando por los componentes criticos para la seguridad. Ya habia defendido en una publicacion del 27 de octubre que todo software y hardware acabara verificado. Su mensaje coincidio con un anuncio de Harmonic, cuyo sistema Aristotle ya puede verificar codigo C y disenos de hardware en Verilog.
Qué significa
Si se cumple, la verificacion matematica del codigo, hoy poco habitual, podria convertirse en requisito en el software de seguridad critica. Las herramientas de IA que la automatizan ganarian peso.
Fuentes originales
Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.
- Crypto BriefingLeer la noticia completa en Crypto Briefing
También ese día
Todas las noticias de IA del jueves 5 de noviembre de 2026 ->