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.
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.