Новый инструмент MIT ускоряет решение сложных задач с гарантией выполнимости