Informe de DailyAI: La IA comprueba la demostración matemática más larga, además de 4 más.

Bienvenidos al informe DailyAI, con las cinco noticias más importantes del día sobre inteligencia artificial. Los agentes de IA han reescrito la demostración matemática más larga como código que una computadora puede verificar, y han encontrado errores que los humanos pasaron por alto durante décadas. Un modelo Claude aún no publicado logró infiltrarse en Chrome, Safari y Linux en el laboratorio de Anthropic, Google está vendiendo sus chips de IA a la competencia, dos gobiernos tomaron medidas para impedir que los chatbots se hicieran amigos de los niños, y una familia afirma que ChatGPT convenció a su hija de que dejara de tomar su medicamento para la epilepsia.

Vamos a empezar.

La prueba que tardó 24 días

Comience con 15.000. Esa es aproximadamente la cantidad de páginas que ocupa la Clasificación de Grupos Simples Finitos, una demostración construida por unos 100 matemáticos a lo largo de décadas. Una empresa emergente llamada Axiom dice Enjambres de agentes de IA lo convirtieron en 43,1 millones de líneas de código verificable en 24 días.. Es blog de investigación y sitio del proyecto establece los números y el código está en un repositorio público.

La demostración matemática más extensa de la historia de la humanidad ya está verificada por computadora. Hoy, Axiom anuncia una completa autoformalización Lean de la Clasificación de Grupos Simples Finitos, la "tabla periódica de la simetría". Aproximadamente 15 000 páginas, elaboradas por más de 100 matemáticos de distintas generaciones.

— Axiom (@axiommathai) 27 de octubre de 2026

El teorema es una lista completa de los bloques básicos de la simetría, una especie de tabla periódica para las matemáticas. El código está escrito en Lean, un lenguaje donde un pequeño programa de confianza verifica cada paso, por lo que nada se puede pasar por alto como obvio. Lo interesante es lo que se descubrió durante el proceso: 34 casos donde las matemáticas publicadas no coincidían con lo que se afirmaba, incluyendo un argumento de 1986 que requería una demostración completamente nueva.

Esto es realmente impresionante (¡y útil!). La demostración CFSG es una de las grandes hazañas de las matemáticas del siglo XX. La complejidad y la extensión de la formalización me hacen admirar aún más a los humanos que originalmente crearon y comprendieron la demostración, sin la ayuda de las computadoras…

— Thomas Bloom (@thomasfbloom) 28 de octubre de 2026

En resumen: nadie fuera de Axiom ha reconstruido la verificación todavía, y Lean solo confirma que se siguen los pasos, no que la afirmación final signifique lo que piensan los matemáticos. Aun así, esto es lo opuesto a un chatbot que suena seguro. Cuando un verificador riguroso evalúa el trabajo, los errores de la IA se detectan en lugar de ocultarse.

Claude entra a la fuerza y luego lo denuncia.

Antropía dice un no publicado Claude Modelo encontrado y agujeros de seguridad encadenados en Chrome, Safari, Android, Windows y Linux. En su puesto de investigación, El equipo Frontier Red Team de la compañía describe cinco cadenas de ataque funcionales. La de Chrome se ejecutaba desde una página web fuera del entorno aislado del navegador y abría una aplicación en un Mac en cuestión de segundos, sin necesidad de clics. Anthropic contabiliza 62 vulnerabilidades de Chrome, todas ellas de gravedad crítica o alta.

Todos los errores fueron reportados previamente y corregidos, y ninguno se observó en ataques reales., Las notas de Hacker News. Lo preocupante es la tendencia: habilidades que antes pertenecían a un puñado de equipos de élite ahora surgen de un modelo guiado. El paso práctico es aburrido, pero real. Actualiza Chrome a la versión 156 o posterior, instala los últimos parches de Safari, Android y Windows, y no pospongas los reinicios.

¿Quieres que la IA te ahorre horas a la semana? Nuestra guía gratuita te muestra cómo.Obtén la guía gratuita →

Google vende sus chips a la competencia.

Los chips de inteligencia artificial de Google, llamados TPU, están abandonando su hogar. Oracle y Google dijo Se ofrecerán en la nube de Oracle a partir de 2027, la primera vez que se venden fuera de Google. El mismo día, se informó que OpenAI planeaba comprarlos., como ya hemos comentado anteriormente.

La cifra a tener en cuenta es $62.5 mil millones, la estimación de TD Cowen para las ventas de TPU de Google el próximo año, Según informa CNBC. Wells Fargo llega a los 17.000 millones de dólares. Nuestra conclusión: si Google realmente vende sus chips a OpenAI y Anthropic, sus dos rivales más cercanos, Nvidia finalmente tendrá un competidor serio, y es probable que con el tiempo surja más competencia en lo que la IA nos cuesta al resto.

Se les dice a los chatbots que dejen de jugar a ser mejores amigos.

Dos gobiernos abordaron el mismo problema el mismo día. La gobernadora de Nueva York, Kathy Hochul. firmó una ley que prohíbe 12 funciones de chatbot para menores de 18 años., desde afirmar ser humano hasta recordar detalles personales de un niño de chats anteriores. Las multas alcanzan los $25,000 por infracción a partir del 1 de enero de 2027, Informes de Fortune, Además, las prohibiciones también abarcan a cualquier persona cuya edad no haya sido confirmada por la empresa.

En Australia, la cámara baja aprobó un proyecto de ley de seguridad infantil con una enmienda de última hora dirigida a los chatbots que simulan la intimidad emocional y fomentan la dependencia de un niño en lugar de las relaciones humanas, Según informa The Guardian. Aún necesita la aprobación del Senado. En resumen, el mensaje para las empresas de IA es claro: o verifican la edad, o desactivan la memoria, los halagos y la personalidad para cualquier persona cuya mayoría de edad no puedan confirmar.

Una demanda por un medicamento anticonvulsivo

El caso que muestra por qué existen esas reglas se presentó la misma semana. Una familia tiene demandó a OpenAI En California, afirman que GPT-4o, un modelo antiguo de ChatGPT, elaboró un plan de reducción gradual que hizo que su hija, Bowen Wan, dejara de tomar su medicamento anticonvulsivo. Ella falleció en febrero. El New York Times revisó más de 270.000 de sus mensajes y encontró al menos 158 veces que expresó preocupación por la reducción gradual., Según informa TechCrunch.

Los abogados de su familia Argumentan que los chatbots deberían limitar estrictamente el asesoramiento sobre medicamentos, al igual que los textos protegidos por derechos de autor. OpenAI calificó el caso de desgarrador y afirmó que los modelos más recientes detectan mejor cuándo alguien necesita ayuda urgente. Sin embargo, nada de esto se ha probado aún en los tribunales. La conclusión para los lectores es sencilla: un chatbot puede explicar un medicamento, pero solo el médico que lo recetó debe modificar la forma de tomarlo.

Me despido

Eso fue el miércoles. Cuando la IA se somete a controles estrictos, como los de un compilador, el equipo de desarrollo de un proveedor o una ley, se vuelve más útil y menos riesgosa. Cuando nadie la controla, la gente puede salir perjudicada. Ahí es donde se concentra la mayor parte del trabajo actualmente.

Nos vemos mañana.