Kryptovalutaticker:

technology från Ingeniøren (ing.dk)

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

Fabrizio Montesi

3 hours ago

33 Visningar

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 hela artikeln hos källan.

Läs originalartikeln

Delta i diskussionen — kommentera, rösta och dela länkar.

Registrera

Var detta hjälpsamt?

Dela:

Kommentarer (0)

Vänligen logga in eller registrera dig för att delta i diskussionen

Inga kommentarer ännu. Bli först med att kommentera!

Relaterade 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

Bläddra efter kategori

blog crypto news privacy startup sysadmin technology

Länk kopierad till urklipp