Suche: Tag „Beweis“

Tags der Woche

× Filter entfernen

KI-Agenten brechen aus Sicherheitstest aus - Nicht noch ein KI-Podcast #9

Podcast-Episode

Willkommen zur KI-Woche im Rückblick, Kalenderwoche 38, vom 07.09. bis 14.09.. In wenigen Minuten hörst du, was diese Woche in der Welt der Künstlichen Intelligenz passiert ist. Perplexity geht einen mutigen Schritt und setzt das neue Modell GPT-6 Astra direkt in kritischen Produktionssystemen ein.…

Anthropic blockiert KI-Missbrauch für Cyberangriffe und Biowaffen

Artikel

Anthropic hat laut eigenen Angaben mehrere Versuche gestoppt, die KI-Claude für gefährliche Zwecke zu missbrauchen. Doch die Faktenlage bleibt dünn.

Zehn Millionen Dollar für ein Rätsel: OpenAIs dubioser Mathe-Beweis

Artikel

Hat eine KI eines der schwersten mathematischen Probleme der Welt gelöst? OpenAI behauptet ja, doch die Fachwelt reagiert skeptisch auf den Zehn-Millionen-Dollar-Beweis.

KI-Beweis: Claude-Agenten knacken Fermats letzten Satz?

Artikel

Anthropic meldet: Ein Schwarm von Claude-Agenten hat Fermats letzten Satz in Lean formalisiert. Wir ordnen ein, was das bedeutet.