Has anyone at MIRI tried bringing up any FAI-related math problems on MathOverflow or a similar site?
CSTheory.stackexchange is probably also relevant for anything in the vein of solomonoff induction.
Has anyone at MIRI tried bringing up any FAI-related math problems on MathOverflow or a similar site?
CSTheory.stackexchange is probably also relevant for anything in the vein of solomonoff induction.