Mathematiker haben eine tiefgreifende Vermutung bewiesen und dabei auf einen ungewohnten Ansatz zurückgegriffen. Innerhalb kürzester Zeit haben Computer den Beweis geprüft.#Mathematik #Tao #Terencetao #Kombinatorik #Summe #Mengenlehre #Beweisassistent #Computer #Ki
Ein Brückenschlag zwischen einfachen Summen und Entropie