Leiden-erklæringen: Hvordan over 150 matematikere trekker en grense mot ukontrollert AI

De fem truslene som omformer matematikken

Erklæringen identifiserer fem distinkte, men sammenvevde farer, som hver truer en grunnleggende verdi i matematisk praksis.

1. Upålitelige og ubekreftbare bevis
Matematikk er bygget på bevis som kan verifiseres uavhengig og forstås i dybden. AI-systemer produserer derimot argumenter som ser plausible ut, men som kan inneholde nesten usynlige feil – falske bevis som mennesker sliter med å fange opp . Dette problemet er ikke begrenset til uformell tekstgenerering; det oppstår også i formelle bevissystemer når den underliggende logikken er skjult .

2. Kollaps i kreditering og utbredt brudd på opphavsrett
AI-modeller trener på publisert, menneskeskapt arbeid uten samtykke og unnlater ofte å sitere kilder. Resultatet er et systematisk sammenbrudd i anerkjennelsen av intellektuell opphavsrett, noe som gjør det umulig å spore idéhistorikk eller belønne originale tenkere. Erklæringen insisterer på at forfattere aktivt må søke etter foregående arbeider og, når fullstendig kreditering ikke er mulig, eksplisitt oppgi denne begrensningen .

3. Et todelt system av avhengighet og ulikhet
Etter hvert som banebrytende forskning knyttes til dyre, proprietære modeller og datakraft, står matematikken overfor en fremtid der bare godt finansierte laboratorier kan konkurrere. Dette skaper en strukturell ulikhet som undergraver fagets tradisjonelt åpne og meritokratiske karakter .

4. Overdrevet hype som villeder politikkutformingen
Teknologiselskaper, drevet av sterke kommersielle insentiver, overdriver verktøyenes matematiske evner . De annonserer resultater på markedets premisser via pressemeldinger, ikke gjennom fagfellevurdert vitenskap, og bruker ytelse på matematiske tester som et markedsføringsverktøy for generell intelligens – en påstand erklæringen kategorisk avviser . Forfatterne ber myndigheter søke ekspertevaluering, ikke PR, når de utformer vitenskapspolitikk .

5. Tap av forskningsautonomi
Når kommersielle interesser og teknisk gjennomførbarhet dikterer hva som blir studert, risikerer matematikken å miste kontrollen over sin egen agenda. Forskningsprioriteringer vris mot kortsiktig kommersiell avkastning fremfor dyp, nysgjerrighetsdrevet utforskning, noe som truer fagets langsiktige helse .

Hva erklæringen krever

I stedet for bare å diagnostisere problemer, foreskriver Leiden-erklæringen spesifikke, handlingsrettede normer for fire nøkkelgrupper .

Individuelle forskere må:

• Opplyse om alle AI-verktøy, ledetekster ("prompts") og metoder brukt i arbeidet sitt .
• Behandle AI utelukkende som et verktøy – aldri som en medforfatter. Mennesker bærer det fulle ansvaret for korrekthet, kreditering og etisk bruk .
• Holde seg informert om ny teknologi og delta i den offentlige debatten om konsekvensene av den .

Institusjoner, tidsskrifter og finansieringskilder må:

• Utvikle bindende retningslinjer for AI-forfatterskap, åpenhet, fagfellevurdering og immaterielle rettigheter .
• Bygge juridiske og etiske støttestrukturer for å hjelpe forskere med å forhandle med mektige teknologiselskaper .
• Flette erklæringens kjerneverdier inn i evalueringskriterier og finansieringsbeslutninger, fremfor å belønne ren beregningshastighet .

Myndigheter må:

• Slutte å ta selskapenes påstander om kapasitet for god fisk og i stedet konsultere uavhengige ekspertgrupper .
• Regulere AI-industrien for å forhindre monopolistisk kontroll over forskningsinfrastruktur .
• Investere i offentlig finansierte, åpne alternativer til kommersielle AI-verktøy, slik at tilgang ikke avhenger av institusjonell rikdom .

Industrien må:

• Oppgi praksisen med å bruke forskningspublikasjoner som treningsdata uten samtykke og tillate reelle reservasjonsmekanismer ("opt-out") for forfattere .
• Møte de samme standardene for åpenhet og kreditering som akademia krever av seg selv, når industrielle laboratorier publiserer sammen med akademiske partnere .

Den større kampen: Bevis, makt og offentlig tillit

Leiden-erklæringen handler ikke bare om matematikk. Forfatterne rammer inn striden som et varsel for vitenskapspolitikk overalt. De argumenterer for at de samme AI-systemene som produserer upålitelige bevis, også kan våpenliggjøres for krigføring og masseovervåking, og de oppfordrer matematikere til å etisk evaluere arbeidet sitt og til og med trekke seg fra skadelige prosjekter .

Den dypere advarselen er erkjennelsesteoretisk: Når kommersielle tidsfrister erstatter fagfellevurdering, og når selskapshype overdøver eksperters varsomhet, blir offentlighetens forståelse av hva som utgjør vitenskapelig sannhet fordreid . Matematikken – et fag som lenge har vært stolt av klare, tidløse standarder – står nå i frontlinjen av den større kampen.

Nesten hver eneste anbefaling i erklæringen kretser rundt ett enkelt prinsipp: åpenhet. Uten å vite når og hvordan AI ble brukt, kan ikke vitenskapssamfunnet verifisere resultater, tildele ære eller forsvare sine egne standarder. Med over 130 undertegnere ved lansering og institusjonell støtte fra organer som Den internasjonale matematiske union, har Leiden-erklæringen allerede blitt mer enn en uttalelse: Det er et arbeidsutkast til de normene matematikere mener AI-tidsalderen krever .