KI für Beweisformalisierung: Schönere Mathematik oder Kauderwelsch?
Die KI von Math, Inc. erreicht Beeindruckendes. Aber ihr Erfolg kollidiert mit den Zielen einiger Mathematiker. Von Tim Reinboth (Wissen, KI)
Die KI von Math, Inc. erreicht Beeindruckendes. Aber ihr Erfolg kollidiert mit den Zielen einiger Mathematiker. Von Tim Reinboth (Wissen, KI)
Im Iran blockiert die Regierung seit Kriegsbeginn weite Teile des Internets. Um das zu umgehen, nutzen Aktivisten jetzt eine einfallsreiche Methode. Sie verstecken große Datenpakete für die Bevölkerung in gewöhnlichen Satelliten-TV-Signalen. …
Eine Vereinbarung mit Microsoft hat den Schritt vorbereitet. OpenAI hofft, über AWS neue Kunden zu gewinnen – das Angebot zielt auf Unternehmen. (AWS, Microsoft)
Haptik, Gesten und Neurotechnologie reduzieren die Grenzen zwischen Mensch und Maschine – und machen digitale Systeme fühlbar, greifbar und direkt steuerbar. Ein Deep Dive von Klaus Manhart (Interfaces der Zukunft, KI)
Handyhelden schnürt ein Bundle aus dem Apple iPhone 17 Pro und dem Telekom Magenta M-Tarif. Für 39,95 Euro monatlich gibt es neben dem Smartphone 50 GB Datenvolumen. Durch Cashback und Wechselbonus sinkt der effektive Preis auf 5,41 Euro. (W…
Die Gaming-Tastatur Steelseries Apex 3 mit 10-Zonen-RGB gibt es bei Amazon zum Aktionspreis. Auch die Apex Pro ist reduziert. (Steelseries, Technik/Hardware)
Russland positioniert offenbar gezielt Waffensysteme im niedrigen Erdorbit, um amerikanische Spionagesatelliten zu beschatten. Gleichzeitig wachsen die Sorgen vor einem nuklearen Angriff im All, der die globale Infrastruktur lahmlegen könnte. …
China hat den leistungsfähigsten Supercomputer mit über zwei Exaflops gebaut. Oder ist er nur geplant? Und welche mysteriösen CPUs verbaut Huawei? Eine Recherche von Johannes Hiltscher (Supercomputer, Prozessor)
Weltweit starten Pilotprojekte zur saisonalen Wasserstoffspeicherung. Schon diese Versuche speichern so viel Energie wie ein Batteriegroßspeicher. (Wasserstoff, Brennstoffzelle)
Der Philips Oneblade 360 eignet sich für Gesicht und Körper. Bei Amazon gibt es den Rasierer aktuell zum Bestpreis für unter 40 Euro. (Technik/Hardware)