Satya Benson comments on Redux: (∃ Stochastic Natural Latent) Implies (∃ Deterministic Natural Latent)

[Satya Benson]

Could you explain the reason you think the correct lower bound is higher than 1.838?

Edit: Looks like it’s at least 1.948: https://​​github.com/​​satchlj/​​stoch-to-det-lower

[Archimedes]

I think I have a Lean proof that C > 1.93777676

[Satya Benson]

I see, yeah—I wonder if it’s 2.

[Satya Benson]

I’ve got it up to 1.96