Диффузия вместо перебора: нейросеть учит солверы не ошибаться
Исследователи предложили DiBS — гибрид диффузионной модели и классического символьного солвера для задач с жёсткими ограничениями. Тест на сложнейшем бенчмарке Судоку показал: нейросеть как «штурман» резко сокращает количество перебора и откатов.