Η μελέτη του MIT αποκαλύπτει τις αδυναμίες των LLMs και την ανάγκη για νέες στρατηγικές ασφαλείας.
Πώς η συνδυαστική χρήση SAST και AI μειώνει δραστικά τα ψευδώς θετικά στην ασφάλεια κώδικα.
Η μελέτη της CodeFlash αποκαλύπτει ότι τα μεγάλα γλωσσικά μοντέλα δυσκολεύονται να γράψουν αποδοτικό κώδικα.
Η DeepSeek λανσάρει το Prover V2, ένα νέο ανοιχτό AI μοντέλο για επαλήθευση μαθηματικών αποδείξεων, προσφέροντας προσβασιμότητα και καινοτομία.
