SAK · MODELLER_
GPT-5.6 Sol Ultra hevder å ha bevist Cycle Double Cover-formodningen
En AI-modell kalt GPT-5.6 Sol Ultra skal ha produsert et bevis for Cycle Double Cover-formodningen, et uløst problem innen grafteori. Beviset er dokumentert i en PDF som OpenAI har publisert.
HVORFOR DET BETYR NOE
Hvis beviset holder matematisk prøving, ville det være gjennombrudd for et klassisk uløst problem. Det understreker også hvor avansert dagens store språkmodeller er blitt når det gjelder formelt matematisk resonnement.
KILDER
MASKINGENERERT SAMMENDRAG Sammendraget er skrevet maskinelt fra kildene under. Vi sorterer og forklarer — men vi er en inngang til feltet, ikke en fasit. Sjekk kilden når noe betyr noe for deg.