Mistral AI hat mit Leanstral 1.5 ein kostenloses Open-Source-Modell (Apache-2.0-Lizenz) für formale Verifikation in der Programmiersprache Lean 4 veröffentlicht. Die Programmiersprache ist speziell ...

ChatGPT soll ab sofort stärker bei der Jobsuche und Bewerbung helfen. Die neue Funktion zeigt aktuelle Stellenangebote und Freelance-Jobs aus Quellen wie Indeed, Upwork und Appcast an. Die Ergebnisse ...

Amazon-CEO Andy Jassy und weitere Tech-Führungskräfte haben die Trump-Regierung auf Sicherheitsrisiken in Anthropics KI-Modell Fable hingewiesen. Nachdem sich Anthropic weigerte, das Modell freiwillig ...

OpenAI doof, Anthropic gut: Die Claude-Firma nutzt die Gunst der Stunde, dass viele sich gerade nach einer ChatGPT-Alternative umsehen. OpenAI steht derzeit in der Kritik, weil es einen Militär-Deal ...

Meta hat ein internes Rangsystem, bei dem Mitarbeiter um den höchsten KI-Token-Verbrauch wetteifern. Tokens sind Dateneinheiten, die KI-Modelle im Betrieb verarbeiten. Ein Mitarbeiter erstellte im ...

Claude Security ist ab sofort als öffentliche Beta für Claude-Enterprise-Kunden verfügbar. Das Tool von Anthropic scannt Code auf Sicherheitslücken und schlägt Patches vor, angetrieben vom Modell ...

Roblox schätzt das Alter seiner Nutzer:innen künftig per KI-gestütztem Selfie-Scan – und rollt die Technik weltweit aus. Damit will die Plattform auch Kontakte zwischen Erwachsenen und Minderjährigen ...

Einen Monat nach dem Start von Project Glasswing meldet Anthropic erste Ergebnisse: Das KI-Modell Claude Mythos Preview hat laut dem Unternehmen zusammen mit rund 50 Partnern mehr als 10.000 ...

Google strukturiert auf der I/O 2026 seine KI-Abos neu. Statt täglicher Prompt-Limits setzt Google zudem künftig auf ein verbrauchsbasiertes Abrechnungsmodell. Google hat auf der Google I/O 2026 seine ...

Sprachmodelle finden Sicherheitslücken schneller und bauen aus Patches in Minuten funktionierende Angriffe. Ein erfahrener Forscher fordert ein Ende der etablierten Offenlegungspraxis. Wer eine ...

Microsofts Bing-Team (ja, genau!) stellt das Embedding-Modell "Harrier" als Open Source bereit. Harrier unterstützt mehr als 100 Sprachen, bietet ein Kontextfenster von 32.000 Tokens und wurde mit ...

Microsoft hat einen spezialisierten KI-Agenten für Juristen in Word vorgestellt. Der "Legal Agent" ist ab sofort über das Frontier-Programm in den USA verfügbar und soll Vertragsarbeit erleichtern.