{"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\/it\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/","title":{"rendered":"DailyAI Briefing: l'IA verifica la dimostrazione matematica pi\u00f9 lunga, pi\u00f9 altre 4"},"content":{"rendered":"

Benvenuti al briefing DailyAI, le cinque notizie pi\u00f9 importanti di oggi sull'intelligenza artificiale.<\/strong> Gli agenti di intelligenza artificiale hanno riscritto la dimostrazione pi\u00f9 lunga della matematica trasformandola in codice verificabile da un computer e hanno individuato errori che gli esseri umani avevano trascurato per decenni. Un modello di Claude non ancora rilasciato \u00e8 penetrato in Chrome, Safari e Linux nel laboratorio di Anthropic, Google sta vendendo i suoi chip per l'IA ai concorrenti, due governi sono intervenuti per impedire ai chatbot di fare amicizia con i bambini e una famiglia afferma che ChatGPT ha convinto la figlia a smettere di prendere i farmaci per l'epilessia.<\/p>\n

Iniziamo.<\/p>\n

La prova che ha richiesto 24 giorni<\/h2>\n

Partiamo da 15.000. Questo \u00e8 all'incirca il numero di pagine che occupa la Classificazione dei Gruppi Semplici Finiti, una dimostrazione elaborata da circa 100 matematici nel corso di decenni. Una start-up chiamata Axiom afferma Sciami di agenti di intelligenza artificiale lo hanno trasformato in 43,1 milioni di righe di codice verificabile in 24 giorni<\/a>. Suo blog di ricerca<\/a> e sito del progetto<\/a> imposta i numeri e il codice \u00e8 in un deposito pubblico<\/a>.<\/p>\n

\n

La pi\u00f9 grande dimostrazione matematica della storia dell'umanit\u00e0 \u00e8 ora verificata al computer. Oggi, Axiom annuncia una completa autoformalizzazione Lean della Classificazione dei Gruppi Semplici Finiti, la "tavola periodica della simmetria". Circa 15.000 pagine, create da oltre 100 matematici di diverse generazioni.<\/p>\n

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

Il teorema \u00e8 un elenco completo dei blocchi costitutivi fondamentali della simmetria, una sorta di tavola periodica per la matematica. Il codice \u00e8 scritto in Lean, un linguaggio in cui un piccolo programma affidabile controlla ogni passaggio, quindi nulla pu\u00f2 essere dato per scontato. La parte interessante \u00e8 ci\u00f2 che \u00e8 emerso lungo il percorso: 34 punti in cui i calcoli pubblicati non corrispondevano a quanto affermato, incluso un argomento del 1986 che necessitava di una dimostrazione completamente nuova.<\/p>\n

\n

\u00c8 davvero impressionante (e utile!). Il teorema di CFSG \u00e8 una delle grandi imprese della matematica del XX secolo. La complessit\u00e0 e la lunghezza della formalizzazione mi fanno ammirare ancora di pi\u00f9 gli esseri umani che originariamente lo hanno creato e compreso, senza l'ausilio dei computer...<\/p>\n

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

A prima vista, nessuno al di fuori di Axiom ha ancora ricostruito la verifica, e Lean si limita a confermare che i passaggi siano corretti, non che l'affermazione finale significhi ci\u00f2 che pensano i matematici. Tuttavia, questo \u00e8 l'opposto di un chatbot che si esprime con sicurezza. Quando un revisore rigoroso valuta il lavoro, gli errori dell'IA vengono individuati anzich\u00e9 nascosti.<\/p>\n

Claude si introduce con la forza, poi lo denuncia<\/h2>\n

Anthropic dice un inedito Claude<\/span><\/span> modello trovato e collegato falle di sicurezza<\/a> in Chrome, Safari, Android, Windows e Linux. In il suo posto di ricerca<\/a>, Il team Frontier Red Team dell'azienda descrive cinque catene di attacco funzionanti. Quella relativa a Chrome partiva da una pagina web, si estendeva al di fuori della sandbox del browser e apriva un'app su un Mac in pochi secondi, senza alcun clic. Anthropic ha individuato 62 vulnerabilit\u00e0 in Chrome, tutte classificate come critiche o di alto livello.<\/p>\n

Ogni bug \u00e8 stato segnalato prima ed \u00e8 stato corretto, e nessuno \u00e8 stato riscontrato in attacchi reali, Le note di Hacker News<\/a>. La parte preoccupante \u00e8 la tendenza: competenze che un tempo appartenevano a una manciata di team d'\u00e9lite ora provengono da un modello predefinito. Il passo pratico \u00e8 noioso ma necessario. Aggiorna Chrome alla versione 156 o successiva, installa le patch pi\u00f9 recenti di Safari, Android e Windows e non rimandare i riavvii.<\/p>\n

Google vende i suoi chip alla concorrenza<\/h2>\n

I chip AI interni di Google, chiamati TPU, stanno lasciando la sede centrale. Oracle<\/span><\/span> e Google ha detto<\/a> Saranno offerti sul cloud di Oracle a partire dal 2027, la prima volta che saranno venduti al di fuori di Google. Lo stesso giorno, \u00e8 stato riportato che OpenAI stava pianificando di acquistarli, come abbiamo gi\u00e0 trattato<\/a>.<\/p>\n

Il numero da tenere d'occhio \u00e8 $62,5 miliardi, la stima di TD Cowen per le vendite di TPU di Google il prossimo anno, CNBC riporta<\/a>. Wells Fargo arriva a stimare una cifra di 1.000.700.990 miliardi. La nostra interpretazione: se Google vendesse davvero i suoi chip a OpenAI e Anthropic, i suoi due principali rivali, Nvidia avrebbe finalmente un serio concorrente, e una maggiore concorrenza si rifletterebbe inevitabilmente sui costi dell'intelligenza artificiale per tutti gli altri.<\/p>\n

Ai chatbot \u00e8 stato detto di smettere di fare i migliori amici<\/h2>\n

Due governi hanno affrontato lo stesso problema nello stesso giorno. La governatrice di New York Kathy Hochul ha firmato una legge che vieta 12 funzionalit\u00e0 dei chatbot ai minori di 18 anni<\/a>, dal dichiararsi umano al ricordare i dettagli personali di un bambino da chat precedenti. Le multe raggiungono 17.25.000 euro per violazione a partire dal 1\u00b0 gennaio 2027, Fortune riporta<\/a>, e i divieti riguardano anche chiunque la cui et\u00e0 non sia stata confermata da un'azienda.<\/p>\n

In Australia, la camera bassa \u00e8 stata approvata una legge sulla sicurezza dei bambini.<\/a> con un emendamento tardivo mirato ai chatbot che simulano l'intimit\u00e0 emotiva e favoriscono la dipendenza del bambino al posto delle relazioni umane, il Guardian riporta<\/a>. Serve ancora il Senato. Nel complesso, il messaggio per le aziende di intelligenza artificiale \u00e8 chiaro: o verificate l'et\u00e0, oppure disattivate la memoria, l'adulazione e la personalit\u00e0 per chiunque non possiate confermare essere maggiorenne.<\/p>\n

Una causa legale relativa a un farmaco antiepilettico<\/h2>\n

Il caso che dimostra perch\u00e9 queste regole esistono \u00e8 arrivato la stessa settimana. Una famiglia ha citato OpenAI<\/span><\/span><\/a> in California, dicendo che GPT-4o, un modello ChatGPT pi\u00f9 vecchio, ha elaborato un piano di riduzione graduale che ha portato alla sospensione del farmaco antiepilettico di sua figlia, Bowen Wan. \u00c8 morta a febbraio. Il New York Times ha esaminato pi\u00f9 di 270.000 dei suoi messaggi e ha scoperto che almeno 158 volte ha espresso preoccupazione per la riduzione graduale, TechCrunch riporta<\/a>.<\/p>\n

Gli avvocati della sua famiglia<\/a> Sostengono che i chatbot dovrebbero astenersi dal fornire consigli sui farmaci, come gi\u00e0 accade per i testi protetti da copyright. OpenAI ha definito il caso straziante e ha affermato che i modelli pi\u00f9 recenti sono pi\u00f9 bravi a individuare quando qualcuno ha bisogno di aiuto urgente. Nulla di tutto ci\u00f2 \u00e8 stato ancora sottoposto al vaglio di un tribunale. Il messaggio per i lettori \u00e8 semplice: un chatbot pu\u00f2 spiegare un farmaco, ma solo il medico che lo ha prescritto pu\u00f2 modificarne la modalit\u00e0 di assunzione.<\/p>\n

Saluti<\/h2>\n

Questo \u00e8 successo mercoled\u00ec. Quando l'IA viene controllata da qualcosa di rigoroso, come un compilatore, il team di sviluppo di un fornitore o una legge, diventa pi\u00f9 utile e meno rischiosa. Quando nessuno la controlla, le persone possono farsi male. \u00c8 proprio in questa lacuna che si concentra la maggior parte del lavoro ora.<\/p>\n

Ci vediamo domani.<\/p>","protected":false},"excerpt":{"rendered":"

Agenti di intelligenza artificiale hanno verificato la dimostrazione matematica pi\u00f9 lunga in 24 giorni e un modello Claude non ancora rilasciato \u00e8 riuscito a penetrare in Chrome, Safari e Linux durante i test.
\nInoltre, Google vende i suoi chip per l'intelligenza artificiale ai concorrenti, New York e l'Australia limitano l'uso dei chatbot e c'\u00e8 una causa legale sui farmaci per le convulsioni.<\/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\/it\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/\" \/>\n<meta property=\"og:locale\" content=\"it_IT\" \/>\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\/it\/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=\"Scritto da\" \/>\n\t<meta name=\"twitter:data1\" content=\"DailyAI\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tempo di lettura stimato\" \/>\n\t<meta name=\"twitter:data2\" content=\"5 minuti\" \/>\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\":\"it-IT\"},{\"@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\":\"it-IT\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"it-IT\",\"@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\":\"it-IT\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\",\"name\":\"DailyAI\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"it-IT\",\"@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\":\"it-IT\",\"@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\\\/it\\\/author\\\/atech\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"DailyAI Briefing: l'IA verifica la dimostrazione matematica pi\u00f9 lunga, pi\u00f9 altre 4","description":"Agenti IA verificano la dimostrazione matematica pi\u00f9 lunga, Claude si introduce in Chrome, Google vende TPU, leggi sui chatbot per bambini e una causa legale contro ChatGPT per un farmaco contro l'epilessia.","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\/it\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/","og_locale":"it_IT","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\/it\/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":{"Scritto da":"DailyAI","Tempo di lettura stimato":"5 minuti"},"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":"it-IT"},{"@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: l'IA verifica la dimostrazione matematica pi\u00f9 lunga, pi\u00f9 altre 4","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":"Agenti IA verificano la dimostrazione matematica pi\u00f9 lunga, Claude si introduce in Chrome, Google vende TPU, leggi sui chatbot per bambini e una causa legale contro ChatGPT per un farmaco contro l'epilessia.","breadcrumb":{"@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/#breadcrumb"},"inLanguage":"it-IT","potentialAction":[{"@type":"ReadAction","target":["https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/"]}]},{"@type":"ImageObject","inLanguage":"it-IT","@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":"L\u2019economia dell\u2019IA, misurata.","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":"it-IT"},{"@type":"Organization","@id":"https:\/\/dailyai.com\/#organization","name":"DailyAI","url":"https:\/\/dailyai.com\/","logo":{"@type":"ImageObject","inLanguage":"it-IT","@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 misura l\u2019economia dell\u2019IA in numeri: tracker di dati, ricerche e notizie in parole semplici su lavoro, spesa, prezzi e finanziamenti.","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":"it-IT","@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":"Il vostro punto di riferimento per tutto ci\u00f2 che riguarda l'IA. Ci dedichiamo a fornire notizie, aggiornamenti, recensioni e caratteristiche di facile comprensione e accessibilit\u00e0 sul settore dell'IA in continua evoluzione. Rimanete informati mentre vi sveliamo gli ultimi progressi, le scoperte e le tendenze che caratterizzano il mondo dell'IA.","sameAs":["https:\/\/dailyai.com"],"url":"https:\/\/dailyai.com\/it\/author\/atech\/"}]}},"_links":{"self":[{"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/posts\/15678","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/comments?post=15678"}],"version-history":[{"count":1,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/posts\/15678\/revisions"}],"predecessor-version":[{"id":15680,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/posts\/15678\/revisions\/15680"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/media\/15679"}],"wp:attachment":[{"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/media?parent=15678"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/categories?post=15678"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/tags?post=15678"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}