Artificial General Intelligence Papers
Manage a hard take-off:
Safe Artificial General Intelligence via Distributed Ledger Technology
Prove AGI properties including safety:
Provably Safe Artificial General Intelligence via Interactive Proofs
Contact kris@carlsonresearch.org
Blogs
Safe Artificial General Intelligence