Исследовательница Стэнфорда Чюэ Сун и её коллеги создали ИИ-инструмент, который заверши...
Исследовательница Стэнфорда Чюэ Сун и её коллеги создали ИИ-инструмент, который завершил инженерный проект менее чем за половину дня и менее чем за $500. Три высококвалифицированных эксперта вручную выполняли ту же работу пять месяцев. Отдельно Сун с помощью ИИ проверила часть кода, шифрующего разговоры в Signal, но сроки и стоимость этой работы не указаны. Речь о формальной верификации — математической проверке программ. Она зависит от исходных предположений и может не выявить ошибки пользователей или аппаратные сбои. #исследования #нейросети 🔹 Первый Нейронный · Ещё у нас: 📱 Технологии и гаджеты