Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
Jonathan_Graehl comments on
AI cooperation in practice
Jonathan_Graehl
1 Aug 2010 7:49 UTC
3
points
“proved by a proof checker”—huh?
timtyler
1 Aug 2010 8:44 UTC
−2
points
Parent
“Asserted”, “approved”—whatever.
Back to top
“proved by a proof checker”—huh?
“Asserted”, “approved”—whatever.