Fermats letzter Satz: KI liefert maschinell geprüften Beweis
Anthropic hat nach eigenen Angaben erstmals eine vollständig computerverifizierte Fassung von Fermats letztem Satz vorgelegt – erstellt von Claude-Agenten.
Ähnliche Beiträge
Einige Deutsche mit Verletzungen: Aktivisten berichten über Misshandlung durch israelische Soldaten
Mit der Demütigung von Aktivisten sorgt der israelische Polizeiminister international für Empörung. Doch den Mitgliedern der Gaza-Hilfsflotte wird in israelischer Gefangenschaft offenbar auch Gewalt angetan. Mehrere Deutsche sind verletzt, eine Frau berichtet von Schlägen.
Prozessbeginn gegen bayerischen AfD-Abgeordneten Halemba
Vor dem Amtsgericht Würzburg hat der Strafprozess gegen den AfD-Landtagsabgeordneten Halemba begonnen. Die Staatsanwaltschaft wirft ihm unter anderem Volksverhetzung und Geldwäsche vor. Halemba äußerte sich im Gerichtssaal nicht – wohl aber davor.[mehr]
Gas-Durst für den KI-Boom: Neue Rechenzentren gefährden deutsche Klimaziele
Der Global Oil and Gas Plant Tracker offenbart: Ein großer Teil der geplanten Gaskraftwerke hierzulande entfällt direkt auf die Versorgung von Rechenzentren.
Deutschland und Frankreich einig bei Lockerung von Verbrenner-Aus
Frankreich und Deutschland haben sich auf eine Aufweichung des Verbrenner-Aus verständigt. Das gaben beide Regierungen nun bekannt. Entsprechende Autos könnten so auch nach 2035 in der EU neu zugelassen werden.[mehr]
„Bin in keinem ruhigen Zustand“: William und Kate besuchen Filmpreis-Zeremonie
Prinz William und Prinzessin Kate machen gute Miene zum bösen Spiel: Trotz des Skandals um seinen Onkel Andrew besucht der Thronfolger mit seiner Frau die BAFTA Awards. Dort gibt er allerdings zu, derzeit ziemlich aufgewühlt zu sein.
VeloFlow & MVG Rad: Millionenschwere Digitalförderung treibt Stilblüten
Von Berliner Ampel-Prognosen für Radler bis zum Reboot der Münchner Leihräder: Schwarzbuch-Fälle zeigen, wie Steuergeld in Smart-City-Visionen verpufft.
