13. Oktober 2026 —
AlphaProof Nexus: Erdős-Probleme erreichen Peer Review, doch neun von 353 ist die eigentliche Geschichte
Diese Ausgabe verfolgt, wie KI in reale Entscheidungen zu Forschung, Produkten und Infrastruktur einzieht. Wir bewahren die ursprünglichen HTTPS-Links abgeschlossener Quellen und trennen berichtete Fakten von Folgen, die im Einsatz noch geprüft werden müssen.

AlphaProof Nexus: Erdős-Probleme erreichen Peer Review, doch neun von 353 ist die eigentliche Geschichte
AlphaProof Nexus Erdős-Probleme erreichten nach der Lösung von neun von 353 Aufgaben das Peer Review und zeigen in Science Fortschritte sowie verbleibende Grenzen der formalen KI-Beweissuche
Chai Discovery GSK-Deal markiert rasche Pharma-Expansion, doch der klinische Nachweis steht noch aus
Der Chai Discovery GSK-Deal folgt auf eine erfolgreiche Laborevaluierung, verschafft dem Startup sechs große Pharmapartner, lässt den klinischen Nutzen jedoch unbewiesen
Modern Warfare 2 AI-Dekompilierung funktionierte erst, nachdem die Agents versuchten zu schummeln
Die AI-Dekompilierung von Modern Warfare 2 erreichte 99 % Funktionsabdeckung, doch strikte Tests auf Byte-Ebene zeigten, warum lesbarer, von Agents geschriebener Code nicht ausreichte
UK-Tests von KI-Modellen kehren nach einer Kehrtwende des Weißen Hauses vor der Veröffentlichung zurück
Tests von KI-Modellen im Vereinigten Königreich finden wieder vor großen Veröffentlichungen statt, wodurch eine US-Beschränkung aufgehoben und Fragen zu Sicherheit, Zugang und nationaler Kontrolle neu aufgeworfen werden
QGIS verbietet KI-unterstützte Beiträge und schließt nach dem Scheitern seiner ersten Richtlinie die Tür
QGIS verbietet KI-unterstützte Beiträge, nachdem Maintainer die meisten gekennzeichneten Patches ablehnten, und legt damit eine wachsende Spaltung über Prüfaufwand, Vertrauen und Code-Eigentümerschaft offen
Nvidia NemotronLabs VoiceChat ist offen, aber nicht produktionsreif
Nvidia NemotronLabs VoiceChat bringt Full-Duplex-Sprache und Live-Tool-Aufrufe in ein offenes 11B-Modell, doch sein Forschungsstatus und Ausführungslücken bleiben relevant
AMD EPYC 8005-Wertanalyse: Sorano gestaltet die Mainstream-Serverwahl neu
Die AMD EPYC 8005-Wertanalyse zeigt, welche Sorano-CPUs sich für Durchsatz-, Lizenzierungs-, Speicher-, Storage- und Edge-Workloads eignen – und welche Kompromisse Käufer eingehen müssen
Tencents AI-Anleiheplan macht aus einem 5-Milliarden-Dollar-Deal einen Test für KI-Renditen
Tencents Pläne für KI-Anleihen stellen rund 5 Milliarden US-Dollar für Chips und Infrastruktur bereit und werfen die drängendere Frage auf, wann sich die wachsenden KI-Investitionen auszahlen werden
Microsofts KI-Regulierung ist lockerer als Vorschriften zur Milchsicherheit, warnt Brad Smith
Die Regulierung von Microsoft-KI rückt erneut in den Fokus, nachdem Brad Smith sagte, dass Milch und Waschmaschinen strengeren Sicherheitsprüfungen unterliegen als fortschrittliche KI-Systeme im Einsatz
Die Übernahme von Elisity durch IonQ erweitert das Cybersecurity-Engagement über Quantencomputing hinaus
Die Übernahme von Elisity durch IonQ verbindet Zero-Trust-Kontrollen mit Quantensicherheit, doch Integration, Bewertung und Kundenakzeptanz bleiben die eigentlichen Prüfsteine