Mais um entusiasta do DeepSeek: o co-fundador do NEAR, Illia @ilblackdragon. Em uma entrevista exclusiva, ele afirmou que a equipe conseguiu resolver a verificação formal de código extremamente complexa ao fornecer ao DeepSeek uma cadeia de ferramentas personalizada. Em execuções de raciocínio matemático de alta complexidade, sua precisão é totalmente comparável à do Claude 3.5 Sonnet e ao ChatGPT de topo. O mais impressionante: o DeepSeek é 100 a 200 vezes mais barato do que os modelos proprietários de ponta. Tarefas de pesquisa que antes custavam dezenas de milhares de dólares agora podem ser concluídas por centenas de dólares, eliminando completamente a censura agressiva das grandes empresas proprietárias. Não é que os modelos proprietários sejam inacessíveis — é que os modelos abertos oferecem muito mais valor por dinheiro 😏.