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 ...

Sicherheitsforscher von 0DIN, Mozillas GenAI-Bug-Bounty-Plattform, haben einen neuartigen Angriffsweg auf Entwicklerrechner aufgezeigt. Über ein harmlos wirkendes GitHub-Repository können Angreifer ...

Das britische AI Security Institute zeigt in einer Studie über sieben Benchmarks: Gängige KI-Evaluierungen unterschätzen die Fähigkeiten von Agenten-Modellen systematisch, weil sie das Rechenbudget ...

Einsteiger werden sicher, Profis noch besser. Für Unternehmen, die KI sicher und effektiv einsetzen möchten. Kontinuierlich lernen, selbstbestimmt handeln: Ein Jahr aktuelles KI-Wissen zum Preis eines ...

DEEP MINDS ist ein Podcast über Künstliche Intelligenz mit Menschen, die sich mit Künstlicher Intelligenz und Wissenschaft befassen. Max und Matthias stellen ihnen einfache und schwere Fragen über ...

Laut Anthropic hat die US-Regierung die erneute Bereitstellung von Claude Mythos 5 genehmigt. Das Modell ist Anthropics stärkstes KI-Modell für Cybersicherheit und darf nun wieder von ...

Jerry Tworek, ehemaliger OpenAI-Forscher, hat sein neues KI-Labor "Core Automation" offiziell vorgestellt. Das Ziel ist das "am stärksten automatisierte KI-Labor der Welt". Das Team will Systeme ...

Forscher der Renmin University und von Bytedance haben mit iLLaDA ein 8B-Sprachmodell vorgestellt, das anders funktioniert als ChatGPT. Es schließt auf der Basisebene zu Qwen2.5 auf, bleibt im ...

Das chinesische KI-Labor Deepseek veröffentlicht die Open-Weights-Modelle V4-Pro und V4-Flash, die über bis zu 1,6 Billionen Parameter und ein Kontextfenster von einer Million Token verfügen. Dank ...

Pinokio 5.0 verwandelt Computer in persönliche Clouds für Webserver und KI-Modelle. Die Software automatisiert Installationen, vernetzt lokale Geräte nahtlos und macht Open-Source-Anwendungen ...

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 ...

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 ...