Uma equipe da Universidade de Pequim desenvolveu um novo software de otimização de algoritmos, que resolve problemas de design de algoritmos de IA combinando cálculo de programas e enumeração de programas. Esses softwares melhoraram a precisão e a velocidade da otimização de algoritmos, especialmente em problemas de algoritmos do tipo "dividir e conquistar".