Terms for subject Artificial intelligence containing advances in

English	Russian
advance in SMT solvers	прогресс в научно-исследовательских и опытно-конструкторских разработках решателей задач выполнимости формул в теориях (контекстуальный перевод на русс. язык Alex_Odeychuk)
recent advances in generative artificial intelligence	последние достижения в области генеративного искусственного интеллекта (forbes.com Alex_Odeychuk)