Manche Beweise können kaum geprüft werden, weil es zu wenige unabhängige Fachleute gibt, die sie verstehen. Die Mathematik steht vor einem Problem: Sie ist zu komplex geworden. Immer wieder kommt es ...

Könnten Computer und Programme wie der Beweisprüfer Lean die Mathematik retten? Diese Frage stellen sich Forschende weltweit angesichts einer immer komplexer werdenden Disziplin. Denn die Mathematik ...

Das Unternehmen Google DeepMind gibt sich noch optimistischer: „Ich glaube wir sind kurz davor, ein Millennium-Problem zu lösen – das werden wir in dem nächsten Jahr oder den nächsten anderthalb ...

Mathematiker gucken zuweilen Fußball. Das jüngste WM-Endspiel jedenfalls verfolgte auch der Zahlentheoretiker Levent Alpöge, Absolvent der Eliteuniversitäten Harvard und Princeton und heute ...