DeepSeek utvikler en modell som kan selvverifisere matematiske slutninger

DeepSeek - Ảnh 1. — DeepSeak har utviklet en AI-modell som ikke bare skriver kode, men også sjekker og beviser at den er riktig.

DeepSeekMath-V2 har satt enestående prestasjonsrekorder, og overgått menneskelige prestasjoner i strenge akademiske konkurranser. Det er verdt å merke seg at modellen vant gullmedalje ved den internasjonale matematiske olympiaden (IMO) i 2025 og sjokkerte med en poengsum på 118/120 ved Putnam-eksamenen, noe som langt overgår rekorden på 90 høyeste poengsummer noensinne oppnådd av mennesker.

Men det som virkelig gjør denne modellen banebrytende er ikke poengsummen, men DeepSeeks «selvverifiserings»-funksjon.

DeepSeeks selvverifiserings- og feilrettingssystem

I mange år har modeller for kunstig intelligens (KI) og store språkmodeller (LLM-er) møtt en alvorlig svakhet når de løser problemer som krever absolutt logikk som matematikk, som er fenomenet «feil resonnement, men riktig svar».

Det vil si at modellen kan tilfeldig produsere det riktige endelige svaret, men rekkefølgen av slutningstrinn, formler eller logiske trinn som førte til det resultatet kan være feil, ufullstendig eller hallusinere.

Innen vitenskap , ingeniørfag og matematikk har et riktig svar med en feil løsning absolutt ingen verdi og reduserer påliteligheten til et AI-system betydelig. DeepSeekMath-V2 ble laget for å avslutte denne epoken med upålitelighet.

DeepSeekMath-V2s evne til selvverifisering er kjernen i suksessen. Den fungerer som en "intern revisor" i AI-ens tankeprosess. I stedet for bare å trekke en enkelt slutning og gi et svar, inneholder DeepSeekMath-V2-modellen en toveismekanisme.

Den første er bevisrollen, der modellen genererer en innledende kjede av argumenter og løsninger. Modellen utløser deretter automatisk et internt kontrollsystem, som gjennomgår hvert logiske trinn i kjeden av argumenter som nettopp er generert, og ser etter feil, inkonsekvenser eller urimelige sprang.

Denne prosessen er veldig lik hvordan IMO-ProofBench-evalueringssystemet fungerer, hvor én AI genererer et argument og en annen AI verifiserer det. Ved å gjenta denne kryssjekkingen til argumentkjeden er bekreftet å være helt solid, sikrer DeepSeekMath-V2 at ikke bare svaret er riktig, men at veien til det svaret også er helt riktig og transparent.

Låser opp fremtiden for pålitelig AI

Implikasjonene av denne selvverifiserende slutningsmetoden kan sette en ny standard for åpenhet og pålitelighet for virkelige AI-applikasjoner.

I fremtiden kan denne modellen brukes på andre viktige områder, som for eksempel: AI skriver ikke bare kode, men kontrollerer og beviser også at koden er korrekt, noe som minimerer alvorlige feil.

I tillegg kan AI automatisk verifisere komplekse resonnementskjeder når man utvikler hypoteser eller beviser nye teoremer, og dermed sikre rasjonaliteten og sikkerheten til viktige beslutninger tatt av AI.

DeepSeeks beslutning om å offentliggjøre modellens kildekode på plattformer som Hugging Face og GitHub er et strategisk trekk som gir det globale forskningsmiljøet tilgang til og kan bygge videre på dette verifiserbare slutningsprinsippet.

DeepSeekMath-V2 representerer et kvantesprang fremover, og demonstrerer ikke bare AIs overlegne evne til å løse de vanskeligste problemene, men sikrer også at denne evnen er bygget på et fundament av tillit og urokkelig logikk. Dette er et bevis på at neste generasjon AI ikke bare vil være smartere, men også mer ærlig og transparent i sin tankeprosess.

Tilbake til emnet

ØSTHAVET

Kilde: https://tuoitre.vn/deepseek-phat-trien-mo-hinh-co-kha-nang-tu-kiem-chung-cac-suy-luan-trong-toan-hoc-2025113016585069.htm