= 27d567bc2d48d9f40e9ccc20ea370b15)
Mark_Friedenbach comments on LessWrong's attitude towards AI research - 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 (49)
Is it time for the poser group to show up already? Most of the mathematics of AI has not been formalized yet. So yes, they do have something to show for it, not focusing on the wrong problem for years on end leading every one astray.
Among other things.
AI is extremely well formalized. Every aspect of AI has strong mathmatical foundations and impressive theoretical results. What are you thinking hasn't been worked out yet?
I'm sure MIRI would appreciate it if you could point to the results that make their work redundant.
The word AI has a specific meaning and is not synonymous with AGI. There's indeed a lot of mathematics of AI published.
MIRI isn't working on AI, nor do they intend to in the near future. What MIRI is working on has nothing at all to do with actual AI/AGI implementations. They have said this publicly; this is not (or should not be) controversial.