= 27d567bc2d48d9f40e9ccc20ea370b15)
thomblake comments on Tiling Agents for Self-Modifying AI (OPFAI #2) - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (260)
This post does answer some questions I had regarding the relevance of mathematical proof to AI safety, and the motivations behind using mathematical proof in the first place. I don't believe I've seen this bit before:
...I've actually said it many, many times before but there's a lot of people out there depicting that particular straw idea (e.g. Mark Waser).
I don't read a lot of other people's stuff about your ideas (e.g. Mark Waser) but I have read most of the things you've published. I'm surprised to hear you've said it many times before.