Von Modellversprechen zu überprüfbarer Arbeit
Nachträglich am 13. Oktober 2026 recherchiert. Mistral öffnet eine neue Modellvorschau. OpenAI zeigt, wie sich mehrstufige Büroarbeit und mathematische Ergebnisse prüfen lassen.
Mistral Large 4 startet als öffentliche Vorschau
Mistral veröffentlichte am 6. Oktober eine API-Vorschau von Large 4. Das Modell verarbeitet unterschiedliche Arten von Eingaben, etwa Text und Bilder. Die Veröffentlichung der Modellgewichte wurde für Ende Oktober angekündigt; sie war damit am Ankündigungstag noch kein abgeschlossener Schritt. Mistral bewirbt Fortschritte bei Programmierung und Unternehmensaufgaben. Das sind Herstellerangaben, keine eigenen Tests von Applied by Hand.
Einordnung: Unsere Einordnung: Eine API-Vorschau und ein selbst betreibbares Modell sind unterschiedliche Angebote.
Beispiel: Denkbar: Ein Team prüft die Vorschau mit eigenen Dokumenten, bevor es über einen Einsatz entscheidet.
- Mistral · Introducing Mistral Large 4 · 6. Oktober 2026
Auch erwähnenswert
Vertragsabläufe werden zur Agenten-Prüfung
OpenAI und Ironclad stellten Forschungsaufgaben für Vertragssoftware vor. Ein Agent muss beispielsweise Freigaberegeln einrichten und prüfen, ob sie bei verschiedenen Anfragen funktionieren. Gemessen wird die Erfüllung konkreter Kriterien. Ein höherer Durchschnittswert bedeutet keine fehlerfreie Vertragsbearbeitung.
Einordnung: Unsere Einordnung: Ein fertiger Ablauf zählt mehr als einzelne richtige Klicks.
Beispiel: Beispielhaft: Eine teure Bestellung braucht die Finanzfreigabe; eine günstigere nicht.
- OpenAI · Advancing computer use with Ironclad · 6. Oktober 2026
Neue mathematische Ergebnisse werden öffentlich prüfbar
OpenAI veröffentlichte neue mathematische Ergebnisse eines internen Modells in einem GitHub-Repository. Für viele Beweise gibt es Fassungen in Lean, einer Sprache zur Prüfung mathematischer Schritte. Weitere Formalisierungen sollen folgen. Die Veröffentlichung allein bestätigt nicht automatisch alle Ergebnisse.
Einordnung: Unsere Einordnung: Nachprüfbare Schritte helfen mehr als eine beeindruckende Behauptung.
Beispiel: Denkbar: Eine Forscherin prüft einen formalisierten Beweis und untersucht die Annahmen.
- OpenAI · Sharing AI progress in mathematics · 6. Oktober 2026