När forskare i USA löste matteproblemet ”The Boolean Pythagorean triples” skapades en datafil på 200 terabyte vilket enligt University of Texas i Austin är världsrekord för mattebevis. Det tidigare rekordet löd på 13 gigabyte.
Problemet som löstes presenterades på 1980-talet av den amerikanska matematikern Ronald Graham och kan hänföras till Pythagoras sats som säger att för en rätvinklig triangel är kvadraten på hypotenusan lika med summan av kvadraterna på kateterna.