垃圾Deepseek發佈Deepseek Prover-V2-671B新模型

廢唔廢d，到今時今日剩係可以入163840個tokens?仲話係超長上下文？

DeepSeek今日在AI開源社群 Hugging Face上發布了一個名為DeepSeek-Prover-V2-671B的新模型。

據悉，DeepSeek-Prover-V2-671B使用了更有效率的safetensors檔案格式，並支援多種運算精度，方便模型更快、更省資源地訓練和部署，參數達6710億，或為去年發布的Prover-V1.5數學模型升級版本。同時支援超長上下文，最大位置嵌入達163840，使其能處理複雜的數學證明，並且採用了FP8量化，可透過量化技術減小模型大小，提高推理效率。

link: http://www.aastocks.com/tc/stocks/news/aafn-con/IC4488612/latest-news/INFOCAST

百度李彥宏：DeepSeek又慢又廢又貴！
https://lih.kg/3918258
- 分享自 LIHKG 討論區

良心中國科技大佬承認deepseek又廢又貴又抄，中國官方要求佢道歉
https://lih.kg/3886276
- 分享自 LIHKG 討論區

Deepseek唔夠其他大模型公司爭，開始剩係谷一個科目

睇黎deepseek真係沒落
又廢又冇人討論

智商超過90未

依d specialized model應該仲弱智d

Deepseek末落，IQ被評定為80分
https://lih.kg/3914589
- 分享自 LIHKG 討論區

V2
DS唔係V1 V2 V3 R1咁去
V2咪即係退步

Deepseek Prover-V2-671B
數學模型，俾人計數/數學證明用
唔係一般用既模型

唔止AI 會取代人類，AI 都會取代AI。

同樣係中國野,豆包好用過佢!

163k夠用

80分
證明佢成功模仿小農基因之下嘅思維能力