Eine Lösung, die sich rechnet: Mathematische Vermutung nach Jahrzehnten bewiesen

Eine im Jahr 1985 aufgestellte mathematische Vermutung – die Andrews-Robbins-Vermutung
– konnte jetzt erstmals bewiesen werden. Damit steht fest, dass sich die Struktur sogenannter
"total symmetrischer planarer Partitionen" mit einer einzigen Formel beschreiben lässt. Die
Beweisführung gelang unter Einsatz enormer Computer-Ressourcen und wurde damit erst
nach "computergerechter" Aufbereitung der Formel möglich. Dieses mit Unterstützung des
Wissenschaf