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.
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?
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.
Before we engage in this discussion please demonstrate you have done due diligence and have tried to read a few of their papers, their justification for having made this organization, and then check if their affiliates would organize around them if this was true.
People speak such ill on the basis of not much at all.
Is that healthy or realistic?
It’s not realistic. MIRI has nothing to show in the field of AI.
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.
Before we engage in this discussion please demonstrate you have done due diligence and have tried to read a few of their papers, their justification for having made this organization, and then check if their affiliates would organize around them if this was true.
People speak such ill on the basis of not much at all.
Who are we talking about? What did I speak ill of?
Can you direct me to some of those papers? Where should I start?
They are posted here.
IMHO, good starting points are ‘Definiability of Truth in Probabilistic Logic’ and ‘Robust Cooperation in the Prisoner’s Dilemma’.