DeepSeekのファンがさらに増えた。例えばNEARの共同創設者Illia @ilblackdragonもその一人だ。 彼のインタビューで、チームはDeepSeekにカスタムツールチェーンを導入することで、極めて複雑なコードの形式的検証を即座に実現した。高度な数学的論理推論を実行する際、その厳密さはClaude 3.5 Sonnetや最高スペックのChatGPTとまったく対等だ。 さらに衝撃的なのは、DeepSeekがトップレベルの閉源モデルと比べて100〜200倍も安価であるということだ。かつて数万ドルかかっていた研究タスクが、今では数百ドルで済むようになり、閉源大手による粗暴な検閲も完全に回避できるようになった。 閉源モデルが使えないわけではない。ただ、オープンソースの方がはるかにコスパが良いだけだ😏。