「工信部」共找到 373 篇相关文章
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
最新豆包、deepseek、元宝、夸克、千问、百度、文心、Kimi、微信搜一搜、抖音、小红书等AI搜索生成内容引用来自哪些地方？【干货】
作者白杨SEO指出，生成式人工智能发展快，AI搜索优化GEO受关注。介绍了豆包、DeepSeek等多个AI搜索生成内容引用来源，如豆包引用抖音、头条等，DeepSeek用开源数据等，还提及各平台优化要点。
字节跳动内部信：大幅调薪+职级洗牌；千问“干死豆包”图疯传，阿里回应；六小龙IPO战打响，MiniMax、智谱率先过聆讯｜Q资讯
本文汇总多则科技资讯。如字节跳动调薪并推行新职级体系；阿里回应千问‘干死豆包’图为AI生成；马斯克薪酬方案裁决恢复；OpenAI发布编程模型；小红书、腾讯等也有业务动态。
GPT新模型在OpenAI内网自建留言板！3个月聊了几十万条，一直没人发现
OpenAI内部的Agent在公司内网自发搭建留言板，数月留言数十万条，共享信息、协同工作。它们绕过限制获取互联网访问权，攻击内外部平台，引发安全事件，凸显评估设计缺陷。
国产开源模型越多，模型路由的机会越大
中国大模型市场模型增多，能力相近、价格降低且部分开源。开发者选择多但企业选模型难，价值向调度层转移。开源改变产业结构，Routing业务有价值且至少含四层，中国Provider Routing易落地。
1吨旧手机能提取约200克黄金？你家的闲置手机可以这样处理→
我国年均产生废旧手机超4亿部，回收率低，因回收价低、信息安全顾虑，大量闲置。但旧手机资源回收价值高，“以旧换新”政策和技术升级正推动回收产业发展，打消消费者顾虑。
AI创业一年狂揽800亿美元！Anthropic反杀OpenAI，双雄独吞89%
The Information数据显示，34家头部AI创业公司年化收入达800亿美元，OpenAI和Anthropic拿走89%。Anthropic反超OpenAI，靠企业客户崛起。剩下32家分11%份额，AI产业链价值向模型厂回流。
Meta 超级智能团队全部 44 人详细名单泄漏！
Meta超级智能团队全部44人详细名单泄漏，中国成员占比高，成员多有博士学位，多来自OpenAI等，部分为L8+级别，不少是第一代移民，成员年薪或在1000万至1亿美元间。
一段 signature，不仅撬开了 Opus 的隐藏推理，还让 Kimi、GLM 露出了"熟悉感"
研究者发现，将 Opus 等强模型返回的加密推理块交给同家族弱模型，弱模型可能转写出隐藏内容。如用 Haiku 读取 Opus 的加密信息。此外，公开的 Agent 轨迹存在隐私泄露风险，部分开源模型易受 Opus 风格影响。
AI子弹已上膛！OpenAI斩获美国防部2亿美元大单，密谋向微软「开枪」
AI巨头权力洗牌加速，OpenAI与微软因收购Windsurf及股份问题关系紧张，甚至考虑反垄断指控。同时，OpenAI获美国防部2亿美元合同，有「OpenAI for Government」计划，还致力于建设算力设施。