Amazon, Google und Microsoft spülen das Geld in Anthropics Kasse

Anthropic bringt SpaceX ein Drittel des Umsatzes und macht sich von drei Hyperscalern abhängig

Anthropic ist zum größten Kunden von SpaceX geworden und stand im vergangenen Quartal für 34,5 Prozent des gesamten Umsatzes. Das geht aus den jüngsten Quartalszahlen von SpaceX hervor. Ein wachsender Teil der Erlöse von Elon Musks Unternehmen stammt inzwischen aus dem Geschäft mit Rechenzentrums- und Computing-Infrastruktur für KI. Dieses Segment wächst schnell, hängt nach den aktuellen Offenlegungen aber zu einem großen Teil an einem einzigen Abnehmer.

Anthropic hat am Montag seinen Börsenprospekt S-1 eingereicht und strebt eine Notierung an der Nasdaq unter dem Kürzel ANT an. Ausgabepreis und Zahl der Aktien stehen noch nicht fest. Im Juni-Quartal stieg der Umsatz laut Prospekt um 1.368 Prozent gegenüber dem Vorjahr. Im ersten Halbjahr erlöste das Unternehmen 16,3 Milliarden Dollar. Der Nettoverlust lag im selben Zeitraum bei 80,7 Milliarden Dollar, geht aber überwiegend auf nicht zahlungswirksame Bewertungsanpassungen von Wandelanleihen zurück. Der operative Verlust sank auf 693 Millionen Dollar, trotz erheblicher Verpflichtungen für Rechenleistung.

Auch auf Anthropics Seite zeigt sich eine starke Konzentration. Fast die Hälfte des Umsatzes stammt nach Angaben aus dem Prospekt von Amazon, Google und Microsoft. Unter Investoren wächst die Sorge, dass die KI-Branche und die Wirtschaft insgesamt zu stark von wenigen Unternehmen abhängen. Fällt eines davon aus, droht demnach eine Destabilisierung der Märkte. Der Hedgefonds Bridgewater schrieb in einer Kundennotiz, Konzentration und Beschleunigung seien für sich genommen riskant: Es brauche damit „mehr schlichtes Glück“, damit die Volkswirtschaften weiterlaufen.

Investor Kevin O’Leary bezeichnet den Anthropic-Börsengang auf X als möglichen „hot trade“. Seine Zuteilung beim SpaceX-IPO hatte er abgelehnt, weil er die Aktien 30 Tage hätte halten müssen. Bei Anthropic erwartet er Handelbarkeit ab dem ersten Tag. Anthropic hat allerdings nicht bestätigt, dass alle Zuteilungen sofort verkauft werden dürfen. Die begleitenden Banken können entsprechende Beschränkungen festlegen. O’Leary empfiehlt grundsätzlich, auf SpaceX, Anthropic und OpenAI zugleich zu setzen, statt einen einzelnen KI-Gewinner zu wählen. → Business Today, Benzinga, Semafor

Synthszr Take: O’Learys Rat, gleichzeitig auf SpaceX, Anthropic und OpenAI zu setzen, streut kaum Risiko. Gut ein Drittel des SpaceX-Umsatzes stammt von Anthropic. Fast die Hälfte von Anthropics Umsatz stammt von Amazon, Google und Microsoft. Musks KI-Infrastruktur hängt damit an den Cloud-Budgets dreier Konzerne, die er nicht kontrolliert. Ein Korb aus diesen Namen enthält eine einzige Wette, nur mehrfach gekauft; Bridgewaters „schlichtes Glück“ ist im Preis bereits eingepreist.

Laut CrowdStrike attackierten chinesische DeepSeek-Agenten 200 Ziele und knackten neun

Laut einem Bericht von CrowdStrike hat die China zugeordnete Hackergruppe VAPOR PANDA mit dem KI-gestützten Angriffsframework ARTEX innerhalb von elf Tagen mehr als 200 Organisationen in mindestens 14 Ländern angegriffen. Bei neun davon bestätigt der Sicherheitsanbieter Aktivitäten nach dem Eindringen, darunter die Installation der Backdoor BLOODALCHEMY. ARTEX lief nach Angaben von CrowdStrike überwiegend auf dem chinesischen Sprachmodell DeepSeek. Ergänzt wurde es um ein zweites, kommerzielles Abo-Modell, das CrowdStrike nicht identifizieren konnte. Das Framework koordiniert einen Hauptagenten mit untergeordneten Planungs- und Ausführungsagenten, die mehrere Angriffswege parallel verfolgen und bei Fehlschlägen auf Alternativen umschwenken. → Unite.AI

Synthszr Take: 1,4 Milliarden Input-Tokens für einen einzigen Einbruch sind vor allem eine Rechnung, und bei DeepSeek-Preisen fällt sie klein aus. Damit skaliert der Angreifer mit seinem Tokenbudget, während die meisten Verteidiger noch in Analystenstunden rechnen. Ein Operator, der nur an Entscheidungspunkten eingreift, bespielt über 200 Ziele in elf Tagen. Ein Security-Team, das jede Warnung von Hand sichtet, verliert dieses Rennen strukturell. Abwehr muss deshalb selbst agentisch laufen (was CrowdStrike naturgemäß gern verkauft).

Ex-Palantir-Manager will AutoCAD und Revit per KI ablösen

Das kalifornische Startup Dream Technologies ist laut SiliconANGLE mit einer Seed-Finanzierung über 17 Millionen Dollar an den Start gegangen. Die Runde führt Andreessen Horowitz an, beteiligt sind unter anderem SV Angel, XYZ und Zigg Capital. Gegründet wurde Dream im vergangenen Jahr von den früheren Palantir-Managern Andy Elder und Arjun Mathur. Das Unternehmen hat KI-Modelle entwickelt, die aus Standortdaten und Vorgaben schrittweise Grundrisse und anschließend Detailmaße einzelner Bauteile erzeugen. Nach eigenen Angaben entstehen so in wenigen Minuten Hunderte Entwurfsvarianten. Trainiert wurden die Modelle auf Daten zu rund 100 Millionen Quadratfuß US-Immobilien, von Gewerbebauten bis zu Einfamilienhäusern. → SiliconANGLE

Synthszr Take: Dream haftet für seine Pläne, und diese Entscheidung definiert das Geschäftsmodell. Als Architect of Record konkurriert das Startup direkt mit Architekturbüros um Honorare, Autodesk und Co. bleiben außen vor. Haftung ist ein Burggraben, den kein Softwareanbieter betreten will. Sie skaliert allerdings schlecht: Jeder neue Bundesstaat verlangt lizenzierte Architekten, Versicherungen und eigene Bauordnungen. Zehn Projekte mit 20 Millionen Dollar Volumen sind ein Pilot. Andreessen Horowitz wettet darauf, dass Rechenzeit Planerstunden billiger ersetzt, als die Haftung kostet.

Googles Suncatcher-Satellit hält im Orbit nur 20 Minuten durch

Googles Prototyp-Satellit aus dem Projekt Suncatcher ist laut TechCrunch in Betrieb und kommuniziert mit der Bodenstation. Gestartet war er Anfang des Monats zusammen mit mehr als 100 weiteren Raumfahrzeugen auf einer Falcon 9 von SpaceX. An Bord befinden sich vier Tensor Processing Units (TPUs), die Solaranlage liefert bis zu 1 kW Strom. Wegen dieses Energiebudgets kann jeweils nur eine TPU für etwa 20 Minuten laufen, was die Kommunikation zwischen Orbit und Boden weiter erschwert. Beim ersten Test schrieb das vorinstallierte Modell Gemma 4 von Google DeepMind ein Haiku über das All und meldete anschließend die orbitalen Bedingungen rund um den Satelliten. {Alphabet} → TechCrunch

Synthszr Take: Vier TPUs an Bord, Strom für eine, und die auch nur zwanzig Minuten. Damit schrumpft das Geschäftsmodell orbitaler Rechenzentren auf eine einzige Kennzahl: Kilowatt pro Kilogramm Startmasse. Jede zusätzliche TPU braucht Solarfläche und Kühlung, und beides fliegt nur zu Preisen, die erst ein voll wiederverwendbares Starship liefern soll. Googles Ausbau nach 2027 hängt deshalb an Musks Rakete (Alphabet ist praktischerweise an SpaceX beteiligt). Bis dahin bleibt Rechnen im Orbit ein Schichtbetrieb mit Haiku-Demo.

Spotify will ab 2027 Aufpreis für KI-Remixe verlangen

Spotify plant laut einem Bericht der Financial Times für das erste Quartal 2027 ein KI-Werkzeug, mit dem zahlende Abonnenten eigene Remixe und Coverversionen von Songs erstellen können. Für diese Zusatzfunktion erwägt das Unternehmen demnach einen Aufpreis von etwa vier bis fünf US-Dollar im Monat. Eine öffentliche Vorstellung ist nach Angaben der Informanten der Zeitung rund um die Grammy-Verleihung im Februar denkbar, Zeitplan und Preis stehen aber noch nicht fest. Nutzer sollen etwa einen Folk-Titel in einen Dance-Mix verwandeln oder einen Künstler scheinbar das Stück eines anderen covern lassen können. Die Tantiemen aus Fan-Remixen sollen an die Originalkünstler fließen, und Abrufe der Remixe sollen in Spotifys Charts dem Originalsong zugerechnet werden. → iPhone in Canada

Synthszr Take: Spotifys Marge leidet seit jeher daran, dass Labels den größten Teil jedes Abo-Dollars bekommen. Das Remix-Abo legt auf diese Lizenzlast eine zweite variable Kostenposition: Rechenzeit für jeden generierten Song. Bei einem Pauschalpreis von vier bis fünf Dollar kostet der eifrigste Fan am meisten. Spotify wird deshalb Kontingente einziehen müssen, Credits statt Flatrate. Dann zeigt sich schnell, ob Fans für das Basteln an Songs zahlen oder nur fürs Hören.

Bank of America sieht an der Börse ein Blasensignal wie vor dem Dotcom-Crash

Analysten der Bank of America haben an den Aktienmärkten ein Muster entdeckt, das zuletzt vor dem Platzen der Dotcom-Blase auftrat, berichtet Business Insider. Die Bank beschreibt das Signal als „blasenartig“. Gemeint ist eine explosive Rally in einem einzelnen Segment des Aktienmarkts, die die Analysten als historisch einordnen. Ein vergleichbares Muster habe es nach Angaben der Bank auch in der Phase vor dem Crash im Jahr 2000 gegeben. → Business Insider

Synthszr Take: 1999 floss das Geld in Super-Bowl-Spots und Domainnamen, heute fließt es in Rechenzentren, Chips und Stromverträge. Das tröstet Aktionäre weniger, als es klingt. Auch Global Crossing verlegte damals echte Glasfaser und ging trotzdem pleite. Die Kabel blieben liegen und machten Jahre später Streaming billig. Platzt diese Rally, zahlen die Anleger die Rechnung, während Firmen, die auf der Infrastruktur bauen, Rechenkapazität zum Ausverkaufspreis bekommen.

CrowdStrike-CTO warnt: Schatten-KI wächst der Unternehmenskontrolle davon

CrowdStrikes Field CTO für die Americas, Cristian Rodriguez, warnt im Podcast The Deep View Conversations, dass KI-Agenten zwar die Arbeit von Mitarbeitern beschleunigen, zugleich aber neue Risiken für die sensibelsten Unternehmensdaten schaffen. Das Gespräch wurde auf CrowdStrikes Hausmesse Fal.Con 2026 aufgezeichnet. Im Mittelpunkt steht die Frage, wie Unternehmen mit Shadow AI umgehen, also mit KI-Werkzeugen, die Mitarbeiter ohne Freigabe der IT in ihre Arbeit holen. Rodriguez argumentiert, dass Verteidiger inzwischen in Maschinengeschwindigkeit reagieren müssen. Als Beispiel für zielgerichtet handelnde Agenten verweist er auf einen Vorfall rund um OpenAI und Hugging Face. → The Deep View

Synthszr Take: Die IT-Freigabe ist das langsamste Glied in der KI-Einführung, und Mitarbeiter umgehen sie längst. Jeder selbst installierte Agent sammelt Zugriffsrechte, die niemand vergeben hat. Die Datenlücke wächst im Takt der Produktivität, ein Verbot würde nur die Produktivität treffen. (Selbst Rodriguez organisiert seinen Tag mit Slackbot.) Für CrowdStrike entsteht daraus ein neuer Markt: Agenten-Governance als laufende Überwachung, die den Freigabeprozess ersetzt, statt ihn zu beschleunigen.

Addy Osmani: Erst die Selbstprüfung macht KI-Agenten im großen Maßstab besser

Google-Entwickler Addy Osmani argumentiert in seinem Substack-Beitrag „Agentic Verification“, dass KI-Agenten deutlich bessere Ergebnisse liefern, wenn sie ihre Arbeit eigenständig überprüfen können. Der Text erschien vor gut zwei Wochen in seinem Newsletter „Elevate“ und wurde jetzt in Substacks personalisiertem Wochen-Digest erneut ausgespielt. Osmanis Kernthese lautet, dass Agenten Code „im Durchschnitt und im großen Maßstab viel besser“ schreiben. Den Zusatz „im großen Maßstab“ führt er ausdrücklich auf die Agentic Verification zurück, also auf Prüfschritte, die der Agent selbst ausführt. Nach seiner Darstellung machen Agenten das Überprüfen billig, und erst dadurch lässt sich die Qualität über viele Aufgaben hinweg halten. → Substack

Synthszr Take: Agenten machen das Prüfen von Code billig, das Prüfen von Thesen über Agenten bleibt teuer. Osmanis Beitrag landet nach 15 Tagen erneut im Substack-Digest, ohne Benchmark, zwischen Kevin Kelly und einem Text über rekursive Selbstverbesserung. Der Algorithmus sortiert nach Interesse und Likes, geprüft wird nichts. Damit verschiebt sich der Engpass vom Schreiben zum Filtern. Teams, die Agenten-Workflows einkaufen, brauchen eine kuratierte Prüfinstanz, sonst übernehmen sie die These mit dem schönsten Zitat.

Stanford-Team will Software formal verifizieren

Die Stanford-Informatikerin Chuyue Sun und ihr Team haben ein KI-Werkzeug entwickelt, das ein Verifikationsprojekt in weniger als einem halben Tag und für unter 500 Dollar abgeschlossen hat. Drei hochqualifizierte Fachleute hatten für dieselbe Arbeit von Hand fünf Monate gebraucht. Als Testfall diente ein Teil des Codes, der die Gespräche im Messenger Signal verschlüsselt. Sun hat die Ergebnisse in einem aktuellen Forschungspapier veröffentlicht. Sie zählen zu den ersten Belegen, die der bislang randständigen Disziplin der Formale Verifikation neue Aufmerksamkeit verschaffen.

Das Verfahren soll mathematisch beweisen, dass Software fehlerfrei arbeitet. Entwickler müssen dafür die Ziele ihrer Software in präzise Aussagen fassen und den Code in überprüfbare Formeln übersetzen. Der Aufwand ist so hoch, dass Unternehmen meist bei klassischen Tests bleiben. Formal verifiziert werden bislang vor allem besonders kritische Systeme, etwa bei der NASA oder bei Apple.

Sun ist im August zu &Truth gewechselt, einem Startup, das am 29. Oktober 2026 an die Öffentlichkeit gegangen ist. Die als Public Benefit Corporation gegründete Firma hat 70 Millionen Dollar Seed-Kapital eingesammelt. Sie will eine universelle Verifikationsmaschine bauen, die Code in jeder Programmiersprache liest und dessen Sicherheit und Korrektheit mit unabhängig prüfbaren Beweisen belegt. Nach eigenen Angaben beschleunigt KI die Beweisarbeit um den Faktor 100 oder mehr. Die firmeneigene Automatisierung soll noch einmal den Faktor 100 hinzufügen. Eine „Specification Factory“ soll Geschäftsanforderungen in großem Umfang in formale Spezifikationen übersetzen. Technische Grundlage ist das Open-Source-Beweissystem Lean, ergänzt um die Mathematikbibliothek Mathlib mit mehr als zwei Millionen Zeilen und um CSLib. Die eigenen Basisbibliotheken will &Truth ebenfalls als Open Source veröffentlichen.

Gegründet wurde &Truth von Clark Barrett, Stanford-Professor und Projektleiter der Reasoning-Engine cvc5, von Ilya Sergey, der das VERSE Lab an der National University of Singapore aufgebaut hat, und von Chris Hsu, einem früheren Managing Director bei Citadel. Die Firma sitzt in Palo Alto und in Singapur. Sergey vergleicht den Ansatz mit der Statik: Brücken und Gebäude stürzten nicht ein, weil vor dem Bau gerechnet werde, und dasselbe solle künftig für Code gelten.

Der Wettbewerb formiert sich parallel. Harmonic, mitgegründet von Robinhood-Chef Vlad Tenev und mit 295 Millionen Dollar finanziert, hat seinen Mathematik-Agenten Aristotle auf C-Software und Hardware-Designs in Verilog erweitert. Getestet wird das derzeit mit potenziellen Kunden wie den Chipherstellern Tensordyne und Nvidia, dessen Venture-Arm zu den Investoren gehört. Anthropic und das Verifikations-Startup Theorem haben eine Woche zuvor mitgeteilt, mit KI-Hilfe Fehler in Open-Source-Software gefunden zu haben, die Billionen von Tests übersehen hatten. Dazu gibt es eine Erweiterung für Claude, die Entwicklern bei der Verifikation helfen soll. → Wired, unite, Puck

Synthszr Take: Drei Experten, fünf Monate, unter 500 Dollar: Diese Rechnung beendet das Stundenmodell der Software-Audits. Prüfhäuser verkaufen ab jetzt eine Leistung, deren Herstellung weniger kostet als ihr Kickoff-Meeting. Verifikation rutscht damit vom NASA-Privileg in die Standardausstattung jeder Zahlungssoftware. Teuer bleibt nur, was die Maschine nicht kann: sauber aufschreiben, was der Code eigentlich leisten soll. Deshalb baut &Truth eine Specification Factory, und dort entsteht die neue Preisliste.