Model Spec

Produktivität

KI kann mathematische Sicherheitsbeweise für Open-Source-Bibliotheken generieren, was die Software-Verifikation verbessert und Schwachstellen reduziert.

OpenAI hat sein Model Spec aktualisiert und die Richtlinien für das KI-Verhalten neu strukturiert, wobei fünf Kernwerte im Mittelpunkt stehen, darunter die Treue zur menschlichen Absicht und die Korrigierbarkeit. Die Richtlinien besagen, dass GPT-Modelle den Konversationsverlauf nutzen sollten, um abzuleiten, was die Nutzer wollen, und ihre eigenen Annahmen offenlegen sollen; ob die Modelle diese Regeln befolgen, bleibt eine offene Frage.

KI-Sicherheit • The Decoder

Prompt-Tipps

OpenAIs aktualisierte Modellspezifikation erläutert, wie erinnerte Präferenzen Antworten beeinflussen sollten und wann ein Agent eine Genehmigung benötigt; das Unternehmen räumt ein, dass seine Modelle diese Erwartungen noch nicht vollständig erfüllen.

DeepSeek hat DeepInfer, das Inferenz-Framework hinter seinen groß angelegten Modell-Diensten, als Open Source veröffentlicht. Das Framework unterstützt Nvidia-GPUs und Huawei-Ascend-Prozessoren und umfasst Funktionen wie verteilte Inferenz und spekulative Dekodierung.

Infrastructure • TechNode