CyrilDefi

Google acaba de usar agentes de IA para verificar formalmente el protocolo Signal.
No se trata de un informe sobre el diseño.
Se trata del código real que protege los mensajes en Signal y Google Messages.
Los agentes de código AlphaProof de DeepMind, impulsados por Carbon, escribieron más de 6 millones de líneas de Lean.
Ese es el lenguaje que se usa para demostrar matemáticamente que el código es correcto.
La verificación tardó 4 semanas.
DeepMind afirma que históricamente ese tipo de trabajo les llevaba años a equipos de expertos.
Incluso reinsertaron deliberadamente 2 errores antiguos que y

FTX invirtió alrededor de 500 millones de dólares en Anthropic.
En 2024, la masa de la quiebra vendió toda la participación por alrededor de 1340 millones de dólares.
Ahora Anthropic está promocionando una OPV a entre 70 y 78 dólares por acción.
La gente está calculando cuánto valdría hoy aquella inversión, y la diferencia es brutal.
La masa de la quiebra ya la vendió. Esto es una hipótesis, no dinero disponible en la quiebra.
¿La peor inversión mantenida durante el ciclo, o la única decisión responsable?

roba este brief de enjambre de 3 roles.
ya me cansé de usar un único agente enorme para cada tarea.
Google acaba de mostrar el patrón ganador con /swarm en Antigravity:
un modelo potente para la arquitectura y la auditoría.
modelos más rápidos para el trabajo en paralelo.
un verificador cuya única tarea es romper el resultado.
aquí tienes un brief que puedes reutilizar en Antigravity, Claude Code o cualquier entorno que ya uses.
cópialo. No le pongas barreras.
---
estás ejecutando un enjambre de 3 roles. No lo reduzcas a un solo agente.
rol 1: arquitecto
- escribe un plan breve, una lista de a

ÚLTIMA HORA 🚨
La junta directiva de Nvidia estaría preparando la destitución de Jensen Huang, según The Wall Street Journal
podría ocurrir esta misma noche
el hombre que construyó una empresa valorada en 4 billones de dólares
que llevó la misma chaqueta de cuero en cada presentación
que convirtió a Nvidia en la columna vertebral de todo el auge de la IA
podría desaparecer en una semana
$NVDA

Casi 1 de cada 5 trabajadores de EE. UU. dice que la IA le quitó el trabajo...
y luego su jefe llamó y le pidió que volviera.
Aquí está el tuit completo con ese gancho:
casi 1 de cada 5 trabajadores de EE. UU. dice que la IA le quitó el trabajo...
y luego su jefe llamó y le pidió que volviera.
incluso ya tiene nombre: «rebote de la IA»
entre los jóvenes de 18 a 24 años, la cifra es del 24%.
Commonwealth Bank of Australia reemplazó a más de 40 empleados de soporte por un bot de voz con IA.
el bot no pudo seguir el ritmo, aumentaron las llamadas y el banco volvió a contratar a los humanos.
algun

el CEO de Anthropic cree que la IA podría vencer al cáncer, al alzhéimer, las enfermedades cardíacas y las enfermedades mentales en 10 años
10 años
eso es antes de que la mayoría de las hipotecas se terminen de pagar
de verdad espero que tenga razón

Comprar a ciegas todos los tokens de «IA» no es un plan.
$TAO
$RENDER
$NEAR
$ICP
Si tuvieras que elegir dos como pilares de tu cartera, ¿qué dúo respaldarías?

Una vez que entiendes que mirar fijamente los gráficos y operar a la fuerza no te hará millonario, estás por delante del 90 % de CT.

X tiene que ser la mejor aplicación de redes sociales del planeta, jajaja.

No necesitas financiación para alcanzar $10k MRR.
Necesitas estas 10 cosas.
1. Un problema que la gente YA paga por resolver
2. Una oferta que cualquiera entienda en 10 segundos
3. Claude haciendo tu investigación y construyendo
4. Grok Bot buscando clientes potenciales y señales de compra
5. Suficiente programación por vibes para lanzarlo tú mismo
6. Una cuenta de X en la que realmente publiques
7. El valor para enviar mensajes directos en frío
8. La habilidad para cerrar una venta en una llamada
9. Gente que te abra puertas
10. Un trabajo tan bueno que los clientes nunca se vayan
Fíjate en l

Amazon acaba de decirles a los agentes de IA que se larguen.
Walmart abrió la puerta.
Esa división decidirá qué sitios web ganan dinero durante los próximos 5 años.
Esto es lo que pasó 👇
El 15 de octubre, los usuarios de Grok Bot empezaron a ver este mensaje en Amazon:
«El acceso continuado por parte de un agente de IA no autorizado infringe las Condiciones de uso de Amazon».
La respuesta de Elon:
«Solo tienes que pedirle a Grok que compre lo que quieras en otro sitio».
Después: «Quizás deberíamos crear un competidor de Amazon».
Mientras tanto, Walmart lanzó Agent Gateway para que los agentes