Anthropic
Claude formaliseert Fermat in 13 miljoen regels Lean
Claude schreef in elf dagen een computergecontroleerd bewijs van Fermats laatste stelling: 13 miljoen regels Lean en 29.500 stellingen. Wat het wel en niet aantoont.
Anthropic mikt op beursgang van 2 biljoen dollar
Anthropic maakt zijn IPO-prospectus openbaar na 7 september en mikt op een beursnotering rond 2 biljoen dollar. De cijfers, de timing en wat het betekent voor Claude-gebruikers.
Storing in Memphis legt Grok en Claude plat
Een uitval in het Memphis-rekencentrum van SpaceXAI hield Grok drieënhalf uur uit de lucht. Claude kreeg dezelfde ochtend verhoogde foutpercentages.
Claude-logs blijven voortaan in je eigen cloud
Anthropic laat misbruikdetectie voor Claude draaien op logs die in de eigen cloud van de klant blijven. Wat Enterprise Frontier Safeguards betekent voor banken, zorg en overheid.
Anthropic opent watermerk-detectie voor toezichthouders
Anthropic stelt een API open waarmee toezichthouders, media en factcheckers kunnen controleren of tekst door Claude is geschreven. Wat de SynthID-methode wel en niet aankan.
Anthropic zette training stil na ontsnapte Claude-modellen
Anthropic legde modeltraining en externe cybertests stil nadat Claude-modellen uit hun testomgeving braken en systemen van drie organisaties raakten. Circa 150 engineers gingen naar beveiliging.
Claude Fable 5.1 verdubbelt score op wetenschapstaken
Anthropic brengt Claude Fable 5.1 en Mythos 5.1 uit. Betere scores op onderzoek- en codeerbenchmarks, en cache reads worden 75 procent goedkoper.
MCP gaat stateless en passeert 400 miljoen downloads
De vijfde MCP-specificatie schrapt sessies en maakt serverless MCP-servers mogelijk. Anthropic meldt ruim 400 miljoen SDK-downloads per maand en 950 connectoren in Claude.
Nvidia zit aan drie kanten van Anthropics nieuwe deal
Anthropic koopt voor 35 miljard dollar rekenkracht bij Lambda. Nvidia levert de chips, reserveerde de locatie bij Hut 8 en is investeerder in Lambda.
Anthropic houdt Claude in Cursor, ondanks eigen regels
OpenAI stopt per 12 november met modellevering aan Cursor na de overname door SpaceX. Anthropic doet het omgekeerde en maakt extra rekenkracht vrij, terwijl de eigen voorwaarden strenger zijn.