DeepSeek-Prover-V2-671B 模型开源,数学推理领域迎来新突破

中国 AI 初创公司 DeepSeek 再次掀起开源 AI 领域的热潮,正式发布其最新开源模型 DeepSeek-Prover-V2-671B。这一拥有6710亿参数的超大规模语言模型,专为数学推理和问题解决设计,展现了 DeepSeek 在高效 AI 开发上的持续创新能力。根据社交媒体上的最新讨论,这一模型被认为是 DeepSeek 在数学领域的重要里程碑,或将推动全球 AI 研究与应用的进一步

超微公司因客户支出延迟下调业绩预期,引发 AI 投资担忧

近日,知名 AI 服务器制造商超微计算机(Super Micro Computer)发布声明,宣布将其第三季度的收入和利润预期大幅下调。原因是部分客户在支出上出现了延迟,这一消息引发了市场对 AI 相关投资放缓的担忧,导致超微股票在随后的交易中暴跌了16%。 超微公司曾在 AI 浪潮中崭露头角,但近来的业绩下滑让投资者对其前景产生了疑虑。根据公司的最新指引,预计截至3月31日的第三季度收入将从之前

告别“扁平”AI!TesserAct 给AI装上4D大脑,让机器人真正看懂三维世界!

你是否注意到,那些让我们惊叹不已的AI虽然能写诗作画,却对我们生活的三维空间理解有限?当今大多数AI世界模型仍在二维平面中"思考",它们能识别照片中的猫咪,却难以理解物体在空间中的位置、形状与深度。这种"二维诅咒"严重限制了AI,特别是机器人在现实世界中的应用能力。来自UMass Amherst、HKUST和哈佛的研究团队带来了突破性解决方案——TesserAct,一个真正能够理解四维世界的AI模

网信办整治AI技术滥用 整治AI假冒明星等欺骗网民问题

中央网信办近日印发通知,决定在全国范围内开展为期三个月的“清朗·整治AI技术滥用”专项行动,旨在规范AI服务和应用,促进行业健康有序发展,同时保障公民合法权益。此次专项行动分为两个阶段进行。第一阶段主要聚焦于强化AI技术的源头治理,清理整治违规AI应用程序,加强AI生成合成技术和内容标识管理,并推动网站平台提升检测鉴伪能力。第二阶段则集中整治利用AI技术制作发布谣言、不实信息、色情低俗内容,假冒他

Nation Group 重塑战略,拥抱人工智能时代

泰国知名媒体公司 Nation Group 近日宣布了一项重大的战略和组织重组计划,旨在通过人工智能的整合、成本优化以及业务多元化,推动长期增长。这项计划在股东一致通过后,标志着公司在媒体领域未来发展的关键一步,旨在提升管理灵活性并确保在新媒体时代的领先地位。Nation Group 的董事会主席兼首席执行官 Shine Bunnag 表示:“这一战略转型不仅仅是一次重组,而是为组织开辟全新未来的

​中央网信办启动 “清朗” 专项行动,整治 AI 技术滥用现象

中央网信办发布通知,决定在全国范围内开展为期三个月的 “清朗・整治 AI 技术滥用” 专项行动,旨在规范人工智能(AI)服务和应用,促进行业的健康发展,同时保障公民的合法权益。此次专项行动的实施,标志着对 AI 技术滥用现象的高度重视和系统治理的决心。图源备注:图片由AI生成,图片授权服务商Midjourney此次专项行动分为两个阶段进行。第一阶段主要聚焦于 AI 技术的源头治理,重点清理违规的

快手All in AI视觉!成立可灵AI事业部,加速大模型商业化

 4 月 30 日,快手发布组织架构调整公告,宣布正式成立可灵AI事业部,进一步强化其在人工智能领域的战略布局。公告显示,新成立的可灵AI事业部下设可灵AI产品部、运营部和技术部,全面负责包括可灵、可图在内的系列大模型业务。快手高级副总裁盖坤将出任可灵AI事业部负责人,并继续兼任社区科学线负责人。与此同时,快手社区科学线下成立了基础大模型与应用部,专注于LLM大模型、多模态理解大模型以及相关应用技

Unsloth发布Qwen3动态量化2.0版本,优化本地运行体验

Unsloth宣布推出Qwen3的动态量化2.0版本(Dynamic2.0Quants),为显存受限的用户提供了高效的本地运行解决方案。据AIbase了解,新版本通过改进的量化技术,在保持高准确度的同时显著降低显存需求,引发社交平台广泛关注。Unsloth还同步发布了详细的本地运行教程,强调温度(Temperature)参数设置的重要性,以避免推理循环问题。相关细节已通过Hugging Face(

2600 tokens / s:Meta 发布 Llama API,携手 Cerebras 打造最快 AI 推理解决方案

IT之家 4 月 30 日消息,在首届 LlamaCon 大会上,Meta 公司在推出独立 AI 应用之外,还发布了 Llama API,目前以免费预览形式向开发者开放。IT之家援引博文,Llama API 支持开发者测试包括 Llama 4 Scout 和 Llama 4 Maverick 在内的最新模型,提供一键 API 密钥创建以及轻量级的 TypeScript 和 Python SDK。

微软 CEO 纳德拉:公司 20%-30% 的代码由 AI 生成

IT之家 4 月 30 日消息,在本周二举行的 Meta LlamaCon 大会上,微软首席执行官萨提亚・纳德拉(Satya Nadella)在与 Meta 首席执行官马克・扎克伯格的对话中透露,微软公司代码库中有 20% 至 30% 的代码是由人工智能写的。纳德拉表示,在不同编程语言中使用人工智能生成代码的效果存在差异。在 Python 语言中,人工智能生成代码的进展较为显著,而在 C++ 语