Populärteknik

Mattebeviset som ingen människa kan kolla

Beviset producerades i en dator där den resulterande filen blev 13 gigabyte stor. Foto: Colourbox

Ett nytt matematiskt bevis är så omfattande att bara en dator kan kontrollera om det är korrekt.

Publicerad

För tre år sedan bevisade den amerikanske matematikern Michael Aschenbacher ett matematiskt teorem som gav honom svenska KTH:s "The Rolf Schock Prize in Mathematics 2011".

Prova Ny Teknik – 149 kr
för tre månader


Tillgång till alla låsta artiklar, fördjupande kompendier,
premiumnyhetsbrev, samt e-tidningen.



Kom igång nu →


Förnyas till 299 kr/mån efter din provperiod. Ingen bindningstid. Avsluta enkelt.
Gäller endast nya prenumeranter.



Är du medlem i Sveriges Ingenjörer?

Aktivera ditt konto här