Matematikere er i gang med at løse problemer. I processen med disse problemløsningsforsøg udforsker de ideer og kommer nogle gange på andre matematiske problemer at pille ved. Nogle af disse problemer kan tage generationer af matematikere hele deres karriere at løse, og nogle kræver hjælp fra en supercomputer. Andre virker ganske enkelt uløselige - selvom den generelle konsensus er, at vi til sidst skal være i stand til at løse alle matematiske problemer.
Collatz-formodningen eller "3n+1-problemet" er en, vi stadig venter på at se løst. Collatz-formodningen blev introduceret i 1937 af den tyske matematiker Lothar Collatz og er et tilsyneladende ligetil spørgsmål med et overraskende undvigende svar. Formodningen hævder, at hvis du gentager to simple aritmetiske operationer, vil du til sidst ende med at omdanne hvert positivt heltal til tallet et. Problemet er, at det endnu ikke er blevet bevist, at det er sandt for alle heltal. Måske med et eller andet nummer galopperer sekvensen ud i det uendelige.
Matematikere har testet millioner af naturlige tal, og ingen har bevist, at det er forkert. Men ingen har bevist, at det er ubetinget korrekt. Den legendariske ungarske matematiker Paul Erdos er citeret for at sige:"Matematik er måske ikke klar til sådanne problemer."
Collatz kom med sin formodning blot to år efter at have modtaget sin doktorgrad fra universitetet i Berlin. For en, der lavede så meget vigtigt matematisk arbejde i sin karriere, at han er kendt for et nyhedsproblem - et, der kunne testes af en gruppe fjerdeklasser - er bemærkelsesværdigt. Selvom alle beregninger understøtter ideen om, at formodningen er sand, gør det faktum, at den har været uløst i 86 år, det endnu mere spændende.