Will Baidu have a top-ranked AI model before 2027? (12% odds) | Kelvon