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

Die Psychologin Amy Orben erforscht seit Jahren, was Technologie mit Jugendlichen macht. Hier spricht sie über Social-Media-Verbote und den deutschen Sonderweg beim digitalen Jugendschutz. Annehmen, ...