Английский ⇄ Русский +

proof assistant ударения
ИИ.	доказыватель теорем (mistral.ai Alex_Odeychuk); система автоматического доказательства теорем (theatlantic.com Alex_Odeychuk)

proof assistant : 2 фразы в 1 тематике

Искусственный интеллект

2