Google DeepMind hat am 10. November AlphaProof Code vorgestellt. Das Forschungssystem verbindet KI-Agenten mit formalen Softwarebeweisen. Besonders aufschlussreich ist eine Gegenprobe: Laut DeepMind wurden zwei früher behobene Fehler in eine isolierte Fassung des Signal-Codes zurückgebracht. Das System lieferte in beiden Fällen maschinell geprüfte Belege für die Unsicherheit dieser veränderten Version.
Ein kurzes Ursachenblatt hilft Schweizer KMU, eine Leistungsabweichung von einem echten Lernbedarf zu unterscheiden und erst danach eine passende Massnahme zu wählen.
Australiens Regierung hat am 10. November verpflichtende Sicherheitsvorgaben für besonders leistungsfähige KI sowie eine eigene Aufsicht angekündigt. Für KMU mit internationalen Anbietern ist das ein Signal für den Einkauf: Eine neue politische Zusage sollte im Lieferantencheck mit ihrem tatsächlichen Rechtsstand stehen. Sie ist noch kein Nachweis, dass ein Anbieter bereits nach dem angekündigten System geprüft wurde.
Intuit hat am 10. November die US-Schulungstour Activate AI gestartet. Geplant sind 30 Städte; Anthropic, Google und OpenAI gehören zu den Partnern. Die Teilnahme wird kostenlos angeboten. Für Schweizer KMU ist vor allem die Verbindung von Weiterbildung und Produktvertrieb interessant: Wer an einer Vorführung lernt, sollte danach auch ohne das vorgeführte Paket entscheiden können.
Maryland startet KI-Arbeitsmarkt-Tracker: Exposition ist noch kein Stellenabbau
Cisco plant KI-Sicherheitstests mit Mythos: Der Prüfauftrag braucht klare Grenzen
Eine Übertragbarkeitskarte hilft Schweizer KMU, KI-Ranglisten auf Aufgaben, Daten und Betriebsbedingungen des eigenen Einsatzes zu beziehen, bevor ein Produkt in die engere Wahl kommt.
Meta stellt Muse Ember vor: Welche Aufgaben darf ein kleines Modell übernehmen?
Neue Studie zu KI-Risiken: Öffentliches Schweigen beweist keine fehlende Kontrolle
Microsoft meldet mehr KI-gestützte Fehlerfunde: Beim Windows-Update zählt die Zeit bis zum Gerät
Wir möchten sehen, welche Artikel gelesen werden. Mit Ihrer Zustimmung setzt Google Analytics dafür Cookies; ohne Zustimmung messen wir nur grob und ohne Cookies. Werbung schalten wir nicht. Details in der Datenschutzerklärung.