Matematik

En forskare som använder formaliseringsspråket Lean har avslöjat en grundläggande brist i en inflytelserik fysikartikel från 2006 om "two Higgs doublet model". Joseph Tooby-Smith vid University of Bath gjorde upptäckten medan han byggde ett bibliotek med verifierade fysikteorem. De ursprungliga författarna har erkänt felet och planerar att publicera ett rättelseblad.

19 mars 2026 Rapporterad av AI

Matematikern Gerd Faltings har tilldelats 2026 års Abelpris, ofta kallat matematikens Nobelpris, för sitt bevis 1983 av Mordells förmodan. Beviset, som föreslogs 1922, löste ett 60 år gammalt mysterium om lösningar till vissa ekvationer. Faltings fick även Fieldsmedaljen 1986 för samma bedrift.

En fysikers studie av Chess960, en variant som randomiserar startpositionerna för pjäserna, visar att inte alla konfigurationer är lika rättvisa för vita och svarta spelare. Genom att utvärdera komplexitet med schackprogramvara identifierar forskningen positioner som kan balansera spelet bättre. Detta utmanar antagandet att randomisering ensam garanterar rättvisa i det populära formatet.

29 december 2025 Rapporterad av AI

År 2025 löste ett team ledd av Zaher Hani vid University of Michigan ett av David Hilberts långvariga problem och kopplade sömlöst ihop de matematiska beskrivningarna av vätskor över olika skalor. Genombrottet förbinder mikroskopiskt partikelbeteende med makroskopiska flöden som vatten i ett handfat. Bedriften bygger på tekniker från kvantfältteori och lovar insikter i atmosfäriska och oceaniska dynamiker.