sat.
Нейросеть без нейросети: как обучить классификатор Iris через SAT и запустить это на GPU
ВступлениеВ прошлой статье я показывал,как мы в AGIQ Solver Enterprise применили квантово‑вдохновлённый популяционный подход на GPU для NP‑задач и получили ускорение на практических постановках в 50–100 раз по сравнению с последовательным перебором и плохо распараллеливаемыми схемами.Сегодня — следующий шаг:покажу,как задачи машинного обучения можно кодировать в SAT/MaxSAT, а затем решать обычным NP‑солвером — тем же AGIQ Solver Enterprise.О чём статья (и что мы НЕ делаем)
Бывший инженер НАСА и YouTube-блогер запустил сервис, который позволяет сделать селфи из космоса
Экс-инженер НАСА, а ныне YouTube-блогер Марк Робер представил
