大模型的发展速度很快，对于需要学习部署使用大模型的人来说，显卡是一个必不可少的资源。使用公有云租用显卡对于初学者和技术验证来说成本很划算。DataLearnerAI在此推荐一个国内的合法的按分钟计费的4090显卡公有云服务提供商仙宫云，可以按分钟租用24GB显存的4090显卡公有云实例，非常具有吸引力~
今日推荐
DeepSeekAI开源第二代数学理论证明大模型DeepSeek-Prover-V2：让AI帮助数学家证明数学理论！
ChatGPT的强有力挑战者HuggingChat发布——速度很快，不过水平略差~~
MistralAI发布了Mixtral 8×7B MoE模型的论文，更详细的参数和对比结果~
OpenAI正在测试一个新的o3模型：o3 alpha模型，实测编码和游戏能力十分突出
MistralAI可能即将发布新的大语言模型，Mistral Next悄悄登场Chat Arena！
MATH vs. MATH-500：数学推理评测基准的对比与解析
最像OpenAI的企业Anthropic的重大产品更新：GPT-4最强竞争模型Claude2发布！免费！具有更强的代码能力与更长的上下文！
OpenAI发布ChatGPT Agent系统：一个新模型驱动的系统，可以写代码运行代码，使用浏览器订票，写PPT、做excel的全能Agent