Spesifikasjon og beviser i AI-genererte programmers tidsalder
(Dette er ikke pensum, men har noen tanker om formelle metoder i AI-genererte programmers tidsalder.) ?Interessant fra Leonardo de Moura (tidligere Microsoft og n? p? AWS): When AI Writes the World’s Software, Who Verifies It?
Publisert 4. mars 2026 19:49
- Sist endret 4. mars 2026 19:49