Anthropic și Theorem fac echipă pentru securizarea codului la nivel de asamblare

Poate AI-ul să accelereze verificarea codului?

Anthropic a anunțat un parteneriat strategic cu Theorem, mizând pe modelul său AI, Claude, pentru a revoluționa verificarea formală a software-ului. Colaborarea vizează un obiectiv ambițios: validarea securității direct la nivelul codului de asamblare.

Prin această inițiativă, cele două companii vor să ridice ștacheta fiabilității sistemelor informatice, folosind inteligența artificială pentru a scana structurile de cod de joasă complexitate.

Această mișcare marchează un pas important în integrarea modelelor de limbaj mari în securizarea infrastructurilor critice.

Vizând limbajul de asamblare – un strat software extrem de dificil de analizat manual – companiile încearcă să elimine vulnerabilitățile subtile care scapă, de obicei, metodelor de testare convenționale.

Verificarea formală este o metodă matematică riguroasă prin care se demonstrează că un sistem respectă anumite reguli de securitate. Deși extrem de eficientă, aceasta este adesea prea lentă pentru bazele de cod masive. Anthropic mizează pe faptul că modelul Claude poate accelera acest proces prin automatizarea generării dovezilor matematice. Sistemul va analiza instrucțiunile de asamblare pentru a garanta conformitatea cu protocoale stricte, reducând astfel riscul apariției unor „portițe” ascunse sau a comportamentelor neprevăzute în software-ul compilat.

Înlocuiesc algoritmii expertiza umană?

Parteneriatul permite dezvoltatorilor să integreze aceste verificări asistate de AI direct în fluxurile lor de lucru. În loc să se bazeze exclusiv pe auditori umani, echipele pot folosi acum instrumente automatizate pentru a valida integritatea codului.

Această abordare este vitală pentru sistemele de operare și driverele hardware, unde orice eroare poate avea consecințe catastrofale. Theorem aduce expertiza în metode formale, în timp ce Anthropic oferă „motorul” de inteligență artificială generativă.

Deși criticii avertizează că modelele AI pot „halucina” sau pot omite detalii în logica complexă, susținătorii proiectului consideră că îmbinarea vitezei AI-ului cu rigoarea formală creează o plasă de siguranță inedită. Scopul nu este eliminarea factorului uman, ci asistarea specialiștilor în identificarea rapidă a defectelor.

Primele rezultate arată că Claude poate detecta tipare care corespund unor amenințări de securitate cunoscute, permițând echipelor să se concentreze pe zonele cu risc ridicat, în loc să piardă timpul cu verificări de rutină.

Ce trebuie să știm despre acest parteneriat?

Tehnologia Pe măsură ce bazele de cod cresc, revizuirea manuală devine practic imposibilă, iar dovezile formale automatizate oferă o soluție scalabilă pentru menținerea standardelor de securitate. Această colaborare subliniază tendința tot mai clară de a folosi AI-ul pentru sarcini tehnice specializate.

Ce este verificarea formală?

Este o tehnică matematică utilizată pentru a demonstra că un software se comportă exact așa cum a fost proiectat, verificând codul în raport cu reguli stricte pentru a preveni erorile.

De ce ne concentrăm pe limbajul de asamblare? Codul de asamblare este cel mai apropiat de hardware și conține adesea logica critică de securitate. Verificarea acestui strat previne introducerea vulnerabilităților la nivel fundamental.

Cine sunt partenerii implicați? Anthropic și Theorem colaborează în acest proiect, Anthropic oferind modelul Claude, iar Theorem contribuind cu expertiza în metode de verificare formală.