4月30日，DeepSeek于AI开源社区Hugging Face上发布了一个名为DeepSeek-Prover-V2-671B的新模型。据了解，DeepSeek-Prover-V2-671B 使用了更高效的 safetensors文件格式，并支持多种计算精度，方便模型更快、更省资源地训练和部署，参数达6710亿，或为去年发布的Prover-V1.5数学模型升级版本。（新浪科技）
原创文章，作者：狐呼网，如若转载，请注明出处：https://www.ihuho.com/8020.html
关于作者
广东：推动政府等公共服务机构率先接入人工智能大模型
上一篇
8小时前
科大讯飞联合华为发布讯飞星火AIPC
下一篇
8小时前
相关推荐
-
马斯克：人形机器人Optimus已在弗里蒙特厂试产线完成制造
据Teslarati，马斯克今日透露，人形机器人擎天柱（Optimus）已在弗里蒙特工厂的试产线上完成制造。特斯拉今年目标生产5000台Optimus，且已订购的零部件足够支撑今年…
-
NVIDIA宣布在波士顿建立加速量子计算研究中心
英伟达于3月18日宣布，正在波士顿建立一家研究中心，旨在通过尖端技术推动量子计算发展。英伟达加速量子计算研究中心（NVAQC）将整合量子硬件与AI超级计算机，实现“加速量子超级计算…
-
金山办公“PPT文生图模型”亮相全球机器学习技术大会，创作效率提升超80%
4月19日，由CSDN与Boolan联合主办的“2025全球机器学习技术大会”在上海开幕。金山办公在本次大会上带来最新研发成果，PPT文生图模型。区别于大模型生成PPT，WPS可基…
-
SandboxAQ 获得 3 亿美元融资，推动大型量化模型创新
科技公司 SandboxAQ 宣布完成超过3亿美元的融资，以加速其大型量化模型（L）及其他人工智能应用的开发。本轮融资由 Fred Alger Management、T. Rowe…
-
擎朗智能正式发布人形具身服务机器人XMAN-R1
狐呼网获悉，服务机器人企业擎朗智能正式发布人形具身服务机器人XMAN-R1，打造多形态具身服务机器人协作生态。目前，XMAN-R1已可完成服务场景内”点单-配餐-送餐-收餐”等长任…
-
Manus光谷研发团队大量招聘 涉及10余个岗位
3月16日，国产AI智能体Manus一夜爆火后，其武汉研发团队——蝴蝶效应公司在光谷发布了招聘需求，扩大团队规模。此次招聘共有10余个岗位，将持续招聘。工作内容涉及Linux、运维…
-
2025最牛的AI应用开发者 都在做AI浏览器
The Browser Company是一家明星且特别的公司。 它创办于2019年，base在纽约，累计融资1.28亿美元，估值超过5.5亿美元。 核心产品Arc浏览…
-
Tinder推出AI语音调情游戏”Game Game”，与OpenAI合作引发争议
Tinder近日宣布与OpenAI合作，推出了一款名为”Game Game”的AI语音调情游戏。该游戏利用OpenAI的语音模式和GPT-4o推理模型，鼓励…
-
工信部：即将发布《医药工业数智化转型实施方案》
国新办于3月21日上午10时举行国务院政策例行吹风会，工业和信息化部消费品工业司司长何亚琼表示，随着信息技术的发展，随着人工智能加快迭代升级，为下一步中医药的快速发展提供了良好的基…
-
联想AI桌面助手接入豆包大模型
联想宣布与火山引擎达成合作，将豆包大模型整合进其AI桌面助手如意（AI Stick），推出AI搜索、AI写作、AI聊天三大新功能，标志着如意在个性化AI服务方面迈出了重要一步。 A…
