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