月度归档： 2025 年 2 月
文心一言全面免费了，深度搜索功能同时上线，第一手实测在此
两天内，百度宣布文心一言全面免费，并推出深度搜索功能。该功能结合了语言模型和信息检索技术，提供专家级的复杂问题问答查询服务，支持实时联网搜索、多模态输出及分析报告制作等。
十多个模型打不过 DeepSeek 一个？奥特曼受不了了：怒将 GPT 和 o系列合并，非思维链模型到头！
Altman) 突然公开放出该公司最新的 AI 模型路线图，预告了 GPT-4.5 和 GPT-5
Gemini再度“破防”！长期记忆被黑客篡改，方法竟和一年前如出一辙
专业白帽黑客Johann Rehberger发现Gemini的提示词注入防线被攻破，通过向文档中加入指令绕过防御，并篡改了模型的记忆功能。
百度宣布：文心一言4月1日起全面免费，退费事宜已同步展开
文心一言官网宣布自4月1日0点起全面免费，并推出深度搜索等功能。用户可体验超长文档处理、专业检索增强等新功能。百度已通知用户关于退费事宜，优先向会员开放的深度搜索功能将逐步扩大服务范围。
DeepSeek R1不编程就能生成GPU内核，比熟练工程师好，惊到了英伟达
英伟达利用DeepSeek-R1和推理时扩展技术来自动生成优化GPU内核，验证器在闭环方式下引导代码生成过程，为96%的Level-2问题生成数值正确的内核。
哥德尔-Prover超过DeepSeek-Prover，金驰、陈丹琦团队造出当前最强形式化推理模型
近日，普林斯顿大学团队开源了用于自动定理证明的形式化推理模型Goedel-Prover，并在数学问题的自动形式化证明生成任务上达到SOTA。该模型基于两个形式化转换器训练，其中一个基于Lean Workbook中的非形式-形式语言对训练，另一个采用Claude-sonnet-3.5标注的语言对进行训练。通过专家迭代方法提升性能，在miniF2F上的正确率比最优模型提高7.6%。
腾讯元宝接入DeepSeek-R1满血版，首次引入第三方模型，能联网能调用微信独家生态
腾讯元宝接入DeepSeek-R1满血版，并支持联网搜索。它现在可以自由选择使用混元模型或DeepSeek-R1，覆盖微信公众号等腾讯生态信息源，提升了用户交互体验和知识准确性。
