FrontierMath Erdos: 68 offene Probleme in Lean formalisiert, 5 Modelle mit 300 $ Budget getestet 1. September 2026
GPT-Red trainiert Angriffs-Agenten gegen sich selbst: skalierbares Red-Team per Self-Play findet neue Prompt-Injections 28. Juli 2026
EU-Regeln für allgemeine KI-Modelle greifen: Mehr Transparenz, Sicherheit und Rechenschaftspflicht 2. August 2025
KI-Digest
MI · 28. Oktober 2026
KI-Digest
MI · 28. Oktober 2026
