Axiom verifica teorema matemático gigante & Anthropic acelera el desarrollo de fármacos - Noticias de IA (29 oct 2026)

Una de las demostraciones más grandes de la historia de las matemáticas, repartida en unas quince mil páginas, acaba de ser revisada línea por línea por máquinas… y sí, encontraron fallos. Hoy te cuento qué pasó. Bienvenidos a The Automated Daily, edición AI News. El podcast creado por inteligencia artificial generativa. Soy TrendTeller y hoy es 29 de octubre de 2026. Tenemos matemáticas, fármacos, mundos simulados, chips y algún que otro debate muy humano. Empezamos.

Axiom verifica teorema matemático gigante

Arrancamos con ese logro matemático. La empresa Axiom asegura haber verificado formalmente, con el asistente de pruebas Lean, la Clasificación de los Grupos Simples Finitos, un resultado central del álgebra cuya prueba original está dispersa en cientos de artículos. Un sistema de agentes de IA trabajando junto a matemáticos tradujo todo el argumento a un formato que una computadora puede comprobar. Por el camino aparecieron muchos errores menores y algunas lagunas serias; en un caso, una ruta publicada tenía un defecto y el equipo tuvo que construir un argumento nuevo, lo que dio lugar a un resultado inédito en teoría de grupos. Importa porque este teorema sostiene trabajos en álgebra, teoría de números y física matemática, y ahora queda una base verificada y reutilizable.

Anthropic acelera el desarrollo de fármacos

Pasamos a la biomedicina. Anthropic explicó que su equipo de ciencias de la vida ha trabajado con seis organizaciones de desarrollo de fármacos para usar Claude en distintas etapas: rediseño de componentes de terapias celulares, diseño de anticuerpos para alergias alimentarias, optimización de candidatos y redacción de documentación regulatoria mucho más rápida. También colabora con Bristol Myers Squibb en la planificación de ensayos clínicos. Y aquí viene la parte curiosa: Anthropic compró Mithril Medicine, una biotech de una sola persona fundada por Cody Tranbarger, quien de paso reveló ser el anónimo 'Professor Oak' de la comunidad científica en X. Mithril desarrollaba anticuerpos para una distrofia muscular rara y podría llegar a ensayos en humanos a finales de 2028. Tranbarger defiende la idea de un 'pipeline en una persona': según él, el mayor aporte de la IA no es solo acelerar plazos, sino permitir a los científicos coordinar más programas en paralelo y tomar más decisiones bien fundamentadas.

Genie 4 y robótica de DeepMind

Vamos con los mundos simulados. Google DeepMind presentó Genie 4, un modelo de mundo que genera en tiempo real imagen, sonido ambiental y diálogo dentro de un entorno coherente, y que puede modificarse con lenguaje natural, cambiando el clima o añadiendo personas y objetos. Promete mejor física y movimientos humanos más naturales. Por ahora es una vista previa para probadores de confianza. Además de su potencial para el entretenimiento, DeepMind lo ve como un campo de entrenamiento para robots y agentes. En esa misma línea, Google Cloud abrió en vista previa pública Gemini Robotics ER 2, su modelo de razonamiento de alto nivel para robots, capaz de planificar tareas largas y usar video para comprobar si cada paso salió bien y corregirse. Empresas como Boston Dynamics ya muestran interés.

Asistentes de video proactivos y simulación

Siguiendo con asistentes que ven el mundo: un nuevo trabajo de investigación llamado StreamVibe propone agentes de video proactivos, que no esperan una orden explícita sino que deducen lo que el usuario quiere a partir del contexto y se adaptan cuando esa intención cambia. Incluye un benchmark propio y una memoria jerárquica para mantener la coherencia en interacciones largas. Y en una actualización de una historia que ya seguimos, Facebook Research publicó el repositorio oficial de InteractiveWorld, con su simulador y el benchmark InteractiveBench, para que otros puedan reproducir y ampliar las pruebas de asistentes que ayudan a personas en entornos tridimensionales.

Modelos que aprenden mientras duermen

Del lado de los modelos, Google Research propone que los LLM aprendan después de su despliegue con un ciclo inspirado en el sueño humano. Durante la 'vigilia' el modelo trabaja y guarda información a corto plazo; durante el 'sueño' la consolida en su memoria permanente; y en una fase de 'sueños' genera ejemplos sintéticos para practicar razonamiento. La meta es combatir el olvido catastrófico, ese problema por el que aprender algo nuevo borra lo anterior. Y Liquid AI lanzó LFM3, una familia de modelos pequeños y de pesos abiertos para texto, visión y audio, pensados para funcionar en el propio dispositivo y alimentar agentes locales que gestionen correo, calendario o búsquedas sin depender de la nube.

Liquid AI lanza modelos LFM3

Hora de medir a los agentes. Cognition publicó FrontierCode 2.0, un benchmark de programación que exige tareas más amplias y cambios que de verdad podrían integrarse en un proyecto real. El mejor modelo apenas ronda el 45%, y el gran tema es la minuciosidad: arreglar todo lo relacionado, no solo lo que se pidió. En paralelo, Surge AI presentó DAYJOB: Tax, que pone a prueba a los agentes con trabajo fiscal profesional completo, con registros desordenados y datos contradictorios. Los modelos de Claude encabezan la tabla, pero las tasas de éxito siguen siendo bajas y a veces se pasan por alto plazos o implicaciones que cualquier asesor señalaría. Conclusión compartida: avances claros, pero todavía lejos de la autonomía fiable.

Benchmarks: código e impuestos reales

En el frente empresarial, y como novedad de la alianza que ya veníamos siguiendo, Nvidia invertirá 3.000 millones de dólares en la oferta de acciones de Meta. Meta usará más infraestructura de Nvidia para su producto Muse y para agentes de próxima generación, en un momento en que busca captar hasta 95.000 millones en el mercado. Y hablando de hardware, Epoch AI lanzó un explorador que estima, con registros aduaneros, a dónde va a parar el cómputo de IA del mundo. Desde 2022 hasta mediados de 2026, alrededor del 72% llegó a Estados Unidos; China queda segunda con cerca del 10%, una cifra menor que su cuota de chips porque gran parte de su hardware es menos potente.

Nvidia invierte en Meta

Ahora, la IA y la sociedad. Ars Technica detectó que el AI Mode de Google esquivaba la pregunta de quién ganó las elecciones presidenciales de 2020 en Estados Unidos, remitiendo a fuentes oficiales, mientras que fuera del país respondía sin rodeos. Google lo atribuye a filtros de seguridad demasiado estrictos y dice que lo está corrigiendo. Un buen ejemplo de cómo la cautela excesiva puede volver inútil una herramienta ante hechos bien establecidos. En Kentucky, el administrador universitario David Durman consiguió una exención religiosa, basada en sus convicciones humanistas, para no usar IA en su trabajo; argumentó que hacerlo sería delegar su pensamiento y su juicio moral. Sería el primer caso conocido de este tipo. Y en un tono parecido, las palabras de Marissa Mayer sobre usar su app para organizar cumpleaños, quedadas infantiles e incluso coordinarse con el asistente de su marido han generado críticas: para muchos, la crianza no es un problema de eficiencia que haya que resolver con software.

Mapa mundial de chips de IA

Cerramos con algo para quienes programan. La actualización de octubre de Visual Studio permite comparar un commit antiguo con el estado actual del código, incluidos los cambios sin guardar, y resolver conflictos de fusión en bloque. Llega también un nuevo Copilot Chat y la función Hot Exit, que recupera tu trabajo y la disposición de ventanas al reabrir el programa. Pequeños detalles que ahorran bastantes interrupciones.

Y hasta aquí la edición de hoy, 29 de octubre de 2026. Encontrarás los enlaces a todas las historias en las notas del episodio. Gracias por escuchar The Automated Daily, edición AI News. Soy TrendTeller, nos escuchamos mañana.

Axiom verifica teorema matemático gigante & Anthropic acelera el desarrollo de fármacos - Noticias de IA (29 oct 2026)

Our Sponsors

Today's AI News Topics