{"id":15678,"date":"2026-10-28T19:07:29","date_gmt":"2026-10-28T18:07:29","guid":{"rendered":"https:\/\/dailyai.com\/?p=15678"},"modified":"2026-10-28T19:07:29","modified_gmt":"2026-10-28T18:07:29","slug":"dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more","status":"publish","type":"post","link":"https:\/\/dailyai.com\/es\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/","title":{"rendered":"Informe de DailyAI: La IA comprueba la demostraci\u00f3n matem\u00e1tica m\u00e1s larga, adem\u00e1s de 4 m\u00e1s."},"content":{"rendered":"

Bienvenidos al informe DailyAI, con las cinco noticias m\u00e1s importantes del d\u00eda sobre inteligencia artificial.<\/strong> Los agentes de IA han reescrito la demostraci\u00f3n matem\u00e1tica m\u00e1s larga como c\u00f3digo que una computadora puede verificar, y han encontrado errores que los humanos pasaron por alto durante d\u00e9cadas. Un modelo Claude a\u00fan no publicado logr\u00f3 infiltrarse en Chrome, Safari y Linux en el laboratorio de Anthropic, Google est\u00e1 vendiendo sus chips de IA a la competencia, dos gobiernos tomaron medidas para impedir que los chatbots se hicieran amigos de los ni\u00f1os, y una familia afirma que ChatGPT convenci\u00f3 a su hija de que dejara de tomar su medicamento para la epilepsia.<\/p>\n

Vamos a empezar.<\/p>\n

La prueba que tard\u00f3 24 d\u00edas<\/h2>\n

Comience con 15.000. Esa es aproximadamente la cantidad de p\u00e1ginas que ocupa la Clasificaci\u00f3n de Grupos Simples Finitos, una demostraci\u00f3n construida por unos 100 matem\u00e1ticos a lo largo de d\u00e9cadas. Una empresa emergente llamada Axiom dice Enjambres de agentes de IA lo convirtieron en 43,1 millones de l\u00edneas de c\u00f3digo verificable en 24 d\u00edas.<\/a>. Es blog de investigaci\u00f3n<\/a> y sitio del proyecto<\/a> establece los n\u00fameros y el c\u00f3digo est\u00e1 en un repositorio p\u00fablico<\/a>.<\/p>\n

\n

La demostraci\u00f3n matem\u00e1tica m\u00e1s extensa de la historia de la humanidad ya est\u00e1 verificada por computadora. Hoy, Axiom anuncia una completa autoformalizaci\u00f3n Lean de la Clasificaci\u00f3n de Grupos Simples Finitos, la "tabla peri\u00f3dica de la simetr\u00eda". Aproximadamente 15\u00a0000 p\u00e1ginas, elaboradas por m\u00e1s de 100 matem\u00e1ticos de distintas generaciones.<\/p>\n

\u2014 Axiom (@axiommathai) 27 de octubre de 2026<\/a><\/p><\/blockquote>\n

El teorema es una lista completa de los bloques b\u00e1sicos de la simetr\u00eda, una especie de tabla peri\u00f3dica para las matem\u00e1ticas. El c\u00f3digo est\u00e1 escrito en Lean, un lenguaje donde un peque\u00f1o programa de confianza verifica cada paso, por lo que nada se puede pasar por alto como obvio. Lo interesante es lo que se descubri\u00f3 durante el proceso: 34 casos donde las matem\u00e1ticas publicadas no coincid\u00edan con lo que se afirmaba, incluyendo un argumento de 1986 que requer\u00eda una demostraci\u00f3n completamente nueva.<\/p>\n

\n

Esto es realmente impresionante (\u00a1y \u00fatil!). La demostraci\u00f3n CFSG es una de las grandes haza\u00f1as de las matem\u00e1ticas del siglo XX. La complejidad y la extensi\u00f3n de la formalizaci\u00f3n me hacen admirar a\u00fan m\u00e1s a los humanos que originalmente crearon y comprendieron la demostraci\u00f3n, sin la ayuda de las computadoras\u2026<\/p>\n

\u2014 Thomas Bloom (@thomasfbloom) 28 de octubre de 2026<\/a><\/p><\/blockquote>\n

En resumen: nadie fuera de Axiom ha reconstruido la verificaci\u00f3n todav\u00eda, y Lean solo confirma que se siguen los pasos, no que la afirmaci\u00f3n final signifique lo que piensan los matem\u00e1ticos. Aun as\u00ed, esto es lo opuesto a un chatbot que suena seguro. Cuando un verificador riguroso eval\u00faa el trabajo, los errores de la IA se detectan en lugar de ocultarse.<\/p>\n

Claude entra a la fuerza y luego lo denuncia.<\/h2>\n

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

Todos los errores fueron reportados previamente y corregidos, y ninguno se observ\u00f3 en ataques reales., Las notas de Hacker News<\/a>. Lo preocupante es la tendencia: habilidades que antes pertenec\u00edan a un pu\u00f1ado de equipos de \u00e9lite ahora surgen de un modelo guiado. El paso pr\u00e1ctico es aburrido, pero real. Actualiza Chrome a la versi\u00f3n 156 o posterior, instala los \u00faltimos parches de Safari, Android y Windows, y no pospongas los reinicios.<\/p>\n

Google vende sus chips a la competencia.<\/h2>\n

Los chips de inteligencia artificial de Google, llamados TPU, est\u00e1n abandonando su hogar. Oracle<\/span><\/span> y Google dijo<\/a> Se ofrecer\u00e1n en la nube de Oracle a partir de 2027, la primera vez que se venden fuera de Google. El mismo d\u00eda, se inform\u00f3 que OpenAI planeaba comprarlos., como ya hemos comentado anteriormente<\/a>.<\/p>\n

La cifra a tener en cuenta es $62.5 mil millones, la estimaci\u00f3n de TD Cowen para las ventas de TPU de Google el pr\u00f3ximo a\u00f1o, Seg\u00fan informa CNBC<\/a>. Wells Fargo llega a los 17.000 millones de d\u00f3lares. Nuestra conclusi\u00f3n: si Google realmente vende sus chips a OpenAI y Anthropic, sus dos rivales m\u00e1s cercanos, Nvidia finalmente tendr\u00e1 un competidor serio, y es probable que con el tiempo surja m\u00e1s competencia en lo que la IA nos cuesta al resto.<\/p>\n

Se les dice a los chatbots que dejen de jugar a ser mejores amigos.<\/h2>\n

Dos gobiernos abordaron el mismo problema el mismo d\u00eda. La gobernadora de Nueva York, Kathy Hochul. firm\u00f3 una ley que proh\u00edbe 12 funciones de chatbot para menores de 18 a\u00f1os.<\/a>, desde afirmar ser humano hasta recordar detalles personales de un ni\u00f1o de chats anteriores. Las multas alcanzan los $25,000 por infracci\u00f3n a partir del 1 de enero de 2027, Informes de Fortune<\/a>, Adem\u00e1s, las prohibiciones tambi\u00e9n abarcan a cualquier persona cuya edad no haya sido confirmada por la empresa.<\/p>\n

En Australia, la c\u00e1mara baja aprob\u00f3 un proyecto de ley de seguridad infantil<\/a> con una enmienda de \u00faltima hora dirigida a los chatbots que simulan la intimidad emocional y fomentan la dependencia de un ni\u00f1o en lugar de las relaciones humanas, Seg\u00fan informa The Guardian<\/a>. A\u00fan necesita la aprobaci\u00f3n 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\u00eda de edad no puedan confirmar.<\/p>\n

Una demanda por un medicamento anticonvulsivo<\/h2>\n

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

Los abogados de su familia<\/a> Argumentan que los chatbots deber\u00edan limitar estrictamente el asesoramiento sobre medicamentos, al igual que los textos protegidos por derechos de autor. OpenAI calific\u00f3 el caso de desgarrador y afirm\u00f3 que los modelos m\u00e1s recientes detectan mejor cu\u00e1ndo alguien necesita ayuda urgente. Sin embargo, nada de esto se ha probado a\u00fan en los tribunales. La conclusi\u00f3n para los lectores es sencilla: un chatbot puede explicar un medicamento, pero solo el m\u00e9dico que lo recet\u00f3 debe modificar la forma de tomarlo.<\/p>\n

Me despido<\/h2>\n

Eso fue el mi\u00e9rcoles. 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\u00e1s \u00fatil y menos riesgosa. Cuando nadie la controla, la gente puede salir perjudicada. Ah\u00ed es donde se concentra la mayor parte del trabajo actualmente.<\/p>\n

Nos vemos ma\u00f1ana.<\/p>","protected":false},"excerpt":{"rendered":"

Los agentes de IA comprobaron la demostraci\u00f3n matem\u00e1tica m\u00e1s larga en 24 d\u00edas, y un modelo Claude a\u00fan no publicado logr\u00f3 infiltrarse en Chrome, Safari y Linux durante las pruebas.
\nAdem\u00e1s, Google vende sus chips de IA a sus rivales, Nueva York y Australia ponen freno a los chatbots, y hay una demanda judicial relacionada con un medicamento contra las convulsiones.<\/p>","protected":false},"author":1,"featured_media":15679,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[338],"class_list":["post-15678","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","tag-roundup"],"yoast_head":"\nDailyAI Briefing: AI checks maths\u2019 longest proof, plus 4 more<\/title>\n<meta name=\"description\" content=\"AI agents check maths' longest proof, Claude breaks into Chrome, Google sells TPUs, chatbot laws for kids, and a ChatGPT lawsuit over epilepsy medicine.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/dailyai.com\/es\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"DailyAI Briefing: AI checks maths\u2019 longest proof, plus 4 more\" \/>\n<meta property=\"og:description\" content=\"AI agents check maths' longest proof, Claude breaks into Chrome, Google sells TPUs, chatbot laws for kids, and a ChatGPT lawsuit over epilepsy medicine.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/dailyai.com\/es\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/\" \/>\n<meta property=\"og:site_name\" content=\"DailyAI\" \/>\n<meta property=\"article:published_time\" content=\"2026-10-28T18:07:29+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dailyai-og-default.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\n\t<meta property=\"og:image:height\" content=\"630\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"DailyAI\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@DailyAIOfficial\" \/>\n<meta name=\"twitter:site\" content=\"@DailyAIOfficial\" \/>\n<meta name=\"twitter:label1\" content=\"Escrito por\" \/>\n\t<meta name=\"twitter:data1\" content=\"DailyAI\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tiempo de lectura\" \/>\n\t<meta name=\"twitter:data2\" content=\"5 minutos\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"NewsArticle\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/\"},\"author\":{\"name\":\"DailyAI\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/person\\\/5238bb16667080993f51f7fba82ad6c6\"},\"headline\":\"DailyAI Briefing: AI checks maths\u2019 longest proof, plus 4 more\",\"datePublished\":\"2026-10-28T18:07:29+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/\"},\"wordCount\":965,\"publisher\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dai-house-15678.jpg\",\"keywords\":[\"Roundup\"],\"inLanguage\":\"es\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/\",\"url\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/\",\"name\":\"DailyAI Briefing: AI checks maths\u2019 longest proof, plus 4 more\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dai-house-15678.jpg\",\"datePublished\":\"2026-10-28T18:07:29+00:00\",\"description\":\"AI agents check maths' longest proof, Claude breaks into Chrome, Google sells TPUs, chatbot laws for kids, and a ChatGPT lawsuit over epilepsy medicine.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/#primaryimage\",\"url\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dai-house-15678.jpg\",\"contentUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dai-house-15678.jpg\",\"width\":1472,\"height\":832,\"caption\":\"A flat illustration of a tall navy stack of paper sheets with a small navy cube above it and a large red tick beside it.\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/dailyai.com\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"DailyAI Briefing: AI checks maths\u2019 longest proof, plus 4 more\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#website\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"name\":\"DailyAI\",\"description\":\"The AI economy, measured.\",\"publisher\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/dailyai.com\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"es\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\",\"name\":\"DailyAI\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2023\\\/06\\\/Daily-Ai_TL_colour.png\",\"contentUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2023\\\/06\\\/Daily-Ai_TL_colour.png\",\"width\":4501,\"height\":934,\"caption\":\"DailyAI\"},\"image\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/x.com\\\/DailyAIOfficial\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/dailyaiofficial\\\/\",\"https:\\\/\\\/www.youtube.com\\\/@DailyAIOfficial\"],\"legalName\":\"Zero Hour Investments FZCO\",\"foundingDate\":\"2023\",\"slogan\":\"The AI economy, measured.\",\"description\":\"DailyAI tracks the AI economy in numbers: data trackers, research and plain-English news on jobs, spending, pricing and funding.\",\"address\":{\"@type\":\"PostalAddress\",\"addressCountry\":\"AE\"},\"contactPoint\":{\"@type\":\"ContactPoint\",\"contactType\":\"customer support\",\"url\":\"https:\\\/\\\/dailyai.com\\\/contact\\\/\"},\"founder\":{\"@type\":\"Person\",\"name\":\"David Merry\",\"url\":\"https:\\\/\\\/dailyai.com\\\/author\\\/davidmerry\\\/\",\"sameAs\":[\"https:\\\/\\\/www.linkedin.com\\\/in\\\/davidmerry\\\/\"]}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/person\\\/5238bb16667080993f51f7fba82ad6c6\",\"name\":\"DailyAI\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dailyai-ai-mark-512.png\",\"url\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dailyai-ai-mark-512.png\",\"contentUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dailyai-ai-mark-512.png\",\"caption\":\"DailyAI\"},\"description\":\"Your go-to destination for all things AI. We are dedicated to providing easy to understand and accessible news, updates, reviews, and features on the ever-evolving AI industry. Stay informed as we unravel the latest advancements, breakthroughs, and trends shaping the world of AI.\",\"sameAs\":[\"https:\\\/\\\/dailyai.com\"],\"url\":\"https:\\\/\\\/dailyai.com\\\/es\\\/author\\\/atech\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Informe de DailyAI: La IA comprueba la demostraci\u00f3n matem\u00e1tica m\u00e1s larga, adem\u00e1s de 4 m\u00e1s.","description":"Agentes de IA comprueban la demostraci\u00f3n matem\u00e1tica m\u00e1s larga, Claude irrumpe en Chrome, Google vende TPUs, leyes sobre chatbots para ni\u00f1os y una demanda de ChatGPT por un medicamento para la epilepsia.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/dailyai.com\/es\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/","og_locale":"es_ES","og_type":"article","og_title":"DailyAI Briefing: AI checks maths\u2019 longest proof, plus 4 more","og_description":"AI agents check maths' longest proof, Claude breaks into Chrome, Google sells TPUs, chatbot laws for kids, and a ChatGPT lawsuit over epilepsy medicine.","og_url":"https:\/\/dailyai.com\/es\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/","og_site_name":"DailyAI","article_published_time":"2026-10-28T18:07:29+00:00","og_image":[{"width":1200,"height":630,"url":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dailyai-og-default.jpg","type":"image\/jpeg"}],"author":"DailyAI","twitter_card":"summary_large_image","twitter_creator":"@DailyAIOfficial","twitter_site":"@DailyAIOfficial","twitter_misc":{"Escrito por":"DailyAI","Tiempo de lectura":"5 minutos"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"NewsArticle","@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/#article","isPartOf":{"@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/"},"author":{"name":"DailyAI","@id":"https:\/\/dailyai.com\/#\/schema\/person\/5238bb16667080993f51f7fba82ad6c6"},"headline":"DailyAI Briefing: AI checks maths\u2019 longest proof, plus 4 more","datePublished":"2026-10-28T18:07:29+00:00","mainEntityOfPage":{"@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/"},"wordCount":965,"publisher":{"@id":"https:\/\/dailyai.com\/#organization"},"image":{"@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/#primaryimage"},"thumbnailUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dai-house-15678.jpg","keywords":["Roundup"],"inLanguage":"es"},{"@type":"WebPage","@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/","url":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/","name":"Informe de DailyAI: La IA comprueba la demostraci\u00f3n matem\u00e1tica m\u00e1s larga, adem\u00e1s de 4 m\u00e1s.","isPartOf":{"@id":"https:\/\/dailyai.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/#primaryimage"},"image":{"@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/#primaryimage"},"thumbnailUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dai-house-15678.jpg","datePublished":"2026-10-28T18:07:29+00:00","description":"Agentes de IA comprueban la demostraci\u00f3n matem\u00e1tica m\u00e1s larga, Claude irrumpe en Chrome, Google vende TPUs, leyes sobre chatbots para ni\u00f1os y una demanda de ChatGPT por un medicamento para la epilepsia.","breadcrumb":{"@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/"]}]},{"@type":"ImageObject","inLanguage":"es","@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/#primaryimage","url":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dai-house-15678.jpg","contentUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dai-house-15678.jpg","width":1472,"height":832,"caption":"A flat illustration of a tall navy stack of paper sheets with a small navy cube above it and a large red tick beside it."},{"@type":"BreadcrumbList","@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/dailyai.com\/"},{"@type":"ListItem","position":2,"name":"DailyAI Briefing: AI checks maths\u2019 longest proof, plus 4 more"}]},{"@type":"WebSite","@id":"https:\/\/dailyai.com\/#website","url":"https:\/\/dailyai.com\/","name":"DailyAI","description":"La econom\u00eda de la IA, medida.","publisher":{"@id":"https:\/\/dailyai.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/dailyai.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"es"},{"@type":"Organization","@id":"https:\/\/dailyai.com\/#organization","name":"DailyAI","url":"https:\/\/dailyai.com\/","logo":{"@type":"ImageObject","inLanguage":"es","@id":"https:\/\/dailyai.com\/#\/schema\/logo\/image\/","url":"https:\/\/dailyai.com\/wp-content\/uploads\/2023\/06\/Daily-Ai_TL_colour.png","contentUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2023\/06\/Daily-Ai_TL_colour.png","width":4501,"height":934,"caption":"DailyAI"},"image":{"@id":"https:\/\/dailyai.com\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/x.com\/DailyAIOfficial","https:\/\/www.linkedin.com\/company\/dailyaiofficial\/","https:\/\/www.youtube.com\/@DailyAIOfficial"],"legalName":"Zero Hour Investments FZCO","foundingDate":"2023","slogan":"The AI economy, measured.","description":"DailyAI sigue la econom\u00eda de la IA en cifras: rastreadores de datos, an\u00e1lisis y noticias en lenguaje claro sobre empleo, inversi\u00f3n, precios y financiaci\u00f3n.","address":{"@type":"PostalAddress","addressCountry":"AE"},"contactPoint":{"@type":"ContactPoint","contactType":"customer support","url":"https:\/\/dailyai.com\/contact\/"},"founder":{"@type":"Person","name":"David Merry","url":"https:\/\/dailyai.com\/author\/davidmerry\/","sameAs":["https:\/\/www.linkedin.com\/in\/davidmerry\/"]}},{"@type":"Person","@id":"https:\/\/dailyai.com\/#\/schema\/person\/5238bb16667080993f51f7fba82ad6c6","name":"DailyAI","image":{"@type":"ImageObject","inLanguage":"es","@id":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dailyai-ai-mark-512.png","url":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dailyai-ai-mark-512.png","contentUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dailyai-ai-mark-512.png","caption":"DailyAI"},"description":"Su destino para todo lo relacionado con la IA. Nos dedicamos a ofrecer noticias, actualizaciones, rese\u00f1as y art\u00edculos accesibles y f\u00e1ciles de entender sobre el sector de la IA, en constante evoluci\u00f3n. Mant\u00e9ngase informado mientras desentra\u00f1amos los \u00faltimos avances, descubrimientos y tendencias que dan forma al mundo de la IA.","sameAs":["https:\/\/dailyai.com"],"url":"https:\/\/dailyai.com\/es\/author\/atech\/"}]}},"_links":{"self":[{"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/posts\/15678","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/comments?post=15678"}],"version-history":[{"count":1,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/posts\/15678\/revisions"}],"predecessor-version":[{"id":15680,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/posts\/15678\/revisions\/15680"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/media\/15679"}],"wp:attachment":[{"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/media?parent=15678"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/categories?post=15678"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/tags?post=15678"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}