If Baidu is the Highest Ranked Chinese AI Company model on Arena AI Text Score (Remove Style Control) on Aug 3, 2026 at 10:00am ET, then the market resolves to Yes.