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

Satya Benson 13 Aug 2026 15:20 UTC
1 point
0
New lean proof of 517 bound: https://github.com/DLorell/stoch_to_det/pull/3
- Satya Benson 13 Aug 2026 18:12 UTC
  1 point
  0
  Parent
  270: https://github.com/DLorell/stoch_to_det/pull/4
  - Satya Benson 14 Aug 2026 21:56 UTC
    1 point
    0
    Parent
    96: https://github.com/DLorell/stoch_to_det/pull/5
    
    Happy to finally be down to double digits. I am optimistic that single digits is not that far off.