octombrie 2026

Ανθρώπινος έλεγχος εντοπίζει το πρώτο λάθος σε αλυσίδα συλλογισμού AI

FaithSieve: πώς το AI βρίσκει το πρώτο λάθος σε μια μαθηματική απόδειξη

Το FaithSieve συνδυάζει EdgeUnits, Lean και σημασιολογικό έλεγχο για να εντοπίζει το πρώτο λάθος σε AI μαθηματικές αποδείξεις, με σαφή όρια και υψηλό κόστος.

Citește mai multFaithSieve: πώς το AI βρίσκει το πρώτο λάθος σε μια μαθηματική απόδειξη
Ομάδα παραγωγής ελέγχει εικόνα και ήχο για ασφάλεια multimodal AI

Multi2AV-Safety: γιατί τα multimodal AI φίλτρα χάνουν τον κίνδυνο στη σύνθεση

Το Multi2AV-Safety δείχνει γιατί τα multimodal AI φίλτρα χάνουν τον κίνδυνο που δημιουργείται από τη σύνθεση κειμένου, εικόνας, ήχου και βίντεο.

Citește mai multMulti2AV-Safety: γιατί τα multimodal AI φίλτρα χάνουν τον κίνδυνο στη σύνθεση
Ανθρώπινος έλεγχος σε ροή LLM για συστηματική βιβλιογραφική ανασκόπηση

LLMs στις συστηματικές ανασκοπήσεις: 81,67% ακρίβεια, αλλά όχι χωρίς ανθρώπινο έλεγχο

Μελέτη 536 papers δείχνει πώς τα LLMs επιταχύνουν τη συστηματική βιβλιογραφική ανασκόπηση, πού υστερούν και πότε απαιτείται ανθρώπινος έλεγχος.

Citește mai multLLMs στις συστηματικές ανασκοπήσεις: 81,67% ακρίβεια, αλλά όχι χωρίς ανθρώπινο έλεγχο