Ein Frachtflugzeug des Amazon-Konzerns ist am US-Flughafen Miami verunglückt. Nach Angaben der örtlichen Feuerwehr rollte die Maschine über die Landebahn hinaus, rammte mehrere Fahrzeuge und fing Feuer. Der Prime Air Frachter war vom Luis Muñoz Marín International Airport in San Juan auf der Karibikinsel Puerto Rico gestartet, wie die US-Luftfahrtbehörde auf der Plattform X mitteilt.

Geschafft, gerettet, gerade noch mal gutgegangen? Ein Ergebnis um die acht bis neun Prozent deutete sich im Laufe des Wahlabends in Sachsen-Anhalt sowohl für die SPD als auch für die Grünen an. Doch nicht nur ist das zumindest für die SPD per se ein niederschmetterndes Ergebnis. Dazu ist auch noch offensichtlich, dass ein Teil davon geschenkte Stimmen sind.

Zum ersten Mal seit dem Ende der NS-Zeit könnten Rechtsextreme in einem Bundesland die Macht übernehmen, schreibt die »New York Times«. Auch in Brasilien ist man besorgt.

Quelle: DIE ZEIT, dpa,

jsp

Bewiesen ist Fermats letzter Satz seit 1995, doch nun hat das KI-Unternehmen Anthropic nach eigenen Angaben erstmals eine vollständig computerverifizierte Fassung dieses Beweises vorgelegt. Ein Schwarm von Claude-Agenten soll sie in elf Tagen im Beweisassistenten Lean geschrieben haben: 13 Millionen Zeilen Code, 29.500 Zwischentheoreme. Die Fachwelt hatte dafür Jahre veranschlagt. Der Code liegt offen, eine unabhängige Bewertung steht weitgehend aus.

(Motorsport-Total.com) - Yuki Tsunoda darf seinen zehnten Platz beim Formel-1-Rennen in Monza behalten. Der Racing-Bulls-Pilot war nach dem Neustart des Rennens unter Untersuchung geraten, weil seine Position auf dem Grid offenbar für Verwirrung bei der Rennleitung sorgte und eine zusätzliche Formationsrunde angeordnet wurde.