De vijf koppen van vandaag
- GitLab ontsloeg 350 mensen omdat AI-bots hun platform platleggen
- Stanford Law: AI schrijft betere juridische analyses dan docenten zelf
- Uber limiteert AI-gebruik na budgetschok — en legt de lat op 1500 dollar per medewerker
- Instagram waarschuwt gebruikers na hack via Meta AI-chatbot
- Trump draait Biden’s AI-beleid terug met nieuw presidentieel besluit
Het nieuws van vandaag
GitLab ontsloeg 350 mensen omdat AI-agents hun platform platleggen
De werkdruk komt niet meer van mensen, maar van bots die code indienen.
GitLab schrapte 350 banen, 14 procent van het personeel, en trekt zich terug uit 22 landen. De reden is opvallend: niet dalende omzet, maar AI-systemen die de technische infrastructuur van het platform ontwrichten.
CEO Bill Staples legt uit dat nieuwe AI-agents zoveel code tegelijk indienen dat het hele systeem opnieuw moet worden ontworpen. GitHub kampt met hetzelfde probleem. GitLab bouwt daarom met een AI-lab nieuwe infrastructuur die kan schakelen tussen menselijke ontwikkelaars en autonome AI-systemen.
Het bedrijf maakt software waarmee ontwikkelaars samen aan code werken. Die tools werden zo succesvol dat ze nu het eigen platform overbelasten. Niet de mensen vormen het probleem, maar de bots.
Stanford Law: AI schrijft betere juridische analyses dan docenten
Het verschil is niet technisch, het is cognitief — en dat verontrust juristen.
Stanford-onderzoekers lieten AI en rechtendocenten dezelfde juridische vraagstukken analyseren. De AI scoorde hoger. Niet omdat het systeem meer juridische kennis had, maar omdat het consistenter redeneerde en minder onbewuste aannames deed.
Het onderzoek trekt geen triomfantelijke conclusies. Juristen waarschuwen dat juridisch redeneren verder gaat dan logica alleen. Het vraagt begrip van maatschappelijke context, nuance en ethische afweging. De onderzoekers benadrukken dat AI geen empathie kent en geen gevoel heeft voor rechtvaardigheid.
Toch blijven de cijfers overeind: op papier wint de machine. Dat maakt de discussie over AI in het rechtssysteem urgenter.
Uber limiteert AI-gebruik na budgetschok — en legt de lat op 1500 dollar per medewerker
Vier maanden. Zo lang duurde het voor Uber’s AI-budget verdampte.
Uber gaf medewerkers onbeperkt toegang tot AI-tools zoals ChatGPT en Copilot. Het jaarbudget was na vier maanden op. Nu geldt een limiet van maximaal 1500 dollar per persoon per maand.
Dat bedrag is meer dan een interne kostenpost. Het laat zien hoeveel organisaties bereid zijn te beteren voordat AI-gebruik te duur wordt. Technologiejournalist Simon Willison noemt het een waarschuwingssignaal voor bedrijven die AI uitrollen zonder kostenbewaking.
Voor leveranciers als OpenAI en Anthropic is het een teken dat grote klanten nu al remmen. Voor teams die AI intern willen inzetten is de boodschap simpel: reken eerst uit wat het kost.
Instagram waarschuwt gebruikers na hack via Meta AI-chatbot
De kwetsbaarheid zat niet in wachtwoorden, maar in de chatbot zelf.
Meta stuurt waarschuwingen naar Instagram-gebruikers van wie het account is overgenomen door aanvallers. Die misbruikten een lek in Meta AI, de chatbot die Meta vorig jaar in Instagram heeft ingebouwd.
Het beveiligingslek zat in de manier waarop de chatbot gebruikers herkent en toegang verleent. Aanvallers konden via die weg accounts overnemen, zonder wachtwoorden te stelen. Meta zegt dat het lek is verholpen. Toch komen er nog steeds meldingen binnen van gebruikers die de controle over hun account zijn kwijtgeraakt.
Het incident laat zien dat AI-functies in apps nieuwe risico’s met zich meebrengen. Beveiligingsteams zijn nog niet gewend om dit soort kwetsbaarheden actief op te sporen.
Trump draait Biden’s AI-beleid terug met nieuw presidentieel besluit
De nadruk verschuift van veiligheid naar snelheid.
President Trump heeft het AI-beleid van zijn voorganger grotendeels geschrapt. Hij tekende een presidentieel besluit dat de koers van de Amerikaanse overheid fors wijzigt.
Onder Biden moesten grote AI-bedrijven hun systemen laten testen op veiligheidsrisico’s. Ook waren er regels voor transparantie en risicobeheersing. Trump schrapt die verplichtingen. In plaats daarvan moeten overheidsinstanties vooral innovatie en concurrentiekracht stimuleren. Elke instantie krijgt meer vrijheid om eigen regels te maken. De centrale toezichthouder die Biden had ingesteld, verdwijnt.
The New York Times schrijft dat de reacties verdeeld zijn. Grote techbedrijven zijn blij met de extra ruimte. Kleinere bedrijven en onderzoekers waarschuwen dat er nu een gat ontstaat in het toezicht.
De timing is opmerkelijk. Europa maakt de regels juist strenger. Meerdere landen nemen de Europese AI Act als voorbeeld. De VS kiest nu voor het tegenovergestelde. Wat dat betekent voor internationale samenwerking op het gebied van AI-veiligheid, is onduidelijk.
Michael Burry noemt waarderingen van SpaceX en Anthropic ‘onhoudbaar’
De belegger die de huizencrisis voorspelde, waarschuwt nu voor een AI-bubbel.
Michael Burry, bekend van zijn juiste voorspelling vóór de financiële crisis van 2008, zegt dat noch SpaceX noch Anthropic een waardering van 1 biljoen dollar rechtvaardigt. Zijn redenering: beide bedrijven genereren nog geen inkomsten die de verwachtingen ondersteunen. Business Insider citeert uit een memo waarin Burry schrijft dat investeerders “vergeten te vragen of de technologie ooit winstgevend wordt”.
Burry’s track record maakt zijn waarschuwing extra zichtbaar. Maar zijn timing is vaker vroeg geweest — in 2008 had hij gelijk, maar moest hij jaren wachten. Dat maakt zijn oordeel niet minder relevant, alleen moeilijker te wegen.
via Business Insider
Wiskundigen waarschuwen: AI verandert wiskunde sneller dan ze bij kunnen houden
De discipline die eeuwenlang menselijk werk was, krijgt een nieuwe co-auteur.
Science publiceert een essay waarin wiskundigen uitleggen dat AI-modellen nu stellingen kunnen bewijzen die voorheen maanden menselijk denkwerk kostten. Dat klinkt als vooruitgang, maar de auteurs zijn ongerust. Ze vrezen dat de vaardigheid om zelf wiskundige redeneringen op te bouwen verdwijnt, en dat studenten leren bewijzen te delegeren in plaats van te begrijpen. Een van de ondertekenaars vergelijkt het met navigatie: “GPS werkt perfect, maar wie kan nog een kaart lezen?”
De discussie raakt aan een fundamentele vraag: wat blijft er over van een discipline als machines het sneller en beter doen? En wat betekent het als een nieuwe generatie wiskundigen opgroeit met AI als standaard gereedschap?
via Science
Geheugen voor PC’s is nu onbetaalbaar dankzij tekorten door AI-infrastructuur
32GB DDR5-geheugen kost nu 375 dollar — vorig jaar was dat 120.
Tom’s Hardware meldt dat de prijs van 32GB DDR5-geheugen is verdrievoudigd door vraag vanuit de AI-sector. Datacenters kopen massaal geheugenchips voor GPU-servers, wat de consumentenmarkt uithongert. PC-bouwers en gamers zien prijzen die normaal alleen tijdens crises optreden. Een gerenommeerde Nederlandse hardwarewinkel bevestigt desgevraagd dat leveringen vertraagd zijn en dat prijzen nog maanden hoog blijven.
Het illustreert hoe AI-investeringen doorwerken in markten die er ogenschijnlijk niets mee te maken hebben. Wie nu een werkstation wil bouwen, betaalt mee aan de AI-boom.
via Tom’s Hardware
Zakken op Berkeley explodeert door AI-gebruik en afnemende wiskundige vaardigheden
Docenten zien een patroon: studenten die AI gebruiken, scoren slechter.
The Daily Californian publiceert cijfers van UC Berkeley waaruit blijkt dat het aantal onvoldoendes in computerwetenschappen sterk is gestegen. Docenten wijten dit aan twee factoren: studenten gebruiken AI om huiswerk te maken zonder het te begrijpen, en wiskundige basisvaardigheden nemen af. Een docent vertelt dat studenten code inleveren die werkt, maar niet kunnen uitleggen waarom. Bij tentamens zonder AI blijkt dat ze fundamentele concepten niet beheersen.
Berkeley is niet de enige. Vergelijkbare signalen komen uit Delft en Eindhoven, waar docenten strengere regels invoeren over AI-gebruik tijdens opdrachten. De vraag is of universiteiten AI moeten verbieden of juist moeten omarmen en examens anders inrichten.
Zes op de tien mensen zoekt psychologische steun bij AI in plaats van bij mensen
Verzekeraar AXA deed onderzoek. De uitkomst: AI-chatbots worden therapie-vervangers.
AXA publiceerde een rapport waarin staat dat meer dan 60 procent van de ondervraagden AI gebruikt voor mentale ondersteuning. Niet als aanvulling op therapie, maar als vervanging. Redenen: geen wachtlijst, geen oordeel, beschikbaar op elk moment. Respondenten zeggen dat ze met een chatbot makkelijker praten over schaamte of angst dan met een mens.
Psychologen reageren verdeeld. Sommigen zien het als nuttige eerste opvang, anderen waarschuwen dat AI geen crisis herkent en geen doorverwijzing kan doen. Het rapport benoemt ook risico’s: chatbots geven soms advies dat schadelijk is, zonder dat te beseffen.
via AXA
Voor wie zelf met AI bouwt
EvalStop: schedules RLHF-jobs op basis van evaluatiescores in plaats van trainingskosten
ArXiv-paper stelt voor om GPU’s vrij te maken zodra een model niet meer beter wordt.
RLHF-workloads optimaliseren een geleerde beloningsfunctie als proxy voor menselijke kwaliteit, maar die proxy divergeert na verloop van tijd van echte evaluatiemetrics — een effect dat reward overoptimization heet. Dit paper introduceert EvalStop, een scheduling primitive die jobs termineert zodra de evaluatiescore k keer achter elkaar daalt, de GPU vrijmaakt en het beste checkpoint bewaart. Het werkt bovenop elke bestaande scheduler en voorkomt dat teams middelen verspillen aan modellen die al voorbij hun piek zijn.
Aanbeveling: Nuttig als je RLHF draait op gedeelde GPU-clusters en wilt voorkomen dat jobs blijven doorlopen terwijl kwaliteit al afneemt.
via ArXiv
Recover-LoRA: nauwkeurigheid terughalen in 2-bit modellen via low-rank adaptatie
Paper beschrijft een methode om agressief gekwantiseerde modellen te redden met synthetische data.
Kwantiseren naar 2-bit levert grote geheugen- en snelheidswinst op, maar kost meestal te veel nauwkeurigheid. Dit paper breidt Recover-LoRA uit — oorspronkelijk ontwikkeld voor gewichtscorruptie — naar ultra-low-bit kwantisatie. De auteurs stellen een selectieve mixed-precision strategie voor: alleen gate- en up-projectielagen in de MLP gaan naar 2-bit, de rest blijft hoger. Roofline-analyse over drie modelfamilies (4B-20B parameters) toont 7,5-23,3% hogere throughput vergeleken met volledige 4-bit, met beperkt verlies.
Aanbeveling: Interessant als je edge-deployment overweegt en bereid bent een klein deel van de nauwkeurigheid in te leveren voor substantiële snelheidswinst.
via ArXiv
LEAP: agent-framework dat LLM’s wiskundige stellingen laat bewijzen in Lean
Doorbraak in formele wiskunde: modellen genereren nu verificeerbare bewijzen voor IMO-niveau problemen.
LEAP is een agent-systeem dat foundation models in staat stelt om stellingen te bewijzen in de formele taal Lean. Het splitst complexe problemen op in kleinere stappen en laat het model informeel redeneren voordat het formele code schrijft. Het systeem checkt continu met de Lean-compiler en verbetert iteratief. De auteurs introduceren ook Lean-IMO-Bench, een benchmark met IMO-niveau problemen. LEAP haalt state-of-the-art resultaten op de Putnam Competition 2025.
Aanbeveling: Relevant als je werkt aan formele verificatie of geautomatiseerd redeneren; de benchmark is openbaar beschikbaar voor evaluatie.
via ArXiv
GitHub Copilot App: standalone desktop-app voor AI-assistentie buiten de editor
GitHub lanceert een preview van een app die context uit meerdere tools samenvoegt.
GitHub kondigt een standalone Copilot-app aan die werkt buiten de code-editor. De app haalt context uit GitHub Issues, Pull Requests, documentatie en lokale bestanden, en beantwoordt vragen zonder dat je tussen vensters hoeft te schakelen. Het is een preview-versie; beschikbaarheid is nog beperkt. Doel is om ontwikkelaars te laten werken zonder constant tussen browser en IDE te wisselen.
Aanbeveling: Vraag toegang aan via de preview-pagina als je vaak GitHub-metadata moet raadplegen tijdens ontwikkeling.
via GitHub
HR Katha · Gadgets 360 · ArXiv · Stanford Law · Tom’s Hardware · Simon Willison · The New York Times · Business Insider · Science · TechCrunch · AXA · GitHub · The Daily Californian