September 2026
Lean-Beweisprüfer: Fermats großer Satz in elf Tagen durch KI verifiziert
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
Spectrum-Rakete: Erfolg für Isar Aerospace: Spectrum-Rakete erreicht Orbit
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
