Crypto Ticker:

technology from Ingeniøren (ing.dk)

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

Fabrizio Montesi

3 hours ago

32 Views

0 Comments

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.

Read the full article at the source.

Read Original Article

Join the discussion — comment, vote, and submit links.

Register

Was this helpful?

Share:

Comments (0)

Please login or register to join the discussion

No comments yet. Be the first to comment!

Related News

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

Browse by Category

blog crypto news privacy startup sysadmin technology

Link copied to clipboard