Amazon, Google un Microsoft spöölt dat Geld in Anthropic sien Kass

Anthropic bringt SpaceX en Drüddel vun’n Ümsatz un maakt sik vun dree Hyperscalers afhängig

Anthropic is to’n gröttsten Kunden vun SpaceX worrn un stünn in dat verleden Quartaal för 34,5 Perzent vun’n helen Ümsatz. Dat geiht ut de jüngsten Quartaalstallen vun SpaceX vör. En wassend Deel vun de Innahmen vun Elon Musk sien Ünnernehmen kummt middlerwiel ut dat Geschäft mit Rekenzenztrums- un Computing-Infrastruktur för KI. Düt Segment wasst gau, hangt na de aktuellen Berichten aver to en groten Deel an en enkelten Afnehmer.

Anthropic hett an’n Maandag sien Börsenprospekt S-1 inreicht un will an de Nasdaq ünner dat Körzel ANT noteert warrn. Utgaavpries un Tall vun de Aktien staht noch nich fast. In’t Juni-Quartaal steeg de Ümsatz luut Prospekt üm 1.368 Perzent gegenöver dat Vörjohr. In’t eerste Halvjohr hett dat Ünnernehmen 16,3 Milliarden Dollar innahmen. De Nettoverlust leeg in desülve Tied bi 80,7 Milliarden Dollar, geiht aver to’n groten Deel op nich betallwirksame Weertanpassen vun Wannelanleihn trüch. De operative Verlust sunk op 693 Millionen Dollar, liekers swore Verpflichtungen för Rekenleistung.

Ok op Anthropic sien Siet wiest sik en starke Konzentratschoon. Nast de Hälft vun’n Ümsatz kummt na Angaven ut den Prospekt vun Amazon, Google un Microsoft. Ünner Investoren wasst de Sorg, dat de KI-Branche un de Weertschop alltohoop to dull vun wenige Ünnernehmen afhangt. Fallt een dorvun ut, droiht dormit en Destabiliseern vun de Markten. De Hedgefonds Bridgewater schreev in en Kundennotiz, Konzentratschoon un Gaumaken weren för sik alleen al riskant: Dat bruuk dormit „mehr eenfach Glück“, dormit de Volksweertschoppen wiederloopt.

Investor Kevin O’Leary nöömt den Anthropic-Börsengang op X en mööglichen „hot trade“. Sien Todelen bi’n SpaceX-IPO harr he aflehnt, wiel he de Aktien 30 Daag harr holen musst. Bi Anthropic verwacht he Hannelborkeit glieks vun’n eersten Dag an. Anthropic hett aver nich bestätigt, dat all Todelen foorts verköfft warrn dröfft. De begleiden Banken köönt Verordnungen dorto fastleggen. O’Leary raat grundsätzelk dorto, op SpaceX, Anthropic un OpenAI togliek to setten, ansteed en enkelten KI-Gewinner uttosöken. → Business Today, Benzinga, Semafor

Synthszr Take: O’Leary sien Raat, togliek op SpaceX, Anthropic un OpenAI to setten, verdeelt kuum Risiko. Good en Drüddel vun’n SpaceX-Ümsatz kummt vun Anthropic. Nast de Hälft vun Anthropic sien Ümsatz kummt vun Amazon, Google un Microsoft. Musk sien KI-Infrastruktur hangt dormit an de Cloud-Budgets vun dree Konzernen, de he nich ünner Kontroll hett. En Korf ut disse Naams bargt en eenzige Wett, bloots mehrfach köfft; Bridgewater sien „eenfach Glück“ is in’n Pries al mit inrekent.

Luut CrowdStrike grepen chineesche DeepSeek-Agenten 200 Telen an un knacken negen

Luut en Bericht vun CrowdStrike hett de China toordente Hackergrupp VAPOR PANDA mit dat KI-stütt Angreeps-Framework ARTEX binnen ölven Daag mehr as 200 Organisatschonen in tominnst 14 Länner angrepen. Bi negen dorvun bestätigt de Sekerheitsanbeder Aktivitäten na dat Inbreken, dorünner dat Installeren vun de Backdoor BLOODALCHEMY. ARTEX leep na Angaven vun CrowdStrike vör allen op dat chineesche Spraakmodell DeepSeek. Ergänzt worrn is dat dör en tweet, kommerziell Abo-Modell, dat CrowdStrike nich identifizeern kunn. Dat Framework koordineert en Hööftagenten mit ünnerordenten Planungs- un Utföhringsagenten, de mehrere Angreepswegen parallel verfolgt un bi Fehlschlääg op Alternativen ümswenkt. → Unite.AI

Synthszr Take: 1,4 Milliarden Input-Tokens för en enkelten Inbrook sünd vör allen en Reken, un bi DeepSeek-Priesen fallt se lütt ut. Dormit skaleert de Angrieper mit sien Tokenbudget, wiel de meisten Verdeffenderers noch in Analystenstünnen rekent. En Operator, de bloots an Besluss-Punkten ingrippt, bespeelt över 200 Telen in ölven Daag. En Security-Team, dat jede Warnung mit de Hand prüüft, verleert düt Rennen strukturell. Afwehr mutt dorüm sülvst agentisch lopen (wat CrowdStrike vun Natur ut geern verköfft).

Ex-Palantir-Manager will AutoCAD un Revit per KI aflösen

Dat kalifornische Startup Dream Technologies is luut SiliconANGLE mit en Seed-Finanzeern över 17 Millionen Dollar an’n Start gahn. De Runn föhrt Andreessen Horowitz an, bedeeligt sünd mank annern SV Angel, XYZ un Zigg Capital. Grünnt worrn is Dream in’t verleden Johr vun de fröheren Palantir-Managers Andy Elder un Arjun Mathur. Dat Ünnernehmen hett KI-Modelle utwickelt, de ut Standoortdaten un Vörgaven schrittwies Grundrissen un dornah Detailmaten vun enkelte Bodeele tüügt. Na egene Angaven entsteiht so in wenige Minuten Hunderte vun Entwörpvavarianten. Traineert worrn sünd de Modelle op Daten to rund 100 Millionen Quadratfoot US-Immobilien, vun Gewarfboden bit hen to Eenfamilienhüüs. → SiliconANGLE

Synthszr Take: Dream haft för sien Plaans, un disse Besluss defineert dat Geschäftsmodell. As Architect of Record konkurreert dat Startup direktemang mit Architekturbüros üm Honoraren, Autodesk un Co. blievt butenvör. Haften is en Borggraven, den keen Softwareanbeder betreden will. Man dat skaleert slecht: Jeder ne’e Bundsstaat verlangt lizenzeerte Architekten, Versekerungen un egene Bo-Ordnungen. Teihn Projekten mit 20 Millionen Dollar Volumen sünd en Pilot. Andreessen Horowitz wett dorop, dat Rekentied Planerstünnen billiger uttuuscht, as dat Haften köst.

Google sien Suncatcher-Satellit hollt in’n Orbit bloots 20 Minuten dör

Google sien Prototyp-Satellit ut dat Projekt Suncatcher is luut TechCrunch in Bedriev un snackt mit de Eerdstatschoon. Start worrn weer he Anfang vun’n Maand tohoop mit mehr as 100 wiedere Ruumfohrtüüg op en Falcon 9 vun SpaceX. An Boord sünd veer Tensor Processing Units (TPUs), de Solaranlaag levert bit to 1 kW Stroom. Wegen düt Energiebudget kann jümmers bloots een TPU för üm un bi 20 Minuten lopen, wat de Kommunikatschoon twüschen Orbit un Eer noch sworer maakt. Bi’n eersten Test schreev dat vörinstallerte Modell Gemma 4 vun Google DeepMind en Haiku över dat Weltall un mell dornah de orbitalen Bedingen rund üm den Satelliten. → TechCrunch

Synthszr Take: Veer TPUs an Boord, Stroom för een, un de ok bloots twintig Minuten. Dormit schrumpelt dat Geschäftsmodell vun orbitale Rekenzenztren op en eenzige Kennzall: Kilowatt pro Kilogramm Startmass. Jede tosätzliche TPU bruukt Solarflach un Köhlung, un beid flüggt bloots to Priesen, de eerst en heel wedderbruukbor Starship levern schall. Google sien Utbo na 2027 hangt dorüm an Musk sien Rakete (Alphabet is pracktischerwies an SpaceX bedeeligt). Bit dorhen blifft Reken in’n Orbit en Schichtbedriev mit Haiku-Demo.

Spotify will af 2027 Mehrpries för KI-Remixes hebben

Spotify plaant luut en Bericht vun de Financial Times för dat eerste Quartaal 2027 en KI-Warktüüch, womit betallende Abonnenten egene Remixes un Coverversionen vun Songs maken köönt. För disse Tosatzfunktschoon överleggt dat Ünnernehmen en Mehrpries vun üm un bi veer bit fiev US-Dollar in’n Maand. En apentliche Vörstellen is na Angaven vun Informanten vun de Zeitung üm de Grammy-Verlehen in’n Februar rüm denkbor, Tietplaan un Pries staht aver noch nich fast. Nutzers schöölt to’n Bispeel en Folk-Titel in en Dance-Mix verwanneln oder en Künsteler schienbor dat Stück vun en annern covern laten könen. De Tantiemen ut Fan-Remixes schöölt an de Originalkünsteler fleten, un dat Afropen vun de Remixes schall in Spotify sien Charts to’n Originalsong rekent warrn. → iPhone in Canada

Synthszr Take: Spotify sien Margen liedt siether dorünner, dat Labels den gröttsten Deel vun jeden Abo-Dollar kriegt. Dat Remix-Abo leggt op disse Lizenzlast en twete variable Kostenpositschoon: Rekentied för jeden genereerten Song. Bi en Pauschalpries vun veer bit fiev Dollar köst de ieverigste Fan an’n meisten. Spotify warrt dorüm Kontingenten intrecken möten, Credits ansteed Flatrate. Denn wiest sik gau, wat Fans för dat Basteln an Songs betallt oder bloots för’t Tohören.

Bank of America süht an de Börse en Blasensignal as vör den Dotcom-Crash

Analysten vun de Bank of America hebbt op de Aktienmarkten en Muster opdeckt, dat toletzt vör dat Platzen vun de Dotcom-Blaas vörkemen weer, beridd Business Insider. De Bank beschrifft dat Signal as „blasenordig“. Meent is en explosive Rallye in en enkelten Afsnitt vun’n Aktienmarkt, de de Analysten as histoorsch inordent. En vergliekbor Muster harr dat na Angaven vun de Bank ok in de Phaas vör den Crash in’t Johr 2000 geven. → Business Insider

Synthszr Take: 1999 floot dat Geld in Super-Bowl-Spots un Domainnaams, vundaag flütt dat in Rekenzenztren, Chips un Stroomverdrääg. Dat trööst Akschonäre weniger, as dat klingt. Ok Global Crossing legg dormals echte Glasfaser un güng liekers pleite. De Kabels bleven liggen un maken Johren later Streaming billig. Platzt disse Rallye, betallt de Anlegers de Reken, wiel Firmen, de op disse Infrastruktur boot, Rekenkapazität to’n Utverkoopspries kriegt.

CrowdStrike-CTO warnt: Schadden-KI wasst ut de Ünnernehmens-Kontroll rut

CrowdStrike sien Field CTO för de Americas, Cristian Rodriguez, warnt in’n Podcast The Deep View Conversations, dat KI-Agenten woll de Arbeit vun Mitarbeiders gauer maakt, togliek aver ne’e Risiken för de fienföhligsten Ünnernehmensdaten schapt. Dat Gesprääk is op CrowdStrike sien Huusmess Fal.Con 2026 optekent worrn. In’n Middelpunkt steiht de Fraag, woans Ünnernehmen mit Shadow AI ümgahn schöölt, also mit KI-Warktüüch, de Mitarbeiders ahn Freegaav vun de IT in ehr Arbeit haalt. Rodriguez argumenteert, dat Verdeffenderers middlerwiel in Maschienentempo reageern mööt. As Bispeel för teelgericht hannelnde Agenten verwiest he op en Vörfall rund üm OpenAI un Hugging Face. → The Deep View

Synthszr Take: De IT-Freegaav is dat langsaamste Lidd in de KI-Inföhrung, un Mitarbeiders gaht dor al lang an vörbi. Jeder sülvst installeerte Agent sammelt Togrieprechten, de nüms vergeven hett. De Datenlöck wasst in’n Takt vun de Produktivität, en Verbott wöör bloots de Produktivität drepen. (Sülvst Rodriguez organiseert sien Dag mit Slackbot.) För CrowdStrike entsteiht dor en ne’en Markt ut: Agenten-Governance as lopende Överwachen, de den Freegaavprozess uttuuscht, ansteed em gaumaken to helpen.

Addy Osmani: Eerst dat Sülvst-Pröven maakt KI-Agenten in’n groten Maatstaff beter

Google-Entwickler Addy Osmani argumenteert in sien Substack-Biedrag „Agentic Verification“, dat KI-Agenten düütlich betere Resultaten levert, wenn se ehr Arbeit egenstännig nakieken köönt. De Text keem vör good twee Weken in sien Newsletter „Elevate“ rut un is nu in Substack sien personaliseerten Weken-Digest nochmaal utspeelt worrn. Osmani sien Kerntheese luudt, dat Agenten Code „in’n Dörsnidd un in’n groten Maatstaff veel beter“ schrievt. Den Tosatz „in’n groten Maatstaff“ föhrt he utdrücklich op de Agentic Verification trüch, also op Pröövschreed, de de Agent sülvst utföhrt. Na sien Dorstellen maakt Agenten dat Nakieken billig, un eerst dormit lett sik de Gööd över vele Opgaven hen hollen. → Substack

Synthszr Take: Agenten maakt dat Pröven vun Code billig, dat Pröven vun Thesen över Agenten blifft düür. Osmani sien Biedrag lannt na 15 Daag nochmaal in’n Substack-Digest, ahn Benchmark, twüschen Kevin Kelly un en Text över rekursive Sülvstverbeterung. De Algorithmus sorteert na Intresse un Likes, prööft warrt nix. Dormit verschufft sik de Engpass vun’t Schrieven hen to’n Filtern. Teams, de Agenten-Workflows inkoopt, bruukt en kureerte Pröövinstanz, sünst övernehmt se de Theese mit dat mooiste Zitat.

Stanford-Team will Software formal verifizeern

De Stanford-Informatikersche Chuyue Sun un ehr Team hebbt en KI-Warktüüch utwickelt, dat en Verifikatschoonsprojekt in weniger as en halven Dag un för ünner 500 Dollar afsloten hett. Dree hoochqualifizeerte Facklüüd harrn för desülve Arbeit mit de Hand fiev Maanden bruukt. As Testfall deen en Deel vun’n Code, de de Snäcks in’n Messenger Signal verslötelt. Sun hett de Resultaten in en aktuell Forschungspapeer publizeert. Se tellt to de eersten Beweisen, de de bithertoe Randdisziplin vun de Formale Verifikatschoon ne’e Opmarksomkeit verschaft.

Dat Verfohren schall mathemaatsch bewiesen, dat Software ahn Fehler arbeidt. Entwicklers mööt dorvör de Telen vun ehr Software in nipp un naue Utsagen faten un den Code in nakiekbore Formeln översetten. De Upwand is so hooch, dat Ünnernehmen tomeist bi klassische Tests blievt. Formal verifizeert warrt bitherto vör allen besünners kritische Systemen, to’n Bispeel bi de NASA oder bi Apple.

Sun is in’n August to &Truth wesselt, en Startup, dat an’n 29. Oktober 2026 an de Apentlichkeit gahn is. De as Public Benefit Corporation grünnte Firma hett 70 Millionen Dollar Seed-Kapital insammelt. Se will en universelle Verifikatschoonsmaschien boon, de Code in jede Programmeerspraak leest un siene Sekerheit un Korrektheit mit unafhängig nakiekbore Beweisen beleggt. Na egene Angaven maakt KI de Bewiesarbeit üm den Fakter 100 oder mehr gauer. De firmeneigene Automatiseern schall nochmaal den Fakter 100 tofögen. En „Specification Factory“ schall Geschäftsanfordernissen in groten Ümfang in formale Spezifikatschonen översetten. Technische Grundlaag is dat Open-Source-Bowiessystem Lean, ergänzt üm de Mathematikbibliothek Mathlib mit mehr as twee Millionen Regen un üm CSLib. De egenen Basisbibliotheken will &Truth liekers as Open Source verapentlichen.

Grünnt worrn is &Truth vun Clark Barrett, Stanford-Perfesser un Projektbaas vun de Reasoning-Engine cvc5, vun Ilya Sergey, de dat VERSE Lab an de National University of Singapore opboot hett, un vun Chris Hsu, en fröheren Managing Director bi Citadel. De Firma sitt in Palo Alto un in Singapur. Sergey vergliekt den Ansatz mit de Statik: Brüggen un Hüüs störten nich in, wiel vör’t Boon rekent warrt, un dat sülve schall in Tokumst ok för Code gellen.

De Wettbewarv formeert sik parallel. Harmonic, mitgrünnt vun Robinhood-Baas Vlad Tenev un mit 295 Millionen Dollar finanzeert, hett sien Mathematik-Agenten Aristotle op C-Software un Hardware-Designs in Verilog verwiedert. Test worrn is dat aktuell mit potenziellen Kunden as de Chipherstellers Tensordyne un Nvidia, wo de Venture-Arm to de Investoren tohöört. Anthropic un dat Verifikatschoons-Startup Theorem hebbt en Week vörher mitdeelt, mit KI-Hülp Fehlers in Open-Source-Software funnen to hebben, de Billionen vun Tests överspäält harrn. Dorto gifft dat en Verwiedern för Claude, de Entwicklers bi de Verifikatschoon helpen schall. → Wired, unite, Puck

Synthszr Take: Dree Experten, fiev Maanden, ünner 500 Dollar: Disse Reken maakt en Enn mit dat Stünnenmodell vun Software-Audits. Prööfhüüs verkööpt af nu en Leistung, wieldat de Herstellen weniger köst as ehr Kickoff-Meeting. Verifikatschoon rutscht dormit vun dat NASA-Privileg in de Standardutrüstung vun jede Betallsoftware. Düür blifft bloots, wat de Maschien nich kann: rein un klaar opschrieven, wat de Code eegentlich leisten schall. Dorüm boot &Truth en Specification Factory, un dor entsteiht de ne’e Prieslist.