I’m not at MIRI but I was at part of the workshop and my answer would be no (although I do think the result is worthwhile).
Although I would also place Cox’s theorem and graphical models on pretty different standing; the latter seems much more important to me than the former.
Yes, Cox’s result gives a different supporting argument for the use of probability, but didn’t introduce new ways of doing probabilistic reasoning, whereas graphical models have had major applications in efficient probabilistic reasoning in practice.
I’m not at MIRI but I was at part of the workshop and my answer would be no (although I do think the result is worthwhile).
Although I would also place Cox’s theorem and graphical models on pretty different standing; the latter seems much more important to me than the former.
Yes, Cox’s result gives a different supporting argument for the use of probability, but didn’t introduce new ways of doing probabilistic reasoning, whereas graphical models have had major applications in efficient probabilistic reasoning in practice.