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

31 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.

Les hele artikkelen hos kilden.

Les original artikkel

Delta i diskusjonen — kommenter, stem og del lenker.

Registrer

Var dette nyttig?

Del:

Kommentarer (0)

Vennligst logg inn eller registrer deg for å delta i diskusjonen

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

Relaterte nyheter

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

Bla etter kategori

blog crypto news privacy startup sysadmin technology

Lenke kopiert til utklippstavlen