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

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

谷歌Gemini应用负责人Sissie Hsiao将卸任 实验室副总裁接管

据Semafor报道,负责谷歌AI聊天机器人的高管Sissie Hsiao将辞去Gemini应用程序负责人一职。根据该媒体获得的内部备忘录,谷歌实验室副总裁Josh Woodward将接替她的职位。谷歌发言人Alex Joseph已确认这一人事变动,但拒绝发表进一步评论。谷歌DeepMind首席执行官Demis Hassabis在备忘录中表示,此次变动将"让我们更加关注Gemini应用的下一次发展

“礼貌用语”太费钱?奥特曼:让 OpenAI 损失了数千万美元

有人指出,对诸如 ChatGPT 之类的 AI 聊天机器人使用 “拜托”、“谢谢” 等礼貌性的表达,从企业角度来看,可能会带来巨大的成本负担。站长之家(ChinaZ.com) 4月21日 消息:据美国 IT 媒体《The Verge》报道,OpenAI 首席执行官山姆・奥尔特曼最近在社交平台 X(原推特)上回复一位用户的提问时称,“(对 AI 说话太礼貌)已经让 OpenAI 产生了数千万美元

OpenAI发布GPT-4.1指令提示工程指南

4月15日,OpenAI 发布了针对 GPT-4.1的提示工程指南,为开发者提供了全面的建议和最佳实践,帮助他们更高效地构建和优化 AI 应用。这份指南详细介绍了 GPT-4.1的特性,并提供了从基础原则到高级策略的一系列技巧,旨在帮助开发者充分利用 GPT-4.1的强大能力。GPT-4.1是 OpenAI 最新的语言模型,它在编程能力、指令遵循能力和长上下文处理能力上相比前代模型有显著提升。该模

我国发布首部生成式 AI 翻译应用指南,为行业提供系统指导

IT之家 5 月 4 日消息,4 月 25 日,中国翻译协会翻译技术专业委员会在 2025 中国翻译协会年会上发布《翻译行业生成式人工智能应用指南(2025)》。▲ 中国翻译协会翻译技术专业委员会秘书长王华树教授发布指南(图源中国翻译协会)中国翻译协会称,随着生成式人工智能持续突破,其在语言处理领域的应用正深刻重塑翻译行业格局。《指南》应运而生,参考了国家和国际相关规范,聚焦场景应用、能力升级、

广电总局:广电视听智能体开发工具在短视频创作领域得到应用,将向全行业开源

感谢IT之家网友 西窗旧事 的线索投递!IT之家 4 月 10 日消息,国家广播电视总局今日发文称,国家广播电视总局广播电视科学研究院积极开展生成式人工智能技术应用研究,集成文本、图像、视频、音频等人工智能大模型,研发了广电视听智能体(AI Agent)开发工具,已完成 DeepSeek、阿里通义万相、腾讯混元、阶跃星辰等多个国产开源大模型的集成。IT之家从官方介绍获悉,该工具实现了节目策划创

华为张修征:今年上半年 CloudMatrix 384 超节点将有数万规模上线,有望“彻底终结算力焦虑”

IT之家 4 月 11 日消息,据《科创板日报》报道,华为公司副总裁张修征今日表示,华为云 CloudMatrix 384 超节点今年上半年将有数万规模的上线,这或将彻底终结算力焦虑。未来,CloudMatrix 超节点可以构建超过万片的大集群来提供算力。据IT之家此前报道,4 月 10 日,华为云生态大会 2025 于安徽芜湖召开,华为常务董事、华为云计算 CEO 张平安公布了 AI 基础设施

Meta 推出独立 AI 助手应用,融合社交元素挑战 ChatGPT

感谢IT之家网友 HH_KK 的线索投递!IT之家 4 月 29 日消息,Meta 公司今日正式发布了其独立的 AI 助手应用 ——Meta AI,旨在与 ChatGPT 等竞争对手抗衡。该应用具备当前 AI 助手的典型功能,用户可以通过文字输入或语音对话与其交互,生成图像,并获取实时网络搜索结果。据IT之家了解,Meta AI 应用的最大创新之处在于其“发现”(Discover)信息流功能,

AI产品榜去哪看?AI产品榜国内总榜网站推荐

AIbase基地(https://www.aibase.com/zh)是一个专注于人工智能(AI)领域的综合性平台,旨在为用户提供全面的AI资讯、工具、产品推荐以及变现指南。它不仅是一个信息集散地,更是一个助力开发者、创业者和爱好者探索AI世界的强大工具。通过整合全球AI行业的最新动态、热门产品、开源项目以及变现案例,AIbase基地为用户提供了通往通用人工智能(AGI)之路的清晰导航。网站功

推理性能再飞跃!DeepSeek推创新技术SPCT,让大模型更懂人心

备受瞩目的中国人工智能研究实验室DeepSeek AI,继其强大的开源语言模型DeepSeek-R1之后,再次在大型语言模型(LLM)领域取得重大突破。近日,DeepSeek AI正式推出一项名为自主演原则的批判调优(Self-Principled Critique Tuning,简称SPCT)的创新技术,旨在构建更通用、更具扩展性的AI奖励模型(Reward Models,简称RMs)。这项技术