Pe 4 iunie 2026, am semnat Declarația Leiden privind inteligența artificială și matematica.
Am semnat-o pentru că sunt de părere că întrebările pe care le ridică merită mult mai multă atenție decât primesc în prezent. Și, sincer, mă așteptam ca mai mulți matematicieni, oameni de știință și profesioniști din discipline cantitative conexe să o semneze.
Ca actuar, am considerat Declarația deosebit de relevantă. Actuarul se bazează pe incertitudine, modele matematice, inferență statistică, risc, credibilitate și — poate cel mai important — pe nevoia de a lua decizii atunci când informațiile sunt incomplete.
Ce avertizează de fapt declarația Link spre
Merită să fim preciși aici, pentru că declarația nu este o afirmație generală de neliniște față de AI. Preocuparea sa este mai restrânsă și, tocmai de aceea, mai utilă: riscul ca matematică plauzibilă, dar incorectă să intre în literatura de specialitate mai repede decât poate comunitatea să o evalueze.1 O demonstrație care se citește fluent, care are forma corectă, care citează lemele potrivite — și care este greșită într-un mod pe care nimeni nu îl detectează înainte de a se baza pe ea. Autorii declarației au văzut cum acest lucru a încetat să mai fie o ipoteză în timp real2.
Acea expresie — calendarul de piață versus calendarul evaluării — este, cred, adevăratul centru al declarației, mai mult decât orice anxietate generală privind capacitățile AI. Ea denumește o nepotrivire de viteză, nu o nepotrivire de inteligență.

Un calendar comun Link spre
Punctul de plecare al cercetării îl constituie problemele deschise și motivația umană de a găsi răspunsuri noi. Omul nu furnizează doar o sarcină de executat, ci contextul și rațiunea pentru care merită să fie explorată acum.
Între o problemă și o contribuție nouă există un proces care implică atât inspirație, cât și efort. Inspirația poate apărea în timpul execuției, iar efortul poate genera idei noi. Totuși, separarea lor ajută la identificarea activităților care pot fi delegate și a celor care trebuie să rămână sub responsabilitate umană.
Rezultatele nu devin însă automat cunoaștere acceptată și promovată. Ele revin într-un proces de validare umană, în care sunt verificate corectitudinea, relevanța și limitele lor. Calendarul comun cuprinde efortul uman, efortul delegat către AI și validarea rezultatelor. Ideea este că acestea nu trebuie privite ca etape izolate, executate o singură dată, ci ca activități coordonate în timp.
Omul poate reformula sarcina, AI poate întoarce rezultate intermediare, iar validarea poate conduce la noi calcule sau la revizuirea abordării. Calendarul comun oferă cadrul acestei colaborări iterative. Prin urmare, delegarea nu înseamnă dispariția efortului uman, ci redistribuirea lui: mai puțin efort pentru anumite operații și mai multă atenție pentru formularea problemelor, verificare și interpretare.
Bucla nu garantează progresul. Unele rezultate pot fi respinse, unele ipoteze se pot dovedi greșite, iar anumite direcții pot ajunge în impas. Tocmai de aceea, revenirea asupra problemei și revizuirea ipotezelor sunt componente esențiale ale procesului.
Valorile noastre fundamentale Link spre
Transparența este esențială, dar nu neapărat simetrică. Rezultatele generate de AI trebuie să fie suficient de transparente pentru a permite examinarea, verificarea și înțelegerea lor de către om. Contribuția umană, în schimb, nu trebuie să fie expusă în întregime către AI: intuiția, gândirea exploratorie și apariția unor idei noi trebuie să rămână, cel puțin parțial, inaccesibile AI. Ceea ce contează este ca rezultatele furnizate de AI să poată fi evaluate critic înainte de a fi acceptate, contribuind totodată la identificarea și dezvoltarea contribuțiilor distinctive ale omului.
Contribuțiile omului și ale AI nu trebuie să se reflecte în mod identic. Valoarea lor constă în complementaritatea capacităților: omul aduce motivația, contextul și judecata, în timp ce AI poate sprijini explorarea, calculul și execuția. Specializarea permite fiecăruia să contribuie acolo unde este cel mai util, fără a presupune că unul îl poate înlocui pe celălalt.
Colaborarea înseamnă mai mult decât delegarea sarcinilor. Este un proces iterativ în care direcția stabilită de om modelează efortul AI, rezultatele AI influențează gândirea umană, iar validarea ghidează activitatea ulterioară. Obiectivul nu este doar accelerarea execuției, ci transformarea contribuțiilor complementare în cunoaștere pe care omul o poate înțelege, evalua și accepta în mod responsabil.
Paralela actuarială nu este o metaforă Link spre
Întreaga profesie actuarială există pentru că modelele care arată bine la suprafață se bazează uneori pe ipoteze care au încetat în tăcere să mai fie valabile. Nu numim asta un caz marginal și am construit un întreg aparat de verificări încrucișate și dezvăluiri tocmai în jurul faptului că acest lucru se întâmplă în mod obișnuit.
Plauzibil, dar incorect nu este un risc nou pe care declarația Leiden l-a descoperit pentru matematică. Este cel mai vechi risc din constituirea rezervelor, subscriere și tarifare. Ceea ce este nou este sursa. De aceea mă așteptam ca mai mulți actuari să semneze3. Declarația a apărut din interiorul comunității matematice, ca răspuns la o problemă care afectează rigoarea cercetării matematice. Dar este, aproape fără nicio traducere, o descriere exactă a disciplinei pe care standardele actuariale de practică încearcă deja să o impună fiecărui model pe care îl folosim. Nu ar trebui să fie nevoie să ni se spună de două ori.
Plan de rezervă Link spre
Iată partea care cred că este ușor de ratat la prima lectură: recomandările declarației — verificare, atribuire, transparență — nu sunt, în esență, despre restrângerea AI. Din contră, ar trebui să se asigure că există întotdeauna o a doua metodă independentă, una care nu împărtășește punctul orb al primei metode.
Această ultimă condiție contează mai mult decât pare. Un plan de rezervă nu înseamnă rulează de două ori sau obține o a doua opinie. Un plan de rezervă real este o metodă construită pe ipoteze diferite: pe condiții inițiale diferite.
Obligația nu este simetrică: un sistem AI utilizat în activitatea profesională trebuie implementat într-un mod care să aibă propriul său mecanism onest de retragere, o disponibilitate de a semnala limita competenței sale, mai degrabă decât să producă un răspuns fluent indiferent dacă premisele de la baza lui mai sunt valabile. Niciuna dintre părțile acestei colaborări nu ar trebui să fie considerată capabilă să își observe singură punctele oarbe. Nu este o critică la adresa niciuneia dintre părți — este pur și simplu ceea ce trebuie să însemne independent pentru ca un plan de rezervă să merite să existe.
Ideea centrală Link spre
Propunerea nu este că AI înlocuiește cercetătorul și nici că orice rezultat produs de AI poate deveni cunoaștere printr-o verificare superficială. Este o arhitectură în care producerea rezultatelor, verificarea lor și asumarea cunoașterii sunt funcții distincte, dar interdependente.
AI poate extinde capacitatea de explorare și execuție. Omul păstrează responsabilitatea pentru încadrarea conceptuală, criteriile de acceptare și justificarea concluziilor. Iar cunoașterea acceptată nu reprezintă un punct final, ci o sursă pentru următoarea perspectivă.
Nu este vorba despre prudență de dragul prudenței și nici despre o pauză. Limitele structurale sunt date de condițiile inițiale: nu orice informație trebuie împărtășită cu orice agent. Datele sensibile, contextul specific și cunoașterea care susțin avantajul competitiv trebuie să rămână sub controlul celui care le deține.
Acest mod de gândire definește nucleul Matematicii Actuariale, ilustrat în mod special de teoria credibilității.
Nu trebuie să știi totul. Trebuie să știi ce întrebi, de la ce condiții inițiale pornești, ce verifici și cui îi încredințezi problema.
@online{Cornaciu2026BeyondLeiden,
author = {Cornaciu, Valentin},
orcid = {0000-0001-9239-7145},
title = {Dincolo de Declarația Leiden},
year = {2026},
date = {2026-10-23},
url = {http://rcor.ro/ro/posts/2026-10-02-beyond-the-leiden-declaration/},
abstract = {O analiză a limitelor Declarației Leiden și a implicațiilor colaborării
dintre oameni și inteligența artificială, cu accent pe transparență, specializare,
validare și existența unor metode independente de rezervă.}
}
-
A se vedea istoricul proiectului OpenAI Math, inclusiv corecțiile deja formulate, ca exemplu al motivului pentru care rezultatele matematice plauzibile, dar incorecte necesită o examinare atentă înainte de a putea fi considerate de încredere. ↩︎
-
o infirmare generată de AI și intens mediatizată a unei conjecturi vechi de 80 de ani, anunțată pe ceea ce declarația însăși numește un calendar de piață corporativ, înaintea procesului acceptat de evaluare de către comunitate. ↩︎
-
La data publicării, sunt, se pare, unicul actuar care s-a implicat în această inițiativă. Absența aproape completă a comunității actuariale din astfel de dezbateri sugerează o deconectare îngrijorătoare: adoptăm rapid eficiența instrumentelor AI, dar lăsăm în seama altora dezbaterea despre rigoarea, verificarea și validarea rezultatelor lor. ↩︎