Dominic Nahr / NZZ Vor zwei Jahren startete der britische Mathematiker Kevin Buzzard ein vielbeachtetes Forschungsprojekt. Er nahm sich vor, den im Jahr 1993 erbrachten Beweis der Fermatschen ...

Doron Zeilberger ist davon überzeugt, dass alles ein Ende hat. So wie der Mensch ein begrenztes Wesen ist, hat auch die Natur Grenzen – und damit die Zahlen. Wer aus dem Fenster blickt, nimmt die ...

KI-Modelle finden Beweise, auf die Menschen in jahrzehntelanger Arbeit nicht gekommen sind. Machen sie Mathematiker bald überflüssig? Viele meinen: Die eigentliche Gefahr ist eine ganz andere. Die ...