Mathematiker sind misstrauische Menschen. Vielleicht nicht im Alltag, aber in ihrem Beruf. "Man arbeitet nicht mit Leuten zusammen, die man nicht kennt", sagt Leonardo de Moura. "Ist diese Person ...

"Seit Computer erstmals für mathematische Beweise zum Einsatz kamen, sind deren Anwender in der Defensive, sie müssen zeigen, dass unvollkommene Maschinen die reine Mathematik nicht verderben", sagt ...

Solche Versuche gab es schon in der Vergangenheit. Lean ist dabei weiter vorgedrungen als jedes System zuvor. Bereits der erste Prototyp war in der Lage, den Satz über die Unendlichkeit der Primzahlen ...

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

Die Gamescom feiert virtuelle Welten. Über die Verbindung von Computer und Mensch forscht Mark Latoschik. Er erklärt, wie die digitale Realität die Köpfe der Spieler prägt und welche Risiken bestehen.