Neue Spezifikationssprache für KI-Software könnte die KI-Ausrichtung und KI-Sicherheit für zukünftige KI und Maschinen lösen

Interessante experimentelle logische KI hat vielversprechende Auswirkungen auf die KI-Sicherheit.

Behauptung, eine Sprache geschaffen zu haben, die es Entwicklern ermöglicht, Software und KI zu erstellen, die über ihre eigenen zukünftigen Versionen nachdenken können.

Ursprünglicher Beitrag: https://x.com/TauLogicAI/status/1841813606154793354

Zusammenfassung: Zusammenfassung ihres Prozesses und der Sprachtechnologie: https://tau.net/Logical-AI-Software-Specification-Reasoning-GSSOTC.pdf

Vollständiges Papier: https://tau.net/Theories-and-Applications-of-Boolean-Algebras-0.25.pdf

Aber der ganze Aufsatz ist super lang und geht mir über den Kopf, die Zusammenfassung ist viel leichter zu verdauen.