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. Jan Melin Publicerad 19 feb 2014 kl 14.07 Del på Facebook Del på Twitter Del på e-post Unlock with Glimta Annons 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".Beviset omfattade 15 000 sidor vilket krävde över 100 personer för granskningen. Enligt New Scientist var beviset det mest omfattande som dittills presenterats. Logga in här 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 Logga in här ✕ nyheter matematik populärteknik Del på Facebook Del på Twitter Del på e-post Unlock with Glimta
Premium Förslaget för energislukaren ai: en klimatrapport för varje dator Flera forskare försöker lösa problemet med den enorma energiförbrukningen hos stora språkmodeller. ”Användarna behöver få tillgång till alla fakta”.
Eldkastande ”hund” till salu i USA – skjuter nio meter långa eldsflammor Ett amerikanskt företag har lanserat en alldeles speciell robothund. Hunden har fått namnet Thermonator och är utrustad med eldkastare och lasersikte.
Miljardförlust för LKAB – varselhot över anställda Urspårningarna på Malmbanan innebär en miljardförlust för statliga LKAB. Bolaget flaggar nu för att verksamheten tillfälligt kan behöva stängas ned. Hundratals medarbetare kan påverkas enligt vd:n.
