Eine Million Pfund, fünf Jahre Zeit: So wollte der Mathematiker Kevin Buzzard den Satz von Fermat formalisieren. Dann erledigte ein KI-Modell diese Aufgabe in nur… Weiterlesen »Lean-Beweisprüfer: Fermats großer Satz in elf Tagen durch KI verifiziert

Toxischer Rauch, steigende Ozonwerte: Hitzewellen und Brände sind ein Problem für die Luftqualität – auch fern der Brandherde.

Steckt hinter Aggressivität ein schwaches Selbstwertgefühl? Verlaufsdaten lassen eher auf das Gegenteil schließen: Wenn sich jemand aggressiv verhält, sinkt danach sein Selbstwert.

Die erst 2018 gegründete Isar Aerospace schießt beim zweiten Test die Spectrum-Rakete von Norwegen aus ins All und setzt ihre Nutzlast in der gewünschten Bahn… Weiterlesen »Spectrum-Rakete: Erfolg für Isar Aerospace: Spectrum-Rakete erreicht Orbit

Wie sich Unterricht so gestalten lässt, dass er und seine Inhalte den Schülern im Gedächtnis bleiben, zeigen Didaktiker anhand von 70 »Lehrstücken«. Eine Rezension

Wie lässt sich der Umfang des Rechtecks berechnen?

Während andere Fotos von Partys posten, bleiben manche lieber zu Hause und genießen das Alleinsein – offline. Aber geht es ihnen dabei wirklich gut?

Die Aufgabe galt als Heiliger Gral der Perkolationstheorie. Nur wenige Tage nachdem ein Fields-Medaillist vermutete, eine KI werde das Problem lösen, ist das tatsächlich passiert.

Die mathematische Beschreibung des gesamten Universums ist das Ziel der modernen Kosmologie. Ein Bischof hat sich schon im 13. Jahrhundert erstaunliche Gedanken dazu gemacht.

Paul Watzlawick machte eine neue Sicht auf die Seele populär: Nicht der einzelne Mensch ist »gestört«, sondern die Beziehungen, in denen er lebt.