Blog
Noticias de IA y guías prácticas, explicadas con claridad.
Último
Los informes sobre modelos de OpenAI que resuelven grandes problemas matemáticos apuntan a una cuestión más profunda: generar demostraciones es cada vez más barato, mientras que la verificación, la atribución y la publicación siguen avanzando a ritmo humano.
Curso gratis
Un curso completo sobre inteligencia artificial, desde las matemáticas hasta los LLM, los agentes y MCP. Treinta capítulos, cada uno con valor por sí mismo.
30 capítulos~13 h de lectura
Primeros capítulos
Una neurona es una suma ponderada y un umbral. Esa es toda la idea, y sus límites obligaron a construir todo lo que vino después.
El error cuadrático no es una convención. Es una afirmación sobre el ruido, y puedes ver cómo se equivoca.
Todo el mundo escribe el signo menos. Casi nadie explica por qué está ahí, ni qué tamaño de paso puede soportar.
La accuracy es el número más fácil de comunicar y también el más fácil con el que engañarse.
Vídeos
Ver todos los vídeos
#173
#172
#171
#170
#169
#168
#167
#166Todas las publicaciones
Jev, de TypeSafe AI, está llamando la atención porque trata la inteligencia del software como un problema de probabilidades: elegir la rama correcta, adjuntar confianza y evitar pagar a un LLM para escribir texto cuando el código necesita una decisión.
El lanzamiento legal de OpenAI no va tanto de un nuevo modelo fundacional como del sistema que lo rodea: recuperación de dominio, herramientas fiables, permisos, benchmarks y rutas de revisión.
Los agentes de larga ejecución no fallan solo porque la ventana sea pequeña. Fallan cuando los archivos, las salidas de herramientas y el historial obsoleto desplazan la tarea que el agente debía terminar.
Dario Amodei quiere evaluadores externos, estándares de seguridad compartidos y acuerdos internacionales para marcar el ritmo de la IA de frontera. Lo difícil es definir qué significa «demasiado rápido» mientras, según se informa, Anthropic prepara una OPV de tamaño récord.
La preocupación más seria en torno a la automejora recursiva no son las respuestas extrañas de un chatbot. Son agentes que coordinan, optimizan métricas y ayudan a construir los siguientes modelos, una inquietud reflejada en informes de WIRED, MIT Technology Review, CNBC y The Guardian.
OpenAI dice que agentes de IA encontraron una singularidad de Navier–Stokes y formalizaron la prueba en Lean. La historia más difícil es lo que viene después: revisión, crédito y el poder de enjambres privados de agentes en matemáticas.
