Will Baidu be the second-best Math AI lab at the end of October 2026? — Resolved: No won · Polymarket odds & results · Polynyx