Beweis-Software Sind Computer die besseren Mathematiker?

Große Ideen entstehen im Kopf - so meinen viele Mathematiker. Doch das könnte sich ändern, wenn Software eines Tages beginnt, eigenständig Probleme zu lösen.
Denkende Maschine: "Das ist eine Revolution"

Denkende Maschine: "Das ist eine Revolution"

Foto: Corbis
Kepler vermutete richtig: So lassen sich Kugeln optimal im Raum stapeln.

Kepler vermutete richtig: So lassen sich Kugeln optimal im Raum stapeln.

Foto: Andreas Loos / FU Berlin