Модель на базе Qwen3 генерирует кандидаты SOS-разложений для полиномиальных неравенств как этап конвейера автоматизированного доказательства.

Подходит для: генерация кандидатов SOS-разложений для полиномиальных неравенств · автоматизация поиска структуры сертификата суммы квадратов · подготовка гипотез для символьной коррекции коэффициентов