@QiaochuYuan Yes I think you're right. Looking through them, it doesn't look like any of the interesting ones are proven optimal.

Posters: DRMacIver. DRMacIver

2 likes recorded by the source corpus.

View Post: https://x.com/DRMacIver/status/1626007324321058816