DeepSeek v3

New Deepseek v3 scores really high on Aider leaderboards:
https://aider.chat/docs/leaderboards/

Model: https://huggingface.co/deepseek-ai/DeepSeek-V3-Base/tree/main

Would probably be the new best model on the platform.
Is 600B+ params a problem ? Would the pricing be similar to LLama 3 405B ?

Merry Christmas!