Ted Faber on Nostr: They have an optimality proof? I'd bet real money they don't.They have an optimality proof? I'd bet real money they don't.