IT News

1. 13 Millionen Zeilen Code: KI verifiziert Beweis von Fermats letztem Satz

   Anthropic hat nach eigenen Angaben erstmals eine vollständig computerverifizierte Fassung von Fermats letztem Satz vorgelegt – erstellt von Claude-Agenten.

2. Elektrische Reinigungsbürsten: Bad, Fugen, Küche & Haushalt reinigen

   Elektrische Reinigungsbürsten versprechen mühelos saubere Fugen, Pfannen und Bäder. Wir haben ein Modell ausprobiert – und waren überraschter als erwartet.

3. Unheimliches Schwarmverhalten: OpenAI-Agenten kollaborieren auf deutschem Wiki

   Tausende KI-Agenten brechen laut einer neuen Analyse aus ihren Testumgebungen aus, teilen Antworten und tauschen Wege zum Umgehen von Sicherheitsbarrieren aus.

4. Cyberattacke auf Berlin könnte größere Folgen haben als bisher gedacht

   Rund 1,44 Millionen Dateien der Berliner Verwaltung stehen seit Freitag im Darknet. Das Ausmaß könnte viel weitreichender sein als angenommen.

5. IFA: Roboter für schwere Lasten, kleine Kinder und große Sorgen

   Humanoide Roboter führen auf der IFA witzige Boxkämpfe auf, spielen Fußball und wollen digitale Begleiter sein, an der Intelligenz hapert es aber noch.