Mathematik : Die Macht des Nein

Ein Bonner Mathematiker will bewiesen haben, dass „P ≠ NP“. Klingt harmlos, wäre aber sensationell. Ob der Beweis stimmt, ist allerdings noch nicht sicher.
Zwanzig Cent hat Alexander Razborov gewettet. Der Mathematiker von der University of Chicago verliert sie an einen Kollegen, wenn sich herausstellt, dass ein vor zwei Wochen publizierter Beweis des Bonner Informatikprofessors Norbert Blum korrekt ist. Blum hingegen wäre um eine Million Dollar reicher. Denn sein Beweis betrifft das sogenannte P=NP-Problem, eines von sechs mathematischen Rätseln, auf deren Lösung die amerikanische Clay-Stiftung im Jahr 2000 die Million ausgesetzt hatte. Ein siebtes war bereits 2002 gelöst worden





