OpenAI verhandelt über 30 Milliarden Dollar bei einer Bewertung von 1,25 Billionen und schiebt den Börsengang damit auf. Gleichzeitig beweist Claude 239 Einstiegspunkte in 123 Open-Source-Bibliotheken formal als absturzfrei, während Anthropics Sicherheitschef vor 18 weiteren Monaten Lückenwelle warnt.
Claude beweist Code formal, die Lückenwelle rollt trotzdem weiter
Anthropic hat zusammen mit Theorem in wenigen Wochen 239 OSS-Fuzz-Einstiegspunkte in 123 Open-Source-Bibliotheken formal als absturzfrei bewiesen, für jede Eingabe unter 64 MB und direkt auf Ebene des kompilierten RISC-V-Codes.
Rund 180 Mio. Zeilen Rocq-Beweise entstanden
Hunderte Bugs gefunden, manche jahrelang trotz Fuzzing unentdeckt, von Claude direkt gepatcht
Zum Vergleich: seL4 brauchte rund 20 Personenjahre Verifikation
PDF-Reader: eine Woche Beweisarbeit fand so viele Lücken wie sonst ein Jahr
Opus 5.5 löst die Hälfte der Testaufgaben mit rund 40 Prozent weniger Tokens als Opus 5
Quelle: Anthropic
„So schlimm es in den letzten vier Tagen geworden ist, es wird noch viel schlimmer, bevor es besser wird. Wir müssen etwa 18 Monate durchhalten.“
Das schreibt Jason Clinton, Sicherheitsverantwortlicher bei Anthropic, nach einer Woche, in der kritische Lücken im Tagestakt aufschlugen: PHP2Shell, GitLab, musl libc, LiteLLM, PingCAP und dazu der Einbruch bei Railway. Sein Rat an Security-Chefs: die Krise nutzen und jetzt beim Vorstand Mittel für die Grundlagen einfordern. KI-Projekte meint er dabei ausdrücklich nicht.
Quelle: Drew
Wie real die Bedrohung ist, zeigt ARTEX. Das Open-Source-Tool der chinesischen Sicherheitsfirma ThreatBook wird mit KI-gestützten Angriffen auf koreanische Banken und japanische Unternehmen in Verbindung gebracht, zuletzt auch mit einer Warnung von Microsoft. ARTEX ist ein Harness, der jedes KI-Modell, amerikanisch oder chinesisch, autonom Schwachstellen finden und ausnutzen lässt.
Das Original-Repo auf GitHub ist gelöscht, Forks kursieren weiter. Chinas am 16. Oktober überarbeiteter Exportkontroll-Katalog mit 23 KI-Technologien nennt ausdrücklich die „KI-gestützte Schwachstellensuche“. Für europäische Unternehmen ändert das wenig, die Software ist längst im Umlauf.
OpenAI verhandelt 30 Milliarden Dollar bei 1,25 Billionen Bewertung
Laut CNBC führt Coatue die neue Runde an, Investoren aus den Emiraten sind dabei. Die Bewertung vor dem frischen Geld liegt bei 1,25 Billionen Dollar, mehr als jedes private Unternehmen zuvor erreicht hat. Im März waren es noch 852 Mrd. Dollar, der Abschluss könnte schon Ende nächster Woche stehen.
Den Börsengang schiebt OpenAI damit auf, obwohl die IPO-Unterlagen seit Juni vertraulich eingereicht sind. Anthropic peilt für sein Debüt laut CNBC 1,5 bis 2 Billionen an. Ob die Emirate auch Standort der nächsten Rechenzentren werden, entscheidet der mitverhandelte Compute-Deal.
Quelle: TechCrunch
Colossal-Chef Ben Lamm und Anduril-Gründer Palmer Luckey starten Warhound, ein Startup für gen-editierte Militärhunde. Es kommt mit 200 Millionen Dollar Kapital und einer Bewertung von 1,2 Milliarden aus dem Stealth-Modus, mit dabei sind In-Q-Tel, Sequoia und 8VC. Colossal liefert Klon- und Genetik-Technologie, Anduril die Ausrüstung. Über 80 Prozent der Arbeitshunde-Teams des US-Militärs stammen aus Europa, weniger als die Hälfte der trainierten Hunde besteht die Ausbildung. Die ersten Welpen sind für Anfang 2027 geplant, die ersten Edits zielen auf Gesundheit.
Claude landet direkt auf Google Cloud und schaltet Auto Mode ein
Claude Models on Google Cloud ist allgemein verfügbar. Anders als bei der bisherigen Vertex-Anbindung betreibt Anthropic die Modelle selbst und liefert den vollen Funktionsumfang der Claude Platform, abgerechnet wird komplett über Google Cloud, der Zugriff läuft über Google-Cloud-IAM. Der Hebel für Unternehmen: Ausgaben für Claude zählen auf bereits zugesagte Google-Cloud-Commitments an. Wer dort Budget gebunden hat, braucht für Claude keinen neuen Vertrag, keine neue Beschaffung und keine zweite Sicherheitsprüfung.
Ab nächster Woche laufen Sessions in Claude Web, Desktop und den Mobile-Apps für Pro-, Max- und Team-Nutzer standardmäßig im Auto Mode. Eine automatische Prüfung erkennt riskante Aktionen und blockiert genau diese, wer lieber selbst bestätigt, schaltet auf manuell zurück. In Claude Code ist der Modus seit dem 14. August Standard. Anthropics Testwerte: Der Klassifikator fing 89 Prozent der gefährlichen Befehle ab, die manuelle Freigabe nur 14 Prozent.
Google hat Gemini in die Navigation von Google Maps auf Apple CarPlay eingebaut. Während der Fahrt reicht ein kurzes Gespräch, um den besten Parkplatz zu finden, einen Unfall zu melden oder die Route zu ändern. Gestartet wird über das Gemini-Symbol auf dem CarPlay-Bildschirm, die Funktion ist ab sofort verfügbar.
Der Düsseldorfer Aufzugbauer TK Elevator hält weltweit über eine Million Aufzüge und Rolltreppen am Laufen. Mit Daten und KI-Agenten von Microsoft greifen die Servicetechniker jetzt auf das Wissen aus Jahrzehnten zu, statt in Handbüchern nach der Lösung zu suchen. Satya Nadella hat sich das Projekt bei seinem Besuch in Köln vorstellen lassen.
US-Banken finden fremde KI-Agenten, Peking bremst KI in Jobbranchen
„Man will keine abtrünnigen Agenten, und es könnten Tausende davon sein.“
Das sagte JPMorgan-Chef Jamie Dimon Mitte Oktober, als seine Bank externe KI-Agenten aus Privatkundenkonten aussperrte. Citi und Bank of America zogen am 16. Oktober nach. Jetzt berichtet Axios unter Berufung auf Insider, dass große US-Banken nicht autorisierte Agenten von Drittanbietern in Kundenkonten entdecken, einige mit Aktionen, die offenbar nicht vom Nutzer angewiesen waren. Der Einfallsweg: Kunden geben ihre Zugangsdaten an Software weiter. Wer haftet, wenn ein Agent eine Überweisung freigibt, ist bei keiner Bank geklärt.
Das Büro des chinesischen Staatsrats hat am 23. Oktober eine Leitlinie veröffentlicht, die KI-Ausbau und Beschäftigung zusammenbindet. Umfang, Intensität und Tempo von KI in arbeitsintensiven Branchen sollen umsichtig gesteuert, Folgen für Beschäftigte möglichst klein gehalten werden. Unternehmen sollen Übergangsfristen prüfen und Betroffene früh informieren. Dazu kommen Staatsfonds für KI-Startups und Forschungszentren, die die Folgen für den Arbeitsmarkt messen. Europas größter Industriekonkurrent macht KI-Jobverluste damit zur Frage der Staatsplanung.
Quelle: Finance
Texas genehmigt Rechenzentren trotz Baustopp, bis das Portal 404 meldet
Im September rief Gouverneur Greg Abbott eine Pause für neue Rechenzentren aus. Das Portal STEERS der Umweltbehörde TCEQ, über das Genehmigungen zum Roden und Planieren automatisiert laufen, bekam davon offenbar nichts mit. Laut FracTracker und Public Citizen gingen danach über zwei Dutzend Freigaben an Rechenzentrumsprojekte raus, darunter Vorhaben von OpenAI und Amazon. Nach dem Bericht von 404 Media lieferte die Seite am Dienstag einen 404-Fehler, am Mittwoch prüften Mitarbeiter jeden Antrag von Hand. 17 Genehmigungen sprangen im Register von „aktiv“ auf „ausgesetzt“.
Quelle: 404media
Tool-Empfehlung: RelationFlow
Alle KI-Modelle, das eigene Wissen, ein Ort: RelationFlow ist ein KI-Workspace für Teams im Mittelstand. Er bündelt alle großen Modelle und selbst gehostete Endpunkte, bindet das Wissen jeder Abteilung als gemeinsame Quelle ein und macht Chats, Agenten und Prompts im Team teilbar. Für Unternehmen, die KI abteilungsübergreifend einführen wollen, gibt es mehr Infos: relationflow.io.