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

Meta macht ein xAI: Anstatt mit der massiv eingekauften KI-Rechenleistung eigene, lukrative KI-Modelle zu trainieren, will Meta überschüssige Rechenkapazität an externe Kunden verkaufen. Das ...

Das Landgericht München I hat entschieden, dass Google für unwahre Behauptungen in seinen KI-generierten Suchübersichten unmittelbar haftet. Im konkreten Fall hatte die KI zwei Verlage ...

Die US-Regierung hat Anthropic aus Gründen der nationalen Sicherheit angewiesen, den weltweiten Zugang zu seinen KI-Modellen Fable 5 und Mythos 5 abzuschalten. Das Exportverbot betrifft alle ...

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

Microsoft erwägt, eine selbst gehostete und fine-getunte Version von DeepSeek V4 als günstigere Modell-Option für sein KI-Tool Copilot Cowork anzubieten. Das berichtet Axios. Gleichzeitig stellt ...

Anthropic legt erstmals interne Daten offen, die zeigen, wie stark Claude angeblich die eigene KI-Entwicklung beschleunigt. Gleichzeitig wirbt das Unternehmen für die Option einer verifizierbaren, ...

Moonshot AI hat mit Kimi K2.7-Code ein neues KI-Modell veröffentlicht, das speziell auf Programmieraufgaben und agentenbasierte Coding-Workflows ausgerichtet ist. Das Modell baut auf dem Vorgänger ...

"Chat ist tot", sagte ein leitender OpenAI-Mitarbeiter laut Financial Times. Die Zukunft liege nicht in Chatbots, die Fragen beantworten, sondern in Agenten, die eigenständig Aufgaben erledigen.

Anthropic veröffentlicht zwei neue Modelle der fünften Claude-Generation. Claude Fable 5 soll in fast allen Benchmarks führend sein, Claude Mythos 5 (ohne Preview) steht weiter zunächst nur ...

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

Damit das Modell lernt, wann es eingreifen soll, benötigte das Team ein passendes Korpus. Bestehende Audio-Datensätze bestehen den Forschern nach aus kurzen, isolierten Clips und enthalten weniger ...