AlphaGo gewinnt - wann kommt AlphaMath?

Vor zwei Wochen hat Google's ALphaGo Sedol Lee geschlagen und seitdem geht unter Mathematikern die (je nachdem) Angst oder Hoffnung um, dass Computer bald auch besser mathematische Theoreme finden und beweisen könnten als wir. Diskutiert wird das auch auf MathOverflow, eigentlich die Seite für …

Weiterlesen ...

8-dimensionale Kugelpackungen

8-dimensionale Kugelpackungen

Was Früchteverkäufer seit Jahrhunderten wissen, hat endlich auch die Mathematik bewiesen: Platzsparender als bei den kunstvoll aufgetürmten Orangen-Pyramiden auf dem Wochenmarkt kann man Kugeln nicht aufeinanderschichten. schrieb die ZEIT vor 17 Jahren. Thomas Hales hatte 1998 die Kepler-Vermutung über die…

Weiterlesen ...