Otro entusiasta de DeepSeek se ha sumado, como Illia @ilblackdragon, cofundador de NEAR. En una entrevista exclusiva, mencionó que el equipo logró resolver la verificación formal de código extremadamente compleja al equipar a DeepSeek con una cadena de herramientas personalizada. Durante la ejecución de razonamientos matemáticos de alta dificultad, su nivel de rigor es completamente comparable al de Claude 3.5 Sonnet y ChatGPT de gama alta. Aún más impactante: DeepSeek es entre 100 y 200 veces más económico que los modelos cerrados de punta. Tareas de investigación que antes costaban decenas de miles de dólares ahora se pueden realizar por unos pocos cientos de dólares, eliminando por completo la censura arbitraria de las grandes empresas cerradas. No es que los modelos cerrados sean inalcanzables, sino que los abiertos ofrecen una relación calidad-precio mucho mejor 😏.