Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
Yitz comments on
Danger(s) of theorem-proving AI?
Yitz
17 Mar 2022 10:23 UTC
1
point
That seems like a very mild danger compared to risks from other AI models, tbh.
Back to top
That seems like a very mild danger compared to risks from other AI models, tbh.