RealFeedApp Keine endgültigen Regelbücher für sichere Programme
Die Studie beweist, dass zwei vollständige Regelbücher für sichere Programme gleichzeitig existieren können. Eine endliche Menge von Nachweisen kann niemals alle Sicherheitsbedingungen für alle Programme verifizieren.
- Bereich
- Computersicherheit
- Was gemacht wurde
- Доказано, что любые правила безопасности, которые можно проверить за конечное время, не могут полностью гарантировать, что программа безопасна, потому что понятия «никогда» и «всегда» требуют бесконечного наблюдения.
- Warum es wichtig ist
- Это означает, что системы безопасности не смогут никогда полностью утвердить программу как безопасную, так как любые нарушения можно будет обнаружить позже, но безопасные программы нельзя будет никогда окончательно очистить.
#ai safety#alignment#impossibility theorem#program verification#gatekeeping agents
