Проверяемость — это будущее ИИ