DailyAI-Kurzbericht: KI prüft längsten mathematischen Beweis und 4 weitere

Willkommen zum DailyAI Briefing, den fünf wichtigsten KI-News des Tages. KI-Systeme haben den längsten mathematischen Beweis in einen computerlesbaren Code umgewandelt und dabei Fehler aufgedeckt, die Menschen jahrzehntelang übersehen hatten. Ein unveröffentlichtes Claude-Modell drang in Chrome, Safari und Linux im Labor von Anthropic ein, Google verkauft seine KI-Chips an Konkurrenten, zwei Regierungen haben Maßnahmen 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.

Lasst uns loslegen.

Der Beweis, der 24 Tage dauerte

Beginnen wir mit 15.000. Das ist ungefähr die Seitenzahl der Klassifikation endlicher einfacher Gruppen, ein Beweis, an dem rund 100 Mathematiker über Jahrzehnte gearbeitet haben. Ein Start-up-Unternehmen namens Axiom sagt: Schwärme von KI-Agenten wandelten es in 24 Tagen in 43,1 Millionen Zeilen überprüfbaren Code um.. Es ist Forschungsblog und Projektstandort Die Zahlen wurden festgelegt, und der Code befindet sich in ein öffentliches Repository.

Der größte mathematische Beweis der Menschheitsgeschichte ist nun computergestützt verifiziert. Axiom gibt heute die vollständige, schlanke Auto-Formalisierung der Klassifikation endlicher einfacher Gruppen, des “Periodensystems der Symmetrie”, bekannt. Rund 15.000 Seiten, erstellt von über 100 Mathematikern verschiedener Generationen.

— Axiom (@axiommathai) 27. Oktober 2026

Der Satz ist eine vollständige Liste der grundlegenden Bausteine der Symmetrie, eine Art Periodensystem der Mathematik. Der Code ist in Lean geschrieben, einer Sprache, in der ein kleines, zuverlässiges Programm jeden Schritt überprüft, sodass nichts als selbstverständlich abgetan werden kann. Besonders interessant sind die dabei aufgetauchten Erkenntnisse: 34 Stellen, an denen die veröffentlichten mathematischen Ergebnisse nicht mit den Behauptungen übereinstimmten, darunter ein Argument aus dem Jahr 1986, das einen völlig neuen Beweis erforderte.

Das ist sehr beeindruckend (und nützlich!). CFSG zählt zu den größten Leistungen der Mathematik des 20. Jahrhunderts. Die Komplexität und der Umfang der Formalisierung lassen mich die Menschen, die den Beweis ursprünglich ohne Computerhilfe erbracht und verstanden haben, umso mehr bewundern.

— Thomas Bloom (@thomasfbloom) 28. Oktober 2026

Einfach ausgedrückt: Niemand außerhalb von Axiom hat die Überprüfung bisher nachgebaut, und Lean bestätigt lediglich die Einhaltung der Schritte, nicht aber, dass die abschließende Aussage das bedeutet, was Mathematiker meinen. Dennoch ist dies das Gegenteil davon, dass ein Chatbot selbstsicher klingt. Wenn ein strenger Prüfer die Arbeit bewertet, werden die Fehler der KI aufgedeckt, anstatt sie zu verbergen.

Claude bricht ein und meldet es dann.

Anthropic sagt ein unveröffentlichtes Claude Gefundenes Modell und miteinander verkettete Sicherheitslücken in Chrome, Safari, Android, Windows und Linux. seine Forschungsarbeit, Das Frontier Red Team des Unternehmens beschreibt fünf funktionierende Angriffsketten. Die Chrome-Angriffskette führte von einer Webseite aus außerhalb der Browser-Sandbox und öffnete innerhalb von Sekunden eine App auf einem Mac – ganz ohne Klicks. Anthropic zählt 62 Chrome-Schwachstellen, die durch die Arbeit entdeckt wurden und alle als kritisch oder hoch eingestuft sind.

Jeder Fehler wurde zuerst gemeldet und behoben, und keiner trat bei realen Angriffen auf., Die Hacker News-Notizen. Das Besorgniserregende ist der Trend: Fähigkeiten, 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öher, installieren Sie die neuesten Patches für Safari, Android und Windows und führen Sie regelmäßig Neustarts durch.

Wollen Sie, dass KI Ihnen wöchentlich Stunden spart? Unser kostenloses Handbuch zeigt Ihnen, wie.Holen Sie sich den kostenlosen Leitfaden →

Google verkauft seine Chips an die Konkurrenz

Googles hauseigene KI-Chips, sogenannte TPUs, verlassen nun das eigene Zuhause. Oracle und Google sagte Ab 2027 werden sie in der Oracle-Cloud angeboten – das erste Mal, dass sie außerhalb von Google verkauft werden. Am selben Tag wurde berichtet, dass OpenAI plant, sie zu kaufen., wie wir bereits besprochen haben.

Die Zahl, die es zu beachten gilt, ist $62,5 Milliarden, die Schätzung von TD Cowen für Googles TPU-Umsätze im nächsten Jahr., CNBC berichtet. Wells Fargo geht von bis zu 1,7 Billionen US-Dollar aus. Unsere Einschätzung: Sollte Google seine Chips tatsächlich an OpenAI und Anthropic, seine beiden größten Konkurrenten, verkaufen, hätte Nvidia endlich einen ernstzunehmenden Konkurrenten. Mehr Wettbewerb dürfte sich letztendlich auch auf die Kosten von KI für uns alle auswirken.

Chatbots sollen aufhören, den besten Freund zu spielen

Zwei Regierungen gingen am selben Tag dasselbe Problem an. New Yorks Gouverneurin Kathy Hochul unterzeichnete ein Gesetz, das 12 Chatbot-Funktionen für Minderjährige unter 18 Jahren verbietet., Von der Behauptung, ein Mensch zu sein, bis hin zum Erinnern persönlicher Daten eines Kindes aus früheren Chats. Die Geldstrafen betragen ab dem 1. Januar 2027 $25.000 pro Verstoß., Fortune berichtet, Die Verbote umfassen auch alle Personen, deren Alter ein Unternehmen nicht bestätigt hat.

In Australien, das Unterhaus ein Kindersicherheitsgesetz verabschiedet mit einer späten Änderung, die auf Chatbots abzielt, die emotionale Nähe simulieren und die Abhängigkeit eines Kindes anstelle menschlicher Beziehungen fördern, Der Guardian berichtet. Es bedarf noch der Zustimmung des Senats. Zusammenfassend lässt sich sagen, dass die Botschaft an KI-Unternehmen klar ist: Entweder überprüfen Sie das Alter oder Sie schalten Gedächtnis, Schmeichelei und Persönlichkeit für alle ab, deren Volljährigkeit Sie nicht bestätigen können.

Eine Klage wegen Antiepileptika

Der Fall, der die Existenzberechtigung dieser Regeln verdeutlicht, ereignete sich in derselben Woche. Eine Familie hat verklagt OpenAI in Kalifornien, wo GPT-4o, ein älteres ChatGPT-Modell, einen Ausschleichplan entworfen hatte, der ihrer Tochter Bowen Wan das Antiepileptikum absetzte. Sie starb im Februar. Die New York Times überprüfte mehr als 270.000 ihrer Nachrichten und fand mindestens 158 Mal, dass sie ihre Besorgnis über das Ausschleichen der Medikamente äußerte., TechCrunch berichtet.

Die Anwälte ihrer Familie Die Argumentation lautet, dass die Medikamentenberatung für Chatbots – ähnlich wie urheberrechtlich geschützte Texte – strengstens untersagt sein sollte. OpenAI bezeichnete den Fall als herzzerreißend und erklärte, neuere Modelle seien besser darin, zu erkennen, wann jemand dringend Hilfe benötigt. Bislang wurde dies alles noch nicht vor Gericht geprüft. Die Schlussfolgerung für die Leser ist einfach: Ein Chatbot kann ein Medikament erklären, aber nur der verschreibende Arzt sollte die Einnahme ändern.

Abmeldung

Das war also der Mittwoch. Wenn KI durch strenge Instanzen – einen Compiler, das Patch-Team eines Herstellers oder ein Gesetz – geprüft wird, wird sie nützlicher und weniger riskant. Bleibt sie unkontrolliert, kann sie Schaden anrichten. Genau in dieser Lücke liegt derzeit der größte Handlungsbedarf.

Bis morgen.