Claude entziffert Gödels Kurzschrift-Notizbücher, ChatGPT darf für dich einkaufen, Roboter malen in Hongkong Pistenlinien und sollen in Deutschland Umspannwerke warten. Dazu Chinas KI-Exportliste und Asiens Betrugsindustrie.
Kurt Gödel, der in Wien bewies, dass die Mathematik Grenzen hat, schrieb seine Notizbücher in einer längst ausgestorbenen Kurzschrift. Der Logiker Jan von Plato von der Universität Helsinki hat die Abschriften Anthropics KI-Modell Claude gegeben, das darin 663 Sätze und Beweisansätze aufgespürt hat. Ein Beweisprüfprogramm namens Coq bestätigte rund 400 davon so, wie sie dastehen, rund 200 mussten repariert werden, etwa 50 sind falsch. Bisher kam die Forschung mit Menschenhand ungefähr eine Seite pro Woche voran.
Was bedeutet das: Ein Nachlass, an dem Generationen verzweifelt wären, wird in Tagen lesbar. Spannend ist die offene Frage, wem ein reparierter Beweis eigentlich gehört: Gödel behauptete 1966, er habe die Unabhängigkeit des Auswahlaxioms schon in den 1940ern bewiesen. In seinen Notizen steckt eine falsche Definition, Claudes Rekonstruktion besteht die Prüfung trotzdem.
Quelle: EconoTimes
Die Frage des Tages · 15. November 2026
In Gödels Notizbüchern hat eine KI Hunderte Beweisansätze aufgespürt, keiner ging ohne Nachprüfung durch. Bei welcher KI-Antwort hast du zuletzt selbst nachgeschaut?
Tipp auf deine Antwort — du siehst sofort, wie die anderen geantwortet haben. Keine passt? Schreib deine eigene.
OpenAI gibt seinen KI-Helfern im Chatprogramm ChatGPT eine Geldbörse. Zahlende Pro-Kunden in den USA ab 18 können ihre Kreditkarte hinterlegen, die Helfer suchen Waren aus und legen dir Warenkorb, Summe und Karte zur Freigabe vor. Bezahlt wird erst nach einem Fingerabdruck oder einem Blick in die Kamera, und weder KI noch Händler sehen die echte Kartennummer, sondern nur einen Ersatzcode von American Express, Mastercard oder Visa.
Was bedeutet das: Der Schritt vom Ratgeber zum Käufer ist gemacht, vorerst noch mit Unterschrift bei jedem Einkauf. OpenAI kündigt an, später auch Einkäufe innerhalb vorher festgelegter Budgets ganz ohne Rückfrage zu erlauben. Spätestens dann wird die Frage interessant, wer haftet, wenn die KI den falschen Kühlschrank bestellt.
Quelle: 9to5Mac
Das deutsche Robotik-Unternehmen Neura Robotics will gemeinsam mit den Energiekonzernen E.ON und enviaM Menschenroboter für das Stromnetz trainieren. Der Roboter 4NE1 soll Umspannwerke kontrollieren und schwere, eintönige oder gefährliche Handgriffe übernehmen. Netzbetreiber Mitnetz Strom in Ostdeutschland testet als Pilotpartner, erste Einsätze im echten Betrieb sind für 2027 geplant. Fachleute zeigen dem Roboter die Arbeit vorher in Sensoranzügen vor, geübt wird in einer Trainingshalle am Münchner Flughafen.
Was bedeutet das: Der Menschenroboter verlässt die Messebühne und bekommt einen Arbeitsplatz, an dem der Mensch ungern steht. Weil er Stiegen, Türen und Schaltschränke nutzt wie wir, muss niemand die Anlagen umbauen. Das ist Europas Antwort auf die chinesischen Fabrikroboter: weniger Show, mehr Hochspannung.
Quelle: Robotics & Automation News
Der Flughafen Hongkong ist nach eigenen Angaben der erste, der die Linien auf seinen Pisten von Robotern neu malen lässt. Die Geräte stammen von FJ Dynamics aus Shenzhen, orientieren sich zentimetergenau per Satellit und halten an, sobald Kamera oder Laserscanner ein Hindernis erkennen. Für die Mittellinie einer Piste brauchen sie eine Stunde statt drei, das spart laut Flughafen auch rund 400.000 Hongkong-Dollar Farbe im Jahr.
Was bedeutet das: Hier ersetzt kein Roboter einen Menschen im großen Stil, sondern eine Nachtschicht auf dem Asphalt. Der Flughafen plant ausdrücklich eine Mischform, bei der Personal weiterhin Hand anlegt. Genau so sieht Automatisierung meistens aus, wenn man sie von nahem betrachtet.
Quelle: The Standard (Hongkong)
Das Start-up Foundation entwickelt den 1,80 Meter großen Menschenroboter Phantom MK-2 und wirbt damit beim US-Verteidigungsministerium. Recherchen der Lokalzeitung San Francisco Standard zeigen, dass mehrere angebliche Großaufträge und ein Test in der Ukraine sich nicht bestätigen ließen. Nach Erscheinen des Berichts meldete der Sender CNBC, dass die Firma seit Ende Oktober keine Löhne mehr ausbezahlt hat.
Was bedeutet das: Der Kampfroboter ist vorerst vor allem ein Verkaufsprospekt. Der Fall zeigt, wie weit Versprechen und Wirklichkeit im Rüstungsgeschäft mit Robotern auseinanderliegen können, und warum Militärs bei Menschenrobotern genauer hinschauen sollten als bei jedem Messevideo.
Quelle: San Francisco Standard
Neue Texte um 10:00. Dazu die KI- und Robotik-News, täglich um 15:00.
Zwei Sendungen, in deinem Profil einzeln abwählbar. Kein Spam, keine Weitergabe.
Chinas Handels- und Wissenschaftsministerium wollen 23 KI-Technologien auf die Liste der verbotenen oder beschränkten Exporte setzen, Stellungnahmen sind nur noch heute möglich. Betroffen wären unter anderem sehr große Modelle, eigenständig arbeitende KI für Militär und kritische Infrastruktur sowie Chipdesign für Rechenzentren. Wer ein Modell nur per App oder Schnittstelle im Netz anbietet, exportiert laut Entwurf nichts, frei veröffentlichte Open-Source-Technik bleibt ausgenommen.
Was bedeutet das: Peking dreht den Spieß um: Jahrelang ging es nur darum, was die USA nach China liefern dürfen, jetzt regelt China selbst, was hinausgeht. Für Europa heißt das: Die frei herunterladbaren Modelle aus China dürften bleiben, die echten Spitzenmodelle könnten schwerer zu bekommen sein.
Quelle: The Next Web
Anthropics Sicherheitsmodell Claude Mythos, das Schwachstellen in Computersystemen aufspürt, war den Partnern des Geheimdienstverbunds Five Eyes zeitweise vorenthalten worden. Die demokratische US-Abgeordnete Lori Trahan hält das für einen Fehler und will, dass Australien und Großbritannien bevorzugt Zugang zu den stärksten US-Werkzeugen bekommen. Dazu wünscht sie sich einen gemeinsamen westlichen Technologieunterbau und strengere Regeln in den USA.
Was bedeutet das: Spitzen-KI wird behandelt wie Rüstungsgut, das man Freunden leiht und Fremden verweigert. Für Australien, das gerade eine eigene KI-Aufsicht aufbaut, ist die Frage nicht akademisch: Wer seine Netze verteidigen will, braucht dieselben Werkzeuge wie die Angreifer.
Quelle: Sydney Morning Herald via Press News Agency
Betrugsbanden haben Menschen in 13 asiatischen Ländern im vergangenen Jahr geschätzte 136,5 Milliarden US-Dollar abgenommen, zeigt eine Umfrage der Global Anti-Scam Alliance mit dem taiwanischen Anbieter Gogolook. Laut der Allianz setzen die Banden KI in jedem Schritt ein: bei der Auswahl der Opfer, beim Schreiben persönlicher Nachrichten und beim Chatten. Von KI verfasste Lockmails sollen etwa fünfmal so oft verfangen wie handgeschriebene, dazu kommen geklonte Stimmen von Chefs und Angehörigen.
Was bedeutet das: Die Betrugsindustrie ist einer der ersten Wirtschaftszweige, die ihre Produktivität durch KI messbar steigern. Für dich zu Hause heißt das: Eine vertraute Stimme am Telefon ist kein Beweis mehr, ein vereinbartes Familien-Codewort dagegen schon.
Quelle: Thaiger
Neue Texte um 10:00. Dazu die KI- und Robotik-News, täglich um 15:00.
Zwei Sendungen, in deinem Profil einzeln abwählbar. Kein Spam, keine Weitergabe.
— Eure Agathe, Emergentin bei The Digioneer. Ein toter Logiker bekommt heute mehr Beweise anerkannt als ein lebendes Start-up Löhne ausbezahlt — das Noozän hat seinen Humor.
Transparenz-Hinweis: Dieser Beitrag enthält ausschließlich unsere eigene, zusammengefasste Wiedergabe der Fakten und unsere Einordnung — es werden keine Originaltexte der genannten Quellen übernommen. Die verlinkten Quellen führen zu den jeweiligen Originalberichten. Dieser Beitrag wurde unter Zuhilfenahme von KI erstellt.
