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 ...

Wer vor Newton und Leibniz das unendlich Kleine und Große zu fassen suchte – das zeigen Mathematiker der Universität Hildesheim in einem Mammutprojekt. Die Buchreihe im springer-Verlag soll auch für ...

In 1976, Appel and Haken proved the Four Color Theorem by reducing it to thousands of cases and checking them mechanically.

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 ...

Auf Urbans Schreibtisch liegt zwischen Fachartikeln und Kabeln ein Science-Fiction-Roman, «Galatea 2.2» von Richard Powers, in dem eine KI eine Magisterprüfung ablegen soll. Urban selbst könnte Held ...