Zahlen, bitte! Als der Computer den Vier-Farben-Satz bewies
Die Diskussion um KI-Beweise für mathematische Probleme ist nicht neu. Bereits der erste IT-gestützte Beweis 50 Jahre zuvor zog Forscher-Unmut auf sich.
Ähnliche Beiträge
Freispruch nach Mord an maltesischer Journalistin Caruana Galizia
Wer ließ die maltesische Journalistin Daphne Caruana Galizia ermorden? Diese Frage bleibt auch nach fast neun Jahren unbeantwortet. Geschworene sprachen einen Unternehmer vom Vorwurf frei, Drahtzieher des Anschlags gewesen zu sein.[mehr]
„Es reicht jetzt erst mal“: Deutschlandticket könnte bald wieder teurer werden
Ab Oktober gibt es für Autofahrer einen Tankrabatt, Bahnfahren könnte dagegen bald teurer werden. Zumindest für die 14,5 Millionen Menschen, die ein Deutschlandticket besitzen. Der Fahrgastverband Pro Bahn betrachtet dies zähneknirschend.
iPadOS 26.5: Apple verbessert Anbindung für eigene Tastaturen
Wer seine Mac-Tastatur auch am iPad verwenden möchte, kann künftig schneller zwischen drahtgebunden und drahtlos wechseln. Apple übernimmt ein macOS-Feature.
Karetsas kriegt Zaziki: Borussia Dortmund stellt seine Offensiv-Verheißung vor – im Gyros-Grill
Bei Borussia Dortmund hat man nach einer erfolgreichen, aber spielerisch zähen Saison Hunger auf den BVB-Powerfußball früherer Jahre. Das große Offensiv-Versprechen Konstantinos Karetsas stellen die Schwarzgelben stilecht vor.
Behörden: „Sehr ernster Sicherheitsvorfall“ am Flughafen Leipzig/Halle
Nach dem Fund einer Drohne mit Sprengstoff am Flughafen Leipzig/Halle ist der Zünder inzwischen entschärft. Sachsens Innenminister Schuster spricht von einem „sehr ernsten“ Vorfall. Bundesinnenminister Dobrindt reist zur Lagebesprechung nach Leipzig.[mehr]
Erstes Verbot für den Bau von Rechenzentren in US-Bundesstaat doch noch gestoppt
Im Nordosten der USA hat die Legislative dafür gestimmt, bis Ende 2027 keine Rechenzentren zu erlauben. Doch die Gouverneurin hat das Moratorium verhindert.
