Logan Zoellner comments on A List of things I might do with a Proof Oracle

[Logan Zoellner]

I think Siren worlds are fairly uncommon and only arise under intense optimization pressure so any decent regularization scheme should make them irrelevant.