Smart money 59% YES: Xiaomi be the second-best Math AI lab…