Еще один поклонник DeepSeek — например, сооснователь NEAR Illia @ilblackdragon. В интервью он заявил, что команда смогла решить чрезвычайно сложную задачу формальной верификации кода, оснастив DeepSeek набором пользовательских инструментов. При выполнении сложных математических логических выводов его строгость полностью сопоставима с Claude 3.5 Sonnet и топовыми версиями ChatGPT. Еще более впечатляет то, что DeepSeek дешевле в 100–200 раз, чем ведущие закрытые модели: исследования, которые раньше стоили десятки тысяч долларов, теперь можно выполнить за несколько сотен долларов, полностью избежав жесткой цензуры крупных закрытых компаний. Не то чтобы закрытые решения неподъемны — просто открытые решения выгоднее 😏.