Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
Quinn comments on
Is progress in ML-assisted theorem-proving beneficial?
Quinn
11 Jul 2022 0:53 UTC
7
points
Unlikely, see
here
(Rohin wrote a TLDR for alignment newsletter, see the comment).
Back to top
Unlikely, see here (Rohin wrote a TLDR for alignment newsletter, see the comment).