Proof-carrying code [for Safe AI] was originally described in 1996 by George Necula and Peter Lee.
Proof-carrying code Proof-carrying code (PCC) is a software mechanism that [...]
AI safety is doomed to fail | Roman Yampolskiy and Lex Fridman | Lex Clips
FOR EDUCATIONAL AND KNOWLEDGE SHARING PURPOSES ONLY. NOT-FOR-PROFIT. [...]
Provably Safe Systems: The Only Path to Controllable AGI. Tegmark and Omohundro. 06 SEPT 2023.
FOR EDUCATIONAL AND KNOWLEDGE SHARING PURPOSES ONLY. [...]
The Future of AI: Too Much to Handle? With Roman Yampolskiy and 3 Dutch MPs. Existential Risk Observatory.
FOR EDUCATIONAL AND KNOWLEDGE SHARING PURPOSES ONLY. NOT-FOR-PROFIT. [...]
Position: Levels of AGI for Operationalizing Progress on the Path to AGI. 05 JUNE.
Be VERY careful what you wish for! [...]
Matthew Berman. “New Jailbreak Technique… jailbreaking is likely going to be around forever” 19 JULY.
"Jailbreaking is likely going to be around forever because [...]
AP. Tech disruptions sparked by software update highlight the fragility of globally connected technology.
OBVIOUS: Global digital infrastructures wreak havoc when disrupted by [...]
BBC NEWS. Mass IT outage affects airlines, media and banks. 19 July 2024.
Obviously digital machine failures can severely disrupt human infrastructure. [...]
AP. Exclusive: OpenAI working on new reasoning technology under code name ‘Strawberry’. July 15, 2024.
Be VERY careful what you wish for! [...]
CNBC Television. The AI doctor will see you now: ChatGPT dominates medical exam. 18 JULY.
FOR EDUCATIONAL AND KNOWLEDGE SHARING PURPOSES ONLY. NOT-FOR-PROFIT. [...]