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.
You must log in or register to comment.
… Så i realiteten ændrer dette intet ved programmering med AI, fordi du har aldrig en matematisk definition på dine krav. AI er god nok til at skrive kode allerede. Problemet ligger i at forklare for AI hvad den skal bygge på en præcis måde. Ja, selvfølgelig er en matematisk definition den mest præcise måde. Men tvivler stærkt på at det er fremtiden, for matematisk verifikation har aldrig været udbredt i industrien i praksis.
