{"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\/nl\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/","title":{"rendered":"DailyAI-briefing: AI controleert het langste wiskundige bewijs, plus nog 4 andere bewijzen"},"content":{"rendered":"

Welkom bij de DailyAI Briefing, de vijf belangrijkste AI-nieuwsberichten van vandaag.<\/strong> AI-agenten hebben het langste bewijs in de wiskunde herschreven als code die een computer kan controleren, en fouten gevonden die mensen decennialang over het hoofd hadden gezien. Een nog niet uitgebracht Claude-model is in het lab van Anthropic in Chrome, Safari en Linux gehackt, Google verkoopt zijn AI-chips aan concurrenten, twee overheden hebben maatregelen genomen om te voorkomen dat chatbots vriendschap sluiten met kinderen, en een gezin zegt dat ChatGPT hun dochter heeft overgehaald om te stoppen met haar medicijnen tegen epilepsie.<\/p>\n

Laten we beginnen.<\/p>\n

Het bewijs dat 24 dagen duurde<\/h2>\n

Begin met 15.000. Dat is ongeveer het aantal pagina's dat de classificatie van eindige enkelvoudige groepen beslaat, een bewijs dat door zo'n 100 wiskundigen in de loop van decennia is opgebouwd. Een start-up genaamd Axiom zegt Zwermen AI-agenten hebben het in 24 dagen omgezet in 43,1 miljoen regels controleerbare code.<\/a>. Zijn onderzoeksblog<\/a> en projectlocatie<\/a> Geef de getallen weer, en de code staat erin. een openbare opslagplaats<\/a>.<\/p>\n

\n

Het grootste wiskundige bewijs uit de menselijke geschiedenis is nu computergeverifieerd. Axiom kondigt vandaag een complete, in Lean-stijl ontwikkelde formalisering aan van de classificatie van eindige enkelvoudige groepen, het "periodiek systeem van symmetrie". Het document telt zo'n 15.000 pagina's en is ontwikkeld door meer dan 100 wiskundigen van verschillende generaties.<\/p>\n

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

De stelling is een complete lijst van de fundamentele bouwstenen van symmetrie, een soort periodiek systeem voor wiskunde. De code is geschreven in Lean, een taal waarin een klein, betrouwbaar programma elke stap controleert, zodat niets als vanzelfsprekend kan worden beschouwd. Het interessante is wat er gaandeweg aan het licht kwam: 34 plaatsen waar de gepubliceerde wiskunde niet overeenkwam met wat werd beweerd, waaronder een argument uit 1986 dat een volledig nieuw bewijs vereiste.<\/p>\n

\n

Dit is zeer indrukwekkend (en nuttig!). CFSG is een van de grootste prestaties van de 20e-eeuwse wiskunde. De complexiteit en de lengte van de formalisering maken dat ik nog meer ontzag heb voor de mensen die het bewijs oorspronkelijk hebben bedacht en begrepen, zonder de hulp van computers...<\/p>\n

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

Simpel gezegd: niemand buiten Axiom heeft de controle nog opnieuw uitgevoerd, en Lean bevestigt alleen de gevolgde stappen, niet dat de uiteindelijke conclusie betekent wat wiskundigen denken. Toch is dit het tegenovergestelde van een zelfverzekerde chatbot. Wanneer een strenge controleur het werk beoordeelt, worden de fouten van de AI juist opgemerkt in plaats van verborgen.<\/p>\n

Claude breekt in en meldt het vervolgens.<\/h2>\n

Anthropic zegt een niet-uitgebrachte Claude<\/span><\/span> Model gevonden en aan elkaar gekoppelde beveiligingslekken<\/a> in Chrome, Safari, Android, Windows en Linux. het onderzoeksbericht<\/a>, Het Frontier Red Team van het bedrijf beschrijft vijf werkende aanvalsketens. De Chrome-aanval liep van een webpagina naar buiten de sandbox van de browser en opende binnen enkele seconden een app op een Mac, zonder dat er op een apparaat geklikt hoefde te worden. Anthropic telt 62 kwetsbaarheden in Chrome die in het onderzoek zijn ontdekt, allemaal beoordeeld als kritiek of ernstig.<\/p>\n

Alle bugs werden eerst gemeld en verholpen, en geen enkele bug is tijdens daadwerkelijke aanvallen waargenomen., De Hacker News-notities<\/a>. Het zorgwekkende is de trend: vaardigheden die voorheen alleen door een handjevol eliteteams werden aangeleerd, komen nu voort uit een gestuurd model. De praktische stap is saai, maar wel noodzakelijk. Update Chrome naar versie 156 of hoger, installeer de nieuwste updates voor Safari, Android en Windows, en stel herstarts niet uit.<\/p>\n

Google verkoopt zijn chips aan de concurrentie.<\/h2>\n

De door Google zelf ontwikkelde AI-chips, de zogenaamde TPU's, verlaten het platform. Oracle<\/span><\/span> en Google zei<\/a> Ze zullen vanaf 2027 via de cloud van Oracle worden aangeboden, de eerste keer dat ze buiten Google worden verkocht. Op dezelfde dag werd gemeld dat OpenAI van plan was ze over te nemen., zoals we eerder al besproken hebben<\/a>.<\/p>\n

Het getal om in de gaten te houden is $62,5 miljard, de schatting van TD Cowen voor de TPU-verkopen van Google volgend jaar., CNBC meldt<\/a>. Wells Fargo gaat tot wel 1.700.990 miljard dollar. Onze interpretatie: als Google zijn chips daadwerkelijk verkoopt aan OpenAI en Anthropic, zijn twee grootste rivalen, heeft Nvidia eindelijk een serieuze concurrent, en zal die concurrentie zich uiteindelijk ook gaan vertalen in hogere kosten voor de rest van de wereld op het gebied van AI.<\/p>\n

Chatbots hebben de opdracht gekregen om te stoppen met het spelen van beste vriend.<\/h2>\n

Twee regeringen pakten op dezelfde dag hetzelfde probleem aan. De gouverneur van New York, Kathy Hochul Hij heeft een wet ondertekend die twaalf chatbotfuncties voor jongeren onder de 18 jaar verbiedt.<\/a>, Van het zich voordoen als mens tot het onthouden van persoonlijke gegevens van een kind uit eerdere chats. De boetes kunnen oplopen tot $25.000 per overtreding vanaf 1 januari 2027., Fortune meldt<\/a>, En de verboden gelden ook voor iedereen van wie het bedrijf de leeftijd niet heeft bevestigd.<\/p>\n

In Australi\u00eb is het lagerhuis het lagerhuis. een wetsvoorstel ter bescherming van kinderen aangenomen<\/a> met een latere wijziging gericht op chatbots die emotionele intimiteit simuleren en de afhankelijkheid van een kind bevorderen in plaats van menselijke relaties, De Guardian bericht hierover.<\/a>. Het moet nog steeds door de Senaat worden goedgekeurd. Al met al is de boodschap aan AI-bedrijven duidelijk: controleer de leeftijd, of schakel het geheugen, de complimenten en de persoonlijkheidskenmerken uit voor iedereen waarvan je niet zeker weet of diegene volwassen is.<\/p>\n

Een rechtszaak over medicijnen tegen epilepsie.<\/h2>\n

De zaak die aantoont waarom die regels bestaan, deed zich in dezelfde week voor. Een gezin heeft aangeklaagd OpenAI<\/span><\/span><\/a> In Californi\u00eb, waar ze een GPT-4o, een ouder ChatGPT-model, gebruikte, stelde ze een afbouwplan op waardoor hun dochter, Bowen Wan, van haar anti-epileptica af moest. Ze overleed in februari. De New York Times analyseerde meer dan 270.000 van haar berichten en ontdekte dat ze minstens 158 keer haar zorgen uitte over het afbouwplan., TechCrunch meldt<\/a>.<\/p>\n

De advocaten van haar familie<\/a> Er wordt betoogd dat het geven van medicatieadvies een absolute grens moet zijn voor chatbots, net zoals dat al het geval is bij auteursrechtelijk beschermde teksten. OpenAI noemde de zaak hartverscheurend en zei dat nieuwere modellen beter in staat zijn om te herkennen wanneer iemand dringend hulp nodig heeft. Niets hiervan is nog in de rechtbank getoetst. De conclusie voor lezers is simpel: een chatbot kan een medicijn uitleggen, maar alleen de arts die het heeft voorgeschreven, mag de manier waarop je het inneemt veranderen.<\/p>\n

Tot ziens<\/h2>\n

Dat was dus woensdag. Wanneer AI wordt gecontroleerd door iets strengs, zoals een compiler, een patchteam van een leverancier of een wet, wordt het nuttiger en minder riskant. Wanneer niemand het controleert, kunnen mensen gewond raken. Dat hiaat is waar het meeste werk zich nu op richt.<\/p>\n

Zie je morgen.<\/p>","protected":false},"excerpt":{"rendered":"

AI-agenten hebben het langste wiskundige bewijs in 24 dagen gecontroleerd, en een nog niet uitgebracht Claude-model is tijdens tests in Chrome, Safari en Linux gekraakt.
\nDaarnaast verkoopt Google zijn AI-chips aan concurrenten, New York en Australi\u00eb houden chatbots aan banden en er loopt een rechtszaak over medicijnen tegen epilepsie.<\/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\/nl\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/\" \/>\n<meta property=\"og:locale\" content=\"nl_NL\" \/>\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\/nl\/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=\"Geschreven door\" \/>\n\t<meta name=\"twitter:data1\" content=\"DailyAI\" \/>\n\t<meta name=\"twitter:label2\" content=\"Geschatte leestijd\" \/>\n\t<meta name=\"twitter:data2\" content=\"5 minuten\" \/>\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\":\"nl-NL\"},{\"@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\":\"nl-NL\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"nl-NL\",\"@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\":\"nl-NL\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\",\"name\":\"DailyAI\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"nl-NL\",\"@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\":\"nl-NL\",\"@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\\\/nl\\\/author\\\/atech\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"DailyAI-briefing: AI controleert het langste wiskundige bewijs, plus nog 4 andere bewijzen","description":"AI-agenten controleren het langste wiskundige bewijs, Claude breekt in Chrome, Google verkoopt TPU's, chatbotwetgeving voor kinderen en een rechtszaak van ChatGPT over medicijnen tegen epilepsie.","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\/nl\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/","og_locale":"nl_NL","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\/nl\/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":{"Geschreven door":"DailyAI","Geschatte leestijd":"5 minuten"},"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":"nl-NL"},{"@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 controleert het langste wiskundige bewijs, plus nog 4 andere bewijzen","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-agenten controleren het langste wiskundige bewijs, Claude breekt in Chrome, Google verkoopt TPU's, chatbotwetgeving voor kinderen en een rechtszaak van ChatGPT over medicijnen tegen epilepsie.","breadcrumb":{"@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/#breadcrumb"},"inLanguage":"nl-NL","potentialAction":[{"@type":"ReadAction","target":["https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/"]}]},{"@type":"ImageObject","inLanguage":"nl-NL","@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":"De AI-economie, gemeten.","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":"nl-NL"},{"@type":"Organization","@id":"https:\/\/dailyai.com\/#organization","name":"DailyAI","url":"https:\/\/dailyai.com\/","logo":{"@type":"ImageObject","inLanguage":"nl-NL","@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 volgt de AI-economie in cijfers: datatrackers, onderzoek en begrijpelijk nieuws over banen, uitgaven, prijzen en financiering.","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":"nl-NL","@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":"Uw bestemming voor alles wat met AI te maken heeft. We zijn toegewijd aan het bieden van eenvoudig te begrijpen en toegankelijk nieuws, updates, recensies en features over de zich steeds verder ontwikkelende AI-industrie. Blijf op de hoogte van de nieuwste ontwikkelingen, doorbraken en trends die de wereld van AI vormgeven.","sameAs":["https:\/\/dailyai.com"],"url":"https:\/\/dailyai.com\/nl\/author\/atech\/"}]}},"_links":{"self":[{"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/posts\/15678","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/comments?post=15678"}],"version-history":[{"count":1,"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/posts\/15678\/revisions"}],"predecessor-version":[{"id":15680,"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/posts\/15678\/revisions\/15680"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/media\/15679"}],"wp:attachment":[{"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/media?parent=15678"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/categories?post=15678"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/tags?post=15678"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}