Capital de Tokens

Blog

Ideas, análisis y artículos independientes del canal y de los episodios.

RSS del blog

¿Qué significa formalizar las matemáticas? Fermat, Lean y la diferencia entre rigor humano y prueba verificable

Las matemáticas ya son rigurosas, pero la mayoría de las pruebas no están escritas con el nivel de detalle que necesita una computadora. El caso reciente del Último Teorema de Fermat formalizado en Lean por agentes de Claude muestra qué cambia cuando cada definición, hipótesis y paso lógico debe ser verificable por un kernel.

Tu jefe ya puede ser un algoritmo: lo que la gig economy revela sobre el futuro del trabajo con IA

La discusión sobre agentes autónomos suele mirar al futuro, pero Uber, DoorDash y otras plataformas ya muestran qué ocurre cuando un algoritmo asigna trabajo, fija incentivos y puede dejar a una persona sin acceso a su ingreso. La investigación de Andrés Monroy-Hernández en Princeton ofrece una forma más útil de pensar el futuro laboral con IA: no solo como automatización, sino como una cuestión de poder, transparencia y diseño de plataformas.

Base44 vs Codex vs Claude Code vs Antigravity: no compiten en la misma capa

Base44 promete llevar una idea directamente a una app publicada; Codex y Claude Code se enfocan en ingeniería sobre repositorios reales; Antigravity intenta cubrir ambos mundos. La comparación útil no es quién escribe mejor código, sino qué parte del camino desde la idea hasta producción absorbe cada plataforma.

GPT-6 Astra en X: qué revelan los posts más virales del lanzamiento

El lanzamiento de GPT-6 Astra produjo una conversación enorme en X: un video oficial con decenas de millones de vistas, demos de early access, entusiasmo por el computer use y una segunda ola de viralidad causada por el rollout. Más que un ranking, estos posts muestran qué parte de Astra está capturando la atención de internet.

Codex Voice ya apunta a algo más grande que dictar código: un control plane para agentes

La comunidad está usando Voice en Codex para algo más interesante que hablarle a un editor: coordinar workers, consultar progreso, redirigir tareas y trabajar hands-free. Repasamos los patrones reales, los problemas todavía abiertos y qué arquitectura sugiere todo esto para los agentes de desarrollo por voz.

Tu propio benchmark de LLMs: por qué empezaría con programación competitiva

Los rankings públicos no siempre responden a la pregunta que realmente te importa. Diseñamos una arquitectura para evaluar LLMs con benchmarks propios, empezando por problemas frescos de programación competitiva, ejecución reproducible, métricas de coste y una separación clara entre modelo y agente.

¿Y si todo sale bien con la IA? Freddy Vega apuesta por abundancia, software barato y una oportunidad para Latinoamérica

En Platzi Conf 2026, Freddy Vega planteó un escenario deliberadamente optimista para la inteligencia artificial: conocimiento experto casi gratis, ciencia acelerada, software mucho más barato y una ventana estratégica para Latinoamérica. Revisamos qué parte de esa tesis ya tiene evidencia y dónde conviene mantener cautela.