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)
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)
Nicht nur Apple verkauft Strippen, sondern auch seine Unterfirma Beats. Künftig gibt es die mit bis zu drei Metern Länge. Neu ist auch ein Solo-4-Sondermodell.
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)
Der Kurznachrichtendienst X hat seine Chat-Funktion in eine eigene App gepackt. Das Unternehmen verspricht Ende-zu-Ende-Verschlüsselung.
Weltweit starten Pilotprojekte zur saisonalen Wasserstoffspeicherung. Schon diese Versuche speichern so viel Energie wie ein Batteriegroßspeicher. (Wasserstoff, Brennstoffzelle)
Bis Herbst wird es von Apple einem Bericht zufolge nicht nur Ultra-Chips und Ultra-Uhren, sondern auch Ultra-Geräte geben – wenn nichts dazwischen kommt.
Zwar dürfen Kinder erst ab 13 Jahren Facebook und Instagram nutzen, doch nach Ansicht der EU-Kommission wird dieses Limit nicht ausreichend geprüft. (Jugendschutz, Soziales Netz)
Ein bekannter Cyberakteur hat Nutzerdaten von Vimeo erbeutet und verlangt nun ein Lösegeld. Andernfalls landen die Daten öffentlich im Darknet. (Cybercrime, Cyberwar)