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)
Monthly Archives: April 2026
Iran ist offline: Aktivisten verwandeln TV-Signale jetzt in Not-Internet
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. …
Codex & Agenten: OpenAI kommt in Amazons Cloud-Ökosystem
Eine Vereinbarung mit Microsoft hat den Schritt vorbereitet. OpenAI hofft, über AWS neue Kunden zu gewinnen – das Angebot zielt auf Unternehmen. (AWS, Microsoft)
(g+) Haptik, Gesten und neuronale Implantate: Wenn Computer fühlbar werden
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)
Telekom-Deal: iPhone 17 Pro und 50 GB 5G effektiv für mtl. 5,41 Euro
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…
Anzeige: Gaming-Tastatur Steelseries Apex 3 für 59,98 Euro bei Amazon
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)
„Weltraum-Pearl-Harbor“: General warnt vor Anti-Satelliten-Atomwaffen
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. …
Exascale-System Lineshine: Der angeblich schnellste Computer der Welt und 1.000 Fragen
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)
Wasserstoffspeicher: Salzkavernen sollen Wasserstoff für den Winter speichern
Weltweit starten Pilotprojekte zur saisonalen Wasserstoffspeicherung. Schon diese Versuche speichern so viel Energie wie ein Batteriegroßspeicher. (Wasserstoff, Brennstoffzelle)
Anzeige: Philips Oneblade 360 zum Bestpreis für unter 40 Euro
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)