🤖 Claude Cowork kommt ins Web und aufs Handy, Fable 5 bleibt an Bord

📲 Thursd-AI-Newsletter

👋 Diese Woche geht's ums Aufmachen: Claude Cowork verlässt den Desktop und läuft jetzt im Web und auf dem Handy – Fable 5 bekommt im Abo nochmal Aufschub. Bei OpenAI fällt die Schranke ganz: GPT-5.6 darf raus, diesmal für alle statt nur ein paar Auserwählte. Mistral legt formale Mathe als Open Source offen und findet nebenbei Bugs in fremdem Code. Nur Microsoft macht's andersrum und wirft OpenAI und Anthropic aus Excel und Outlook. 🚀

... ihr habt diese Mail weitergeleitet bekommen? Dann sagt Danke – und fühlt euch herzlich eingeladen, sie ebenfalls weiterzuleiten. 💌

Heutige Themen:

  • 🤖 Claude Cowork kommt ins Web und aufs Handy, Fable 5 bleibt an Bord

  • 🔬 Mistrals Leanstral 1.5 bringt formale Mathematik als Open Source

  • 🏎️ OpenAI gibt GPT-5.6 nach Sicherheitsauflagen für alle frei

  • 💰 Microsoft ersetzt OpenAI- und Anthropic-Modelle durch eigene KI

TRENDING

🧐 Was ist passiert?

Anthropic bringt seinen KI-Agenten Claude Cowork ins Web und auf iOS und Android – bisher lief er nur als Desktop-App. Angefangene Aufgaben laufen geräteübergreifend und in der Cloud weiter, geplante Aufgaben etwa über Nacht. Zugleich wachsen Chat und Cowork zu einer Oberfläche zusammen, die verdoppelten Nutzungslimits gelten bis 5. August, und Fable 5 bleibt bis zum 12. Juli im Abo – mit dem Versprechen dauerhafter Integration.

🔐 Schlüsselpunkte

  • Claude Cowork ersetzt die Kommandozeile von Claude Code und greift auf Dateien, Kalender und E-Mail zu

  • Der Zugang startet zunächst nur im teuersten Max-Plan, weitere Tarife sollen später folgen

  • Auf dem Desktop bleibt Cowork am mächtigsten, weil der Agent dort lokale Dateien und Browser nutzt

  • Eine Auswertung von 1,2 Millionen Sitzungen zeigt: über 90 Prozent entfallen nicht auf Softwareentwicklung

  • Ergänzend hatte Anthropic mit Claude Tag kürzlich einen KI-Kollegen für Slack vorgestellt

🤔 Warum ist das für dich relevant?

Dass über 90 Prozent der Cowork-Nutzung nicht auf Coding entfallen, sondern auf Geschäftsprozesse (33,4 Prozent) und das Verfassen von Texten (16,4 Prozent), verschiebt das Bild vom KI-Agenten als reinem Entwicklerwerkzeug. Mit dem Sprung ins Web und auf Smartphones erreicht Anthropic nun auch Nutzer:innen ohne Desktop-Rechte, etwa auf Firmengeräten. Die wiederholten Fristverlängerungen für Fable 5 zeigen zugleich, dass der Abo-Zugang zu den stärksten Modellen weiter an der verfügbaren Rechenkapazität hängt – und nicht allein an der Nachfrage.

AUS DER STARTPLATZ AI ACADEMY

📅 Praxistag: 15. Juli 2026 | 🕐 9–17 Uhr, 100% remote | 🎓 Für Nicht-Techniker:innen

In einem Tag vom Verstehen zum ersten eigenen Workflow – du richtest Claude als KI-Arbeitskollegen ein und gehst mit einem funktionierenden Workflow aus deinem Alltag nach Hause. Hands-on, nicht nur Theorie.

Was dich erwartet

In einem geführten Tagesworkshop arbeitest du dich durch drei Phasen: Claude Cowork verstehen, sicher einrichten und deinen eigenen Workflow bauen – vom ersten Projekt bis zum Transferplan.

  • 🧠 Dein eigenes Cowork-Setup mit erstem Projekt, Dateien und Rolle

  • 📚 Deine Prompt-Library für die Aufgaben, die du jede Woche hast

  • 🗺️ Dein 14-Tage-Transferplan – ein Workflow richtig, statt zehn halb

  • 💶 790 € pro Person (netto zzgl. 19 % MwSt.), inkl. aller Begleit-Materialien

Perfekt für dich, wenn du:

  • ✅ KI praktisch in deinen Arbeitsalltag bringen willst – nicht nur mit Tools rumspielen

  • ✅ als Gründer:in, Führungskraft oder Wissensarbeiter:in konkrete, wiederkehrende Aufgaben hast

  • ✅ einen sicheren, geführten Einstieg mit klaren Datenfreigaben suchst

KI IN DER PRAXIS

🧐 Was ist passiert?

Mistral AI hat mit Leanstral 1.5 ein kostenloses Open-Source-Modell unter Apache-2.0-Lizenz veröffentlicht, das auf formale Verifikation in der Programmiersprache Lean 4 spezialisiert ist. Lean 4 dient dazu, mathematische Beweise und die Korrektheit von Software formal zu prüfen. Auf dem Mathe-Benchmark miniF2F erreicht das Modell 100 Prozent, im anspruchsvollen PutnamBench löst es 587 von 672 Wettbewerbsaufgaben. Trainiert wurde es mit Mid-Training, Feintuning und Reinforcement Learning.

🔐 Schlüsselpunkte

  • Das Modell steht unter Apache-2.0-Lizenz frei über Hugging Face und eine kostenlose API bereit

  • Auf miniF2F von Schul- bis Olympiade-Niveau erreicht Leanstral 1.5 volle 100 Prozent

  • Auf den Algebra-Benchmarks FATE-H und FATE-X erzielt es Bestwerte von 87 und 34 Prozent

  • Trotz Mathe-Fokus zeigt es starke Fähigkeiten in der Code-Verifikation realer Software

  • In 57 Repositories fand es fünf unbekannte Fehler, darunter einen Overflow-Bug in Rust

🤔 Warum ist das für dich relevant?

Formale Verifikation galt lange als Nischendisziplin für Spezialist:innen – ein frei verfügbares Modell, das mathematische Beweise und Code-Korrektheit maschinell prüft, senkt diese Hürde deutlich. Dass Leanstral 1.5 in echten Repositories bislang unbekannte Fehler fand, deutet an, dass solche Werkzeuge über akademische Benchmarks hinaus praktischen Nutzen haben könnten. Mit der Apache-2.0-Lizenz bleibt der Ansatz zudem offen nachnutzbar. Ob formale Methoden damit den Sprung aus der Forschung in den breiten Entwicklungsalltag schaffen, bleibt vorerst offen.

MEHR NEWS AUS DER KI WELT

OpenAI gibt sein neues Spitzenmodell GPT-5.6 am Donnerstag für die Öffentlichkeit frei. Zur Serie gehören drei Modelle: das Aushängeschild Sol, das Alltagsmodell Terra und die schnelle, günstige Variante Luna. Ende Juni hatte OpenAI GPT-5.6 zwar präsentiert, auf Wunsch der US-Regierung aber zunächst nur wenigen US-Unternehmen zugänglich gemacht – parallel zum Fall Anthropic. Grund für die Bedenken ist die Fähigkeit der Modelle, Software-Schwachstellen aufzuspüren. OpenAI betont, Schutzmaßnahmen für sensible Cyberanfragen und wiederholten Missbrauch verstärkt zu haben.

Microsoft tauscht in Copilot-Produkten wie Excel und Outlook Modelle von OpenAI und Anthropic gegen eigene MAI-Modelle aus – laut Bloomberg laufen dort bereits zehntausende Anfragen pro Woche darüber. KI-Chef Mustafa Suleyman nannte das Ziel offen: die Kosten für externe Modelle zu reduzieren und „letztlich zu eliminieren". Für Kund:innen könnte das gleiches Geld bei geringerer KI-Leistung bedeuten, denn Microsofts erstes Reasoning-Modell MAI-Thinking 1 lag in Benchmarks deutlich hinter der Konkurrenz. Denkbar sind künftig günstige MAI-Modelle als Standard, externe Modelle nur gegen Aufpreis.

WAS DIESE WOCHE PASSIERT

Upcoming events:

TOOL-TIPP

  1. NotebookLM – Dokumente, PDFs und Videos in eine persönliche Wissensdatenbank verwandeln, inklusive der Erstellung von Podcasts, Präsentationen, Infografiken und vielem mehr.

  2. Claude Cowork – Anthropics Desktop-Modus für Claude: Dateien organisieren, Aufgaben automatisieren und Tools wie Notion oder Slack per Plugin anbinden – auch ohne technische Vorkenntnisse.

  3. Claude Tag – Claude als taggbares Teammitglied für Slack: Aufgaben delegieren, asynchron arbeiten lassen und auf gemeinsamen Kontext zugreifen – aktuell als Beta für Team- und Enterprise-Kund:innen.

Wir lesen täglich eure E-Mails, Kommentare und Umfrageantworten.

Klick auf "Antworten" und lass uns wissen, wovon du mehr willst!

Bis zum nächsten Mal, 
Euer Team von der Startplatz AI Academy.

Wie hat dir diese Ausgabe gefallen?

Login oder Abonnieren um an umfragen teilzunehmen.