A team from Peking University has developed algorithm optimization software to overcome difficulties in algorithm design faced by AI. They combined program calculation and program enumeration methods to design two software packages, AutoLifter and SynMem. These software not only improved the accuracy of algorithm optimization but also significantly increased problem-solving speed. In tests, AutoLifter solved 82 problems in divide and conquer algorithm issues, surpassing other program synthesis methods.