Kryptovaluta-ticker:

technology fra Ingeniøren (ing.dk)

Opinion: Nu kan AI skrive koden: Men mulighederne rækker langt ud over hurtigere programmering

Fabrizio Montesi

3 hours ago

30 Visninger

0 Kommentarer

SDU spiller en førende rolle i Lean Computer Science Library – et internationalt open source-samarbejde om at opbygge et fælles, maskinverificeret bibliotek af verificeret kode og datalogisk viden i Lean. Ambitionen er at gøre AI bedre til at programmere.

Læs hele artiklen hos kilden.

Læs original artikel

Deltag i diskussionen — kommenter, stem og del links.

Registrer

Var dette nyttigt?

Del:

Kommentarer (0)

Log venligst ind eller opret dig for at deltage i diskussionen

Ingen kommentarer ennå. Bli den første til å kommentere!

Relaterede nyheder

Teleselskaber advarer om angreb: Data om mobilmaster er frit tilgængelige

Techbossernes drejebog er formet af finanskrisen: AI skal være »too big to fail«

Bilparken slår ny batteri-rekord: »Det er ikke bare interessant for transporten«

Togulykke i Spanien gransket af ekspert: »Helt ufatteligt at begå sådan en fejl«

Europas forsvar skifter tempo i et rasende digitalt kapløb

Gennemse efter kategori

blog crypto news privacy startup sysadmin technology

Lenke kopiert til utklippstavlen