Zehn Jahre laufendes Programm knackt jahrhundertealtes mathematisches Rätsel

Zwei Mathematiker ließen ein Programm über zehn Jahre laufen und widerlegten damit schließlich die seit langem bestehende Additivitätsvermutung. Mit einer von ihnen erstellten riesigen Datenbank verarbeiteten sie Millionen von Knoten und fanden schließlich ein Gegenbeispiel, das die Vermutung widerlegte. Diese Geschichte unterstreicht die Macht von Ausdauer und intelligenter Methodik und zeigt die immensen Herausforderungen, die sich hinter scheinbar einfachen mathematischen Problemen verbergen.