Leanstral 1.5 ist Mistrals offenes KI-Modell für Lean-Proofs: Benchmarks, Zugang, Kosten und Grenzen der formalen Verifikation.
Kimi K2.7 Code: Open-Weight in Copilot
Kimi K2.7 Code ist in GitHub Copilot verfügbar. Was Open-Weight, Rollout, Kosten, Business-Policy und Azure-Hosting bedeuten.
Claude Sonnet 5: Anthropic startet Agentenmodell
Claude Sonnet 5 ist verfügbar: Preise, Benchmarks, Sicherheit und API-Zugang des neuen agentischen Anthropic-Modells im Überblick.
LongCat-2.0: Open-Source-LLM mit 1,6T Parametern
LongCat-2.0 ist ein neues MoE-LLM mit 1,6 Billionen Parametern, 1M Kontext und API-Zugang. Was Release, Benchmarks und offene Gewichte bedeuten.
Fable 5 vor Rückkehr: US-Regierung lockert KI-Sperre
Anthropic Fable 5 könnte zurückkehren: Was Axios, Anthropic und die US-Regierung zu Mythos 5, Exportkontrollen und KI-Zugang sagen.
GPT-5.6: Öffentlichkeit faktisch ausgeschlossen
GPT-5.6 startet nur für ausgewählte Partner. Warum das faktisch ein Ausschluss ist und die KI-Monopolisierung verschärft.
DeepSeek DSpark: 60–85% schnellere LLM-Inferenz
DeepSeek öffnet DeepSpec mit DSpark: speculative decoding soll DeepSeek-V4 um 60 bis 85 Prozent schneller machen.
Ornith-1.0: Open-Source-KI für Coding-Agenten
Ornith-1.0 bringt Self-Scaffolding für Coding-Agenten. Benchmarks, Modellgrößen und kritische Einordnung im Überblick.
Sakana Fugu Ultra im Praxis-Test: Die Realität hinter den Benchmark-Rekorden
Sakana Fugu Ultra im Praxis-Test: Die Realität hinter den Benchmark-Rekorden Das japanische KI-Labor Sakana AI hat mit Fugu Ultra ein System vorgestellt, das auf Benchmark-Charts…
OpenAI Daybreak: GPT-5.5-Cyber und Codex Security im Detail
OpenAI hat am 22.06.2026 mit Daybreak das Sicherheitsprogramm ausgeweitet: GPT-5.5-Cyber (85,6 Prozent CyberGym-Score) plus Patch-the-Planet mit Trail of Bits, HackerOne und 30+ Open-Source-Projekten.