Billion @billionarie0202 - Twitter Profile

Ok, esto llamó mi atención, vamos a destilar esta historia (si fuera YouTuber esto diera para video, así se los digo). El escenario que se plantea aquí es este: Uno estas en su casita, tranquilito, escuchando música, y de repente, aparece un superhéroe hacker tan bueno que en una sola visita encuentra TODOS los agujeros de mi puerta, ventanas, caja fuerte y hasta el sótano secreto (donde tengo a mis subs). Ese superhéroe se llama Mythos, un modelo de IA que creó Anthropic. Ejemplos reales: - Por 50 dólares encontró un bug de 27 años en OpenBSD (uno de los sistemas más seguros del mundo). - Por menos de 1.000 dólares armó un hackeo completo que me da control total de FreeBSD desde internet sin que ni te enteres. - Por menos de 2.000 dólares encadenó varios fallos en Linux y me convirtió en administrador del servidor como si nada. O sea… Mythos no solo encuentra bugs. Los encuentra, los explica y te arma el exploit listo para usar mientras yo veo Netflix. @AnthropicAI miró eso y dijo: "Uhh… esto es demasiado peligroso. Si lo soltamos al público, los malos van a romper internet en 5 minutos. Mejor lo guardamos bajo llave." Entonces juntaron a Apple, Google, Microsoft, Amazon, NVIDIA y un montón de empresas más y crearon Project Glasswing: una alianza de 100 millones de dólares para salir corriendo a tapar TODOS esos agujeros antes de que Mythos (o cualquier otra IA) se escape. Hasta ahí, drama total. Parece el argumento de una peli de espionaje (nada tiene que ver mi escritura, lo juro). Pero ahora viene la parte BRILLANTE de Víctor Taelin (el crack que creó Bend, un lenguaje de programación que ya tiene +19k estrellas en GitHub). Víctor dice: "Ok, entiendo el miedo… pero yo estoy construyendo la solución definitiva." Bend2 (que sale el mes que viene) no es un lenguaje normal. Es un lenguaje que viene con un detector de mentiras matemático incorporado. Puedes escribir código y el propio lenguaje te prueba matemáticamente que no tiene bugs. Ni uno. Es como si el código tuviera un certificado de "matemáticamente imposible que falle". Ejemplo fácil: - Código normal (C, Python, Rust, etc.) = una casa de madera llena de termitas. Puede caerse en cualquier momento. - Bend = una casa hecha de diamante con un robot matemático que revisa cada ladrillo y te dice "este ladrillo está perfecto, crack". El problema de Víctor ahora: Bend2 ya tiene 100.000 líneas de código. Y el "detector de mentiras" (el proof checker) es tan importante que si tiene un solo bug… todo el sistema de confianza se derrumba (como pasó antes en Lean, Coq y Agda). Entonces Victor tira la propuesta más épica del año: "Dejen que Mythos audite MI código. Si el superhéroe hacker revisa mi proof checker y le da el visto bueno… Bend se convierte en el lenguaje que resuelve exactamente el problema que ustedes tienen con Mythos." O sea: en vez de poner parches en todas las casas de madera del mundo (Project Glasswing), Víctor propone construir casas de diamante a prueba de balas para el futuro. Es como si le dijeras al tipo que inventó la bomba atómica: "Hey, usa tu bomba para revisar mi escudo anti-bomba. Así ya no necesitamos tenerle miedo a las bombas nunca más." Victor básicamente está diciendo: "El problema no es la IA super-poderosa… el problema es que nuestro software actual es frágil. Déjame usar esa IA para hacer software que ya no sea frágil." ¿Se imaginan un futuro donde los programas matemáticamente no pueden tener bugs? Eso sería el fin de los ransomware, de los hacks de bancos, de los “oopsie” que dejan Facebook caído 6 horas… Víctor está pidiendo entrar a Glasswing con Bend2. Y la verdad… ojalá le digan que sí. Porque este tipo no está pidiendo acceso para hacer maldades. Está pidiendo acceso para arreglar el software del planeta desde la raíz.

9

376

54

169

30K