Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
Logan Zoellner comments on
A List of things I might do with a Proof Oracle
Logan Zoellner
6 Feb 2023 13:31 UTC
3
points
0
Interesting that you thought #12 is the easiest to formalize. I would have guessed #14 personally.
Back to top
Interesting that you thought #12 is the easiest to formalize. I would have guessed #14 personally.