AI-doorbraken in wiskunde, Cursor's $3B-mijlpaal en Spotify's AI-uitbreiding

AI-doorbraken in wiskunde, Cursor's $3B-mijlpaal en Spotify's AI-uitbreiding

Google DeepMind lost negen open wiskundeproblemen op, Cursor bereikt $3B aan omzet met een mogelijke overname door SpaceX, en Spotify lanceert nieuwe AI-gestuurde audiotools.

Onderzoek & Doorbraken

Google DeepMind's AlphaProof Nexus lost negen Erdős-problemen op

Google DeepMind heeft AlphaProof Nexus geïntroduceerd, een AI-systeem dat machine-geverifieerde wiskundige bewijzen kan genereren. Het systeem loste met succes negen open Erdős-problemen op—enkele van de meest uitdagende onopgeloste vragen in de wiskunde—waaronder twee die 56 jaar onopgelost waren gebleven. Het proces omvatte het koppelen van een LLM aan Lean, een bewijsassistent, om iteratief bewijzen te genereren en te verifiëren. Elk probleem werd opgelost tegen een kostprijs van een paar honderd dollar, en het systeem bewees ook 44 open vermoedens uit de Online Encyclopedia of Integer Sequences.

Deze ontwikkeling volgt op recente vooruitgang door andere laboratoria bij het toepassen van AI op complexe wetenschappelijke uitdagingen. Door het verificatieproces te automatiseren, toont Google's aanpak aan hoe AI verder kan gaan dan eenvoudige patroonherkenning om bij te dragen aan originele wiskundige ontdekkingen. Het vermogen om bewijzen op machinesnelheid te genereren en te verifiëren, wijst op een verschuiving in hoe onderzoekers in de toekomst langdurige theoretische problemen kunnen benaderen.

Anthropic's Claude Mythos identificeert meer dan 10.000 kwetsbaarheden

Anthropic heeft de eerste resultaten van Project Glasswing gepubliceerd, waaruit blijkt dat zijn beveiligde cybersecuritymodel, Claude Mythos, in één maand tijd meer dan 10.000 kwetsbaarheden met hoge of kritieke ernst in softwareprojecten heeft geïdentificeerd. Partners, waaronder Cloudflare en Mozilla, gebruikten het model om bugs te detecteren en te patchen, waarbij Cloudflare een vals-positiefpercentage rapporteerde dat beter was dan dat van menselijke testers. Daarnaast werd het model door een partnerbank gebruikt om een frauduleuze overschrijving van $1,5 miljoen te detecteren en te blokkeren.

Anthropic blijft Mythos afschermen, verwijzend naar het ontbreken van voldoende waarborgen om mogelijk misbruik te voorkomen. Het succes van het model onderstreept echter de groeiende capaciteit van AI in geautomatiseerde beveiligingsaudits. Naarmate grensverleggende modellen steeds beter worden in het identificeren van complexe softwarefouten, staat de industrie voor een race tussen AI-gestuurde verdediging en de mogelijkheid van geautomatiseerde exploitatie.

Zakelijk & Industrie

Cursor bereikt $3B jaarlijkse omzet te midden van overnamegesprekken met SpaceX

De AI-gestuurde code-editor Cursor heeft een jaarlijkse omzet van $3 miljard gerapporteerd, een aanzienlijke groei ten opzichte van $2 miljard in februari. Het bedrijf verwacht dat de omzet tegen eind 2026 de $6 miljard zal overschrijden. Deze snelle schaalvergroting heeft de interesse gewekt van SpaceX, dat naar verluidt een optie heeft verworven om de startup over te nemen voor $60 miljard, of een afkoopsom van $10 miljard te betalen. De deal volgt op een periode van nauwe samenwerking, waaronder het gebruik van SpaceX's Colossus-supercomputer voor modeltraining door Cursor.

Het succes van Cursor onderstreept de toenemende waarde van de 'applicatielaag' in de AI-stack—tools die grensverleggende modellen integreren in specifieke, hoogwaardige workflows zoals softwareontwikkeling. De mogelijke overname door SpaceX suggereert een strategische zet om eigen codeerinfrastructuur veilig te stellen, wat een bredere trend weerspiegelt waarbij grote technologiebedrijven gespecialiseerde AI-ontwikkeltools integreren om concurrentievoordelen te behouden.

DeepSeek haalt $10B op en verlaagt prijzen

DeepSeek heeft een financieringsronde van $10 miljard aangekondigd, terwijl het tegelijkertijd de prijzen voor zijn V4-Pro-model met 75% heeft verlaagd. De nieuwe prijzen brengen de kosten op $0,435 per miljoen invoertokens en $0,87 per miljoen uitvoertokens, waarmee het veel closed-source concurrenten aanzienlijk onderbiedt. De oprichter van het lab, Liang Wenfeng, heeft verklaard dat het primaire doel van de organisatie het bereiken van AGI is, en het bedrijf is van plan zijn strategie van het uitbrengen van open-source modellen voort te zetten, ondanks de enorme kapitaalverhoging.

Deze agressieve prijsstrategie zet de AI-markt verder onder druk, waardoor concurrenten gedwongen worden de meerprijs van hun propriëtaire modellen te rechtvaardigen. Door hoogwaardige financiering te combineren met een toewijding aan open-source releases en goedkope toegang, positioneert DeepSeek zich als een belangrijke disruptor in de race om grensverleggende AI te ontwikkelen en in te zetten.

Spotify lanceert AI-remix- en audiotools

Spotify heeft een reeks nieuwe AI-gestuurde functies aangekondigd na zijn jaarlijkse investeerdersdag. Een baanbrekende deal met Universal Music Group (UMG) stelt fans in staat om AI-gegenereerde covers en remixen van nummers van UMG-artiesten te maken, met een kader voor toestemming, naamsvermelding en inkomstenverdeling van de artiest. Daarnaast introduceerde het bedrijf 'Studio by Spotify Labs', een desktop-app die notities en e-mails omzet in gepersonaliseerde audio-briefings, en een door ElevenLabs aangedreven tool waarmee auteurs audioboeken kunnen maken zonder professionele opnameapparatuur.

Deze stappen vertegenwoordigen Spotify's strategie om verder te gaan dan muziekstreaming naar bredere audiocreatie en -consumptie. Door een licentiekader te formaliseren voor AI-gegenereerde fancontent, probeert Spotify de spanning tussen AI-innovatie en artiestenrechten aan te pakken, wat mogelijk een standaard zet voor de aanpak van de muziekindustrie met betrekking tot generatieve AI.

Beleid & Retail

Starbucks stopt met AI-voorraadtool

Starbucks heeft officieel zijn AI-gestuurde voorraadbeheertool in meer dan 11.000 Noord-Amerikaanse vestigingen stopgezet na negen maanden gebruik. Het systeem, dat bedoeld was om voorraadtellingen te automatiseren, had naar verluidt moeite met nauwkeurigheid, waaronder problemen met het onderscheiden van verschillende soorten melk. Het bedrijf is teruggevallen op handmatige telmethoden.

Dit incident dient als een opmerkelijk voorbeeld van de uitdagingen bij het inzetten van AI in fysieke retailomgevingen. Hoewel AI veelbelovend is voor operationele efficiëntie, benadrukt het falen van de tool de kloof tussen theoretische modelprestaties en de complexiteit van real-world, hoogvolume retailactiviteiten.