AI team 都没进finals。不过总共就仨国内的AI team参赛了。如果弯曲那个一堆IMO金牌做的unicorn公司参加的话结果可能不一样呢。