北京大学のチームは、AIにおけるアルゴリズム設計上の困難を解決するアルゴリズム最適化ソフトウェアを開発しました。彼らはプログラム計算とプログラム列挙を組み合わせる手法を採用し、AutoLifterとSynMemという2つのソフトウェアを設計しました。これらのソフトウェアは、アルゴリズム最適化の正確性を向上させるだけでなく、問題解決速度を大幅に向上させます。テストでは、AutoLifterは分割統治型アルゴリズムの問題で82問を解き、他のプログラム合成手法を上回りました。