11.11云上盛惠!海量产品 · 轻松上云!云服务器首年1.8折起,买1年送3个月!超值优惠,性能稳定,让您的云端之旅更加畅享。快来腾讯云选购吧!
《AI日报》今日聚焦多项AI领域突破:腾讯推出CodeBuddy 3.0编程助手,深度整合微信小程序开发工具;字节跳动发布仅20B参数的Seed1.5-VL多模态模型,性能达行业领先;通义千问上线"Deep Research"智能研究系统,免费开放体验。此外,苹果推出革命性3D建模工具Matrix3D,Anthropic即将发布Claude Neptune新模型,清华与面壁智能联合推出端侧GUI智能体AgentCPM-GUI。谷歌搜索正测试"AI Mode"新功能,或将取代传统"手气不错"按钮。
2025年AI编程浪潮持续升温,OpenAI拟30亿美元收购AI编程助手公司Windsurf,Cursor母公司Anysphere获9亿美元融资。AI生成代码的可靠性引发关注,Lightrun公司推出Runtime Autonomous AI Debugger工具,可在IDE中精确定位问题代码并提供修复建议,将调试时间从数天缩短至几分钟。该公司近期完成7000万美元B轮融资,总融资达1.1亿美元。AI编程工具市场规模预计2032年达300亿美元,但AI生成代码的可靠性问题亟待解决。Lightrun的解决方案让开发者能在软件上线前发现并修复bug,防患于未然。
DeepSeek发布数学推理模型DeepSeek-Prover-V2,包含7B和671B两个参数版本。该模型采用"递归+强化学习"训练方法,在MiniF2F测试集上达到88.9%通过率,解决了PutnamBench中的49道题目。关键技术包括:1) 使用DeepSeek-V3分解复杂定理生成子目标;2) GRPO算法从多个候选方案中自动学习最优解;3) 通过思维链整合非形式化推理与形式化证明。模型在AIME竞赛题和教科书题目上也表现优异,7B小模型意外在部分问题上超越大模型。论文指出该方法为通向AGI提供了正确路径,未来将扩展至IMO级别数学难题。
快科技4月30日消息,今日,DeepSeek 今日在 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。据介绍,DeepSeek-Prover-V2-671B 其参数量达到6710亿,使用了更高效的 safetensors 文件格式,并支持 BF16、FP8、F32 等多种计算精度,方便模型更快、更省资源地训练和部署。在模型架构上,该模型使用了DeepSeek-V3架构,采用MoE(混合专家)模式,具有61层Transformer层,7168维隐藏层。同时支持超长上下文,最大位置嵌入达163840,使其能处理复杂的数学证明,并且采用了FP8量化,可通过量化技术减小模型大小,提
2025年2月28日,上海——在人工智能技术迅猛发展的背景下,上海海曦技术有限公司DeepSeek大模型一体机添新丁。本次海曦技术新推三款一体机,新增对沐曦推理卡的支持,并且推出两款单机即可跑满血版DeepSeek的一体机,在熠知CPU、NPU、GPU多个处理单元协同作用下,充分复用机载内存,实现离散存储,协同计算,一台机器即可实现运行DeepSeek满血版,TPS达到20以上。关于海曦技术海曦技术是禾盛新材旗下专注于人工智能技术研发与应用的子公司,致力于为各行业提供高效、安全、智能的解决方案。
DeepSeek的含金量还在上升,一个半个周末过去发生这些大事:国家超算互联网平台上线DeepSeek-R1,最高支持671B的满血版。平头哥玄铁芯片成功适配DeepSeek-R1系列蒸馏模型,在RISC-V架构CPU和端侧平台打开新的应用空间。不过一直关注大模型的朋友可能还记得,这个域名曾先后定位到ChatGPT和xAI。
在2025年CES展会上,LG展示了其最新的UltraFine显示器,标志着公司在显示技术上的又一突破。该款显示器的设计极为纤薄,超薄的显示屏安装在同样精巧的底座上,兼具美学与功能性。首批Thunderbolt5线缆和底座已经问世Apple最新的MacBookPro和MacMini也已具备Thunderbolt5支持,为创意工作者和专业用户带来了更加高效的工作体验。
DeepSeek新版模型正式发布,技术大佬们都转疯了!延续便宜大碗特点的基础之上,DeepSeekV3发布即完全开源,直接用了53页论文把训练细节和盘托出的那种。QLoRA一作的一个词评价就是:优雅。当然最后也确实帮上忙了贾扬清也再次感叹:最最后,除了本次官方公布的测试结果,Imsys匿名竞技场也出来提前预热了。
特斯拉的无人驾驶出租车Cybercab最新设计细节曝光,展示了其在结构优化上的显著进步。Cybercab的零部件数量将比Model3减少约50%,车身结构组件数量更是比ModelY减少60%。Cybercab可能采用无线感应充电技术,并配备机械臂自动清洁车内环境。
在今日举办的特斯拉WE,ROBOT”发布会上,马斯克乘坐一辆Cybercab无人驾驶出租车进入会场。马斯克表示,特斯拉Robotaxi名为Cybercab,没有方向盘和踏板,车辆成本预计将低于30000美元,新车预计将于2026年投入生产。在发布会现场,共有50辆特斯拉无人驾驶汽车,马斯克指出,预计特斯拉将在明年在德克萨斯州和加利福尼亚州启动无人监督的完全自动驾驶功能。