DeepSeek выпустил открытую математическую модель уровня победителя олимпиады