News list for "DeepSeek"
On May 13, the DeepSeek service status page was updated to say that the dialogue function between the APP and the WEB side has returned to normal, but there is still a certain probability that the dialogue history cannot be obtained.
5月13日消息，DeepSeek服务状态页更新称，APP与WEB端对话功能已恢复正常，但对话历史仍存在一定概率无法获取的问题。
5月13日消息，DeepSeek今日登上微博热搜第二，不少网友反馈一直在转圈、无法使用。DeepSeek内部人员回应称：正在处理中，请稍后尝试。
据TechCrunch报道，微软总裁Brad Smith在参议院听证会上表示，因数据安全与宣传内容风险，微软禁止员工使用DeepSeek应用服务，并未将其上架应用商店。尽管微软曾在Azure上提供DeepSeek R1模型下载，但其仅限于开源模型部署，而非官方应用。Smith还透露，微软曾对DeepSeek模型进行“修改”，以移除潜在有害内容。
Market news: Apple (AAPL. O) considered Anthropic, DeepSeek, Grok, and Perplexity, several artificial intelligence companies.
市场消息：苹果(AAPL.O)公司考虑了Anthropic、DeepSeek、Grok和Perplexity这几家人工智能公司。
DeepSeek today released a new model called DeepSeek-Prover-V2-671B on the AI open source community Hugging Face. It is reported that the DeepSeek-Prover-V2-671B uses a more efficient safetensors file format and supports a variety of computational precision, which makes it easier to train and deploy the model faster and less resourceful. The parameters reach 671 billion, or an upgraded version of the Prover-V1.5 mathematical model released last year. On the model architecture, the model uses Deep...
DeepSeek今日于AI开源社区Hugging Face上发布了一个名为DeepSeek-Prover-V2-671B的新模型。据悉，DeepSeek-Prover-V2-671B 使用了更高效的 safetensors文件格式，并支持多种计算精度，方便模型更快、更省资源地训练和部署，参数达6710亿，或为去年发布的Prover-V1.5数学模型升级版本。在模型架构上，该模型使用了DeepSeek-V3架构，采用MoE（混合专家）模式，具有61层T...
On April 19, Nvidia CEO Huang Renxun has ended his trip to China. In response to whether Huang Renxun met with DeepSeek founder Liang Wenfeng, who has been highly concerned by the outside world, the reporter confirmed from people familiar with the details of Huang Renxun's trip to China that Huang Renxun did not meet with DeepSeek throughout the process.
4月19日讯，英伟达CEO黄仁勋已结束中国之行。针对外界高度关注的黄仁勋是否与DeepSeek创始人梁文锋会面，记者从了解黄仁勋中国之行细节的人士方面证实，黄仁勋全程未与DeepSeek会面。
According to Jin Ten Data, Nvidia CEO Huang Renxun has ended his trip to China. In response to whether Huang Renxun met with DeepSeek founder Liang Wenfeng, who has been highly concerned by the outside world, the reporter confirmed from people familiar with the details of Huang Renxun's trip to China that Huang Renxun did not meet with DeepSeek people throughout the whole process.
据金十数据报道，英伟达CEO黄仁勋已结束中国之行。针对外界高度关注的黄仁勋是否与DeepSeek创始人梁文锋会面，记者从了解黄仁勋中国之行细节的人士方面证实，黄仁勋全程未与DeepSeek人士会面。
The reporter learned exclusively from Nvidia that the company's CEO Huang Renxun has left Beijing after meeting with government officials. Nvidia did not disclose other itineraries of Huang Renxun's trip to China, including whether Huang Renxun met with DeepSeek founder Liang Wenfeng. (Jin Ten)
记者从英伟达方面独家获悉，公司CEO黄仁勋在与政府官员会面后已离开北京。英伟达未透露黄仁勋中国之行的其他行程，包括黄仁勋是否与DeepSeek创始人梁文锋会面。(金十)
Jen-Hsun Huang, chief executive of Nvidia, met with the founder of DeepSeek in China. (Financial Times)
