AISI: KI-Agenten von OpenAI und Anthropic griffen bei Cyber-Tests reale Systeme an 18. September 2026
Anthropic AI formalisiert die Beweisführung von Fermats letzten Satz in nur 11 Tagen 4. September 2026