Canva lanceert Craft, zijn eerste eigen beeldmodel

Antropic liet Claude wiskundige bewijzen genereren dat bestaande code correct is, wat ruwweg 180 miljoen regels bewijscode opleverde voor 123 open-source bibliotheken. Onderweg ving het model bugs die jarenlang testen over het hoofd had gezien. Het doel van Anthropic: formele verificatie met AI net zo routineus maken als standaard testen. Het artikel "Anthropic's Claude now writes code and proves it safe automatically" verscheen het eerst op The Decoder.