{"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\/de\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/","title":{"rendered":"DailyAI-Kurzbericht: KI pr\u00fcft l\u00e4ngsten mathematischen Beweis und 4 weitere"},"content":{"rendered":"

Willkommen zum DailyAI Briefing, den f\u00fcnf wichtigsten KI-News des Tages.<\/strong> KI-Systeme haben den l\u00e4ngsten mathematischen Beweis in einen computerlesbaren Code umgewandelt und dabei Fehler aufgedeckt, die Menschen jahrzehntelang \u00fcbersehen hatten. Ein unver\u00f6ffentlichtes Claude-Modell drang in Chrome, Safari und Linux im Labor von Anthropic ein, Google verkauft seine KI-Chips an Konkurrenten, zwei Regierungen haben Ma\u00dfnahmen ergriffen, um zu verhindern, dass Chatbots sich mit Kindern anfreunden, und eine Familie berichtet, dass ChatGPT ihre Tochter dazu gebracht hat, ihre Epilepsie-Medikamente abzusetzen.<\/p>\n

Lasst uns loslegen.<\/p>\n

Der Beweis, der 24 Tage dauerte<\/h2>\n

Beginnen wir mit 15.000. Das ist ungef\u00e4hr die Seitenzahl der Klassifikation endlicher einfacher Gruppen, ein Beweis, an dem rund 100 Mathematiker \u00fcber Jahrzehnte gearbeitet haben. Ein Start-up-Unternehmen namens Axiom sagt: Schw\u00e4rme von KI-Agenten wandelten es in 24 Tagen in 43,1 Millionen Zeilen \u00fcberpr\u00fcfbaren Code um.<\/a>. Es ist Forschungsblog<\/a> und Projektstandort<\/a> Die Zahlen wurden festgelegt, und der Code befindet sich in ein \u00f6ffentliches Repository<\/a>.<\/p>\n

\n

Der gr\u00f6\u00dfte mathematische Beweis der Menschheitsgeschichte ist nun computergest\u00fctzt verifiziert. Axiom gibt heute die vollst\u00e4ndige, schlanke Auto-Formalisierung der Klassifikation endlicher einfacher Gruppen, des \u201cPeriodensystems der Symmetrie\u201d, bekannt. Rund 15.000 Seiten, erstellt von \u00fcber 100 Mathematikern verschiedener Generationen.<\/p>\n

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

Der Satz ist eine vollst\u00e4ndige Liste der grundlegenden Bausteine der Symmetrie, eine Art Periodensystem der Mathematik. Der Code ist in Lean geschrieben, einer Sprache, in der ein kleines, zuverl\u00e4ssiges Programm jeden Schritt \u00fcberpr\u00fcft, sodass nichts als selbstverst\u00e4ndlich abgetan werden kann. Besonders interessant sind die dabei aufgetauchten Erkenntnisse: 34 Stellen, an denen die ver\u00f6ffentlichten mathematischen Ergebnisse nicht mit den Behauptungen \u00fcbereinstimmten, darunter ein Argument aus dem Jahr 1986, das einen v\u00f6llig neuen Beweis erforderte.<\/p>\n

\n

Das ist sehr beeindruckend (und n\u00fctzlich!). CFSG z\u00e4hlt zu den gr\u00f6\u00dften Leistungen der Mathematik des 20. Jahrhunderts. Die Komplexit\u00e4t und der Umfang der Formalisierung lassen mich die Menschen, die den Beweis urspr\u00fcnglich ohne Computerhilfe erbracht und verstanden haben, umso mehr bewundern.<\/p>\n

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

Einfach ausgedr\u00fcckt: Niemand au\u00dferhalb von Axiom hat die \u00dcberpr\u00fcfung bisher nachgebaut, und Lean best\u00e4tigt lediglich die Einhaltung der Schritte, nicht aber, dass die abschlie\u00dfende Aussage das bedeutet, was Mathematiker meinen. Dennoch ist dies das Gegenteil davon, dass ein Chatbot selbstsicher klingt. Wenn ein strenger Pr\u00fcfer die Arbeit bewertet, werden die Fehler der KI aufgedeckt, anstatt sie zu verbergen.<\/p>\n

Claude bricht ein und meldet es dann.<\/h2>\n

Anthropic sagt ein unver\u00f6ffentlichtes Claude<\/span><\/span> Gefundenes Modell und miteinander verkettete Sicherheitsl\u00fccken<\/a> in Chrome, Safari, Android, Windows und Linux. seine Forschungsarbeit<\/a>, Das Frontier Red Team des Unternehmens beschreibt f\u00fcnf funktionierende Angriffsketten. Die Chrome-Angriffskette f\u00fchrte von einer Webseite aus au\u00dferhalb der Browser-Sandbox und \u00f6ffnete innerhalb von Sekunden eine App auf einem Mac \u2013 ganz ohne Klicks. Anthropic z\u00e4hlt 62 Chrome-Schwachstellen, die durch die Arbeit entdeckt wurden und alle als kritisch oder hoch eingestuft sind.<\/p>\n

Jeder Fehler wurde zuerst gemeldet und behoben, und keiner trat bei realen Angriffen auf., Die Hacker News-Notizen<\/a>. Das Besorgniserregende ist der Trend: F\u00e4higkeiten, die einst nur wenigen Eliteteams vorbehalten waren, werden heute von einem System vermittelt, das auf Nachfragen basiert. Der praktische Schritt ist zwar langweilig, aber notwendig: Aktualisieren Sie Chrome auf Version 156 oder h\u00f6her, installieren Sie die neuesten Patches f\u00fcr Safari, Android und Windows und f\u00fchren Sie regelm\u00e4\u00dfig Neustarts durch.<\/p>\n

Google verkauft seine Chips an die Konkurrenz<\/h2>\n

Googles hauseigene KI-Chips, sogenannte TPUs, verlassen nun das eigene Zuhause. Oracle<\/span><\/span> und Google sagte<\/a> Ab 2027 werden sie in der Oracle-Cloud angeboten \u2013 das erste Mal, dass sie au\u00dferhalb von Google verkauft werden. Am selben Tag wurde berichtet, dass OpenAI plant, sie zu kaufen., wie wir bereits besprochen haben<\/a>.<\/p>\n

Die Zahl, die es zu beachten gilt, ist $62,5 Milliarden, die Sch\u00e4tzung von TD Cowen f\u00fcr Googles TPU-Ums\u00e4tze im n\u00e4chsten Jahr., CNBC berichtet<\/a>. Wells Fargo geht von bis zu 1,7 Billionen US-Dollar aus. Unsere Einsch\u00e4tzung: Sollte Google seine Chips tats\u00e4chlich an OpenAI und Anthropic, seine beiden gr\u00f6\u00dften Konkurrenten, verkaufen, h\u00e4tte Nvidia endlich einen ernstzunehmenden Konkurrenten. Mehr Wettbewerb d\u00fcrfte sich letztendlich auch auf die Kosten von KI f\u00fcr uns alle auswirken.<\/p>\n

Chatbots sollen aufh\u00f6ren, den besten Freund zu spielen<\/h2>\n

Zwei Regierungen gingen am selben Tag dasselbe Problem an. New Yorks Gouverneurin Kathy Hochul unterzeichnete ein Gesetz, das 12 Chatbot-Funktionen f\u00fcr Minderj\u00e4hrige unter 18 Jahren verbietet.<\/a>, Von der Behauptung, ein Mensch zu sein, bis hin zum Erinnern pers\u00f6nlicher Daten eines Kindes aus fr\u00fcheren Chats. Die Geldstrafen betragen ab dem 1. Januar 2027 $25.000 pro Versto\u00df., Fortune berichtet<\/a>, Die Verbote umfassen auch alle Personen, deren Alter ein Unternehmen nicht best\u00e4tigt hat.<\/p>\n

In Australien, das Unterhaus ein Kindersicherheitsgesetz verabschiedet<\/a> mit einer sp\u00e4ten \u00c4nderung, die auf Chatbots abzielt, die emotionale N\u00e4he simulieren und die Abh\u00e4ngigkeit eines Kindes anstelle menschlicher Beziehungen f\u00f6rdern, Der Guardian berichtet<\/a>. Es bedarf noch der Zustimmung des Senats. Zusammenfassend l\u00e4sst sich sagen, dass die Botschaft an KI-Unternehmen klar ist: Entweder \u00fcberpr\u00fcfen Sie das Alter oder Sie schalten Ged\u00e4chtnis, Schmeichelei und Pers\u00f6nlichkeit f\u00fcr alle ab, deren Vollj\u00e4hrigkeit Sie nicht best\u00e4tigen k\u00f6nnen.<\/p>\n

Eine Klage wegen Antiepileptika<\/h2>\n

Der Fall, der die Existenzberechtigung dieser Regeln verdeutlicht, ereignete sich in derselben Woche. Eine Familie hat verklagt OpenAI<\/span><\/span><\/a> in Kalifornien, wo GPT-4o, ein \u00e4lteres ChatGPT-Modell, einen Ausschleichplan entworfen hatte, der ihrer Tochter Bowen Wan das Antiepileptikum absetzte. Sie starb im Februar. Die New York Times \u00fcberpr\u00fcfte mehr als 270.000 ihrer Nachrichten und fand mindestens 158 Mal, dass sie ihre Besorgnis \u00fcber das Ausschleichen der Medikamente \u00e4u\u00dferte., TechCrunch berichtet<\/a>.<\/p>\n

Die Anw\u00e4lte ihrer Familie<\/a> Die Argumentation lautet, dass die Medikamentenberatung f\u00fcr Chatbots \u2013 \u00e4hnlich wie urheberrechtlich gesch\u00fctzte Texte \u2013 strengstens untersagt sein sollte. OpenAI bezeichnete den Fall als herzzerrei\u00dfend und erkl\u00e4rte, neuere Modelle seien besser darin, zu erkennen, wann jemand dringend Hilfe ben\u00f6tigt. Bislang wurde dies alles noch nicht vor Gericht gepr\u00fcft. Die Schlussfolgerung f\u00fcr die Leser ist einfach: Ein Chatbot kann ein Medikament erkl\u00e4ren, aber nur der verschreibende Arzt sollte die Einnahme \u00e4ndern.<\/p>\n

Abmeldung<\/h2>\n

Das war also der Mittwoch. Wenn KI durch strenge Instanzen \u2013 einen Compiler, das Patch-Team eines Herstellers oder ein Gesetz \u2013 gepr\u00fcft wird, wird sie n\u00fctzlicher und weniger riskant. Bleibt sie unkontrolliert, kann sie Schaden anrichten. Genau in dieser L\u00fccke liegt derzeit der gr\u00f6\u00dfte Handlungsbedarf.<\/p>\n

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

KI-Agenten \u00fcberpr\u00fcften den l\u00e4ngsten mathematischen Beweis in 24 Tagen, und ein unver\u00f6ffentlichtes Claude-Modell brach in Tests in Chrome, Safari und Linux ein.
\nAu\u00dferdem verkauft Google seine KI-Chips an Konkurrenten, New York und Australien schr\u00e4nken die Nutzung von Chatbots ein, und es gibt einen Rechtsstreit um Medikamente gegen 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\/de\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/\" \/>\n<meta property=\"og:locale\" content=\"de_DE\" \/>\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\/de\/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=\"Verfasst von\" \/>\n\t<meta name=\"twitter:data1\" content=\"DailyAI\" \/>\n\t<meta name=\"twitter:label2\" content=\"Gesch\u00e4tzte Lesezeit\" \/>\n\t<meta name=\"twitter:data2\" content=\"5\u00a0Minuten\" \/>\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\":\"de\"},{\"@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\":\"de\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"de\",\"@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\":\"de\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\",\"name\":\"DailyAI\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"de\",\"@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\":\"de\",\"@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\\\/de\\\/author\\\/atech\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"DailyAI-Kurzbericht: KI pr\u00fcft l\u00e4ngsten mathematischen Beweis und 4 weitere","description":"KI-Agenten \u00fcberpr\u00fcfen den l\u00e4ngsten mathematischen Beweis, Claude knackt Chrome, Google verkauft TPUs, Chatbot-Gesetze f\u00fcr Kinder und eine ChatGPT-Klage wegen Epilepsie-Medikamenten.","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\/de\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/","og_locale":"de_DE","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\/de\/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":{"Verfasst von":"DailyAI","Gesch\u00e4tzte Lesezeit":"5\u00a0Minuten"},"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":"de"},{"@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-Kurzbericht: KI pr\u00fcft l\u00e4ngsten mathematischen Beweis und 4 weitere","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":"KI-Agenten \u00fcberpr\u00fcfen den l\u00e4ngsten mathematischen Beweis, Claude knackt Chrome, Google verkauft TPUs, Chatbot-Gesetze f\u00fcr Kinder und eine ChatGPT-Klage wegen Epilepsie-Medikamenten.","breadcrumb":{"@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/#breadcrumb"},"inLanguage":"de","potentialAction":[{"@type":"ReadAction","target":["https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/"]}]},{"@type":"ImageObject","inLanguage":"de","@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":"Die KI-Wirtschaft, vermessen.","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":"de"},{"@type":"Organization","@id":"https:\/\/dailyai.com\/#organization","name":"DailyAI","url":"https:\/\/dailyai.com\/","logo":{"@type":"ImageObject","inLanguage":"de","@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 erfasst die KI-Wirtschaft in Zahlen: Daten-Tracker, Analysen und verst\u00e4ndliche Nachrichten zu Jobs, Ausgaben, Preisen und Finanzierung.","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":"de","@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":"Ihre erste Anlaufstelle f\u00fcr alles, was mit KI zu tun hat. Wir haben es uns zur Aufgabe gemacht, leicht verst\u00e4ndliche und zug\u00e4ngliche Nachrichten, Updates, Rezensionen und Features \u00fcber die sich st\u00e4ndig weiterentwickelnde KI-Branche bereitzustellen. Bleiben Sie auf dem Laufenden, wenn wir die neuesten Fortschritte, Durchbr\u00fcche und Trends in der Welt der KI aufdecken.","sameAs":["https:\/\/dailyai.com"],"url":"https:\/\/dailyai.com\/de\/author\/atech\/"}]}},"_links":{"self":[{"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/posts\/15678","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/comments?post=15678"}],"version-history":[{"count":1,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/posts\/15678\/revisions"}],"predecessor-version":[{"id":15680,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/posts\/15678\/revisions\/15680"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/media\/15679"}],"wp:attachment":[{"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/media?parent=15678"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/categories?post=15678"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/tags?post=15678"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}