programmeren
Leanstral 1.5 van Mistral vindt bugs met wiskundig bewijs
Mistral geeft Leanstral 1.5 vrij, een open Lean 4-model voor formele verificatie dat 100 procent haalt op miniF2F en vijf onbekende bugs vond in open-source code.
Claude Code krijgt eigen browser op de desktop
Anthropic geeft Claude Code op de desktop een ingebouwde browser. De AI opent, leest en klikt zelf door webpagina’s, afgeschermd en met toestemming per site.
SpaceXAI en Cursor mikken op eerste gezamenlijke model
SpaceXAI en Cursor willen deze week hun eerste samen getrainde AI-model uitbrengen, gericht op programmeren en bedoeld om Claude Opus 4.8 en GPT-5.6 te bijten.