标签: 大模型

‘What we’re really fighting is people scripting computers to generate thousands of songs and uploading them in batches to overwhelm, flood and replace’: Deezer’s Head of Research on that industry-leading AI-filter — and why we need it now more than ever

‘What we're really fighting is people scripting computers to generate thousands of songs and uploading them in batches to overwhelm, flood and replace’: Deezer's Head of Research on that industry-leading AI-filter — and why we need it now more than ever

流媒体平台 Deezer 公开数据显示,其平台每日新增上传中超过 50% 为 AI 生成的音乐,较去年末的 30% 持续攀升。为应对这一趋势,Deezer 自研了一套基于数学信号处理的 AI 检测过滤器,并于近期开放给所有平台使用。

HBO Max推出TikTok式短视频和AI搜索,堪称剧透噩梦

HBO Max推出TikTok式短视频和AI搜索,堪称剧透噩梦

HBO Max 在美国市场推出了两个移动端新功能:一个名为“Shorts”的 TikTok 式 AI 短视频信息流,可以自动剪辑剧集中最具戏剧性的高能片段;另一个是“对话式搜索”工具,允许用户通过描述情绪或场景来查找内容。这两项功能本质上是将流媒体内容发现从“用户主动检索”转向“AI 驱动的碎片化推荐”,但也…

标普500中四分之一企业声称AI带来可量化收益,去年仅为14%

标普500中四分之一企业声称AI带来可量化收益,去年仅为14%

摩根士丹利分析发现,标普500成分股中25%的企业在最新财报季明确提到AI带来了可量化的财务收益,而一年前这个比例仅为14%。市场正从“卖铲子”(AI硬件供应商)转向“挖金子”(AI采用者),但所谓“可量化收益”多数仍停留在口头上,缺乏公开数据支撑,投资者需警惕其中的预期泡沫。

利用Claude发现加密弱点

利用Claude发现加密弱点

Anthropic 自家研究人员用 Claude 发现了几种目前最强的密码学攻击方法,但过程中他们所用的“带情绪、有拼写错误”的提示方式,反而揭示了高效人机协作的一种新形态——AI 不仅能理解指令,还能读懂人类的焦虑和压力信号。

Kimi Linear:一种表现力强且高效的注意力架构

Kimi Linear:一种表现力强且高效的注意力架构

Kimi 团队发布了新型混合线性注意力架构 Kimi Linear,在短上下文、长上下文和强化学习场景下,全面超越了传统全注意力模型,同时将 KV 缓存占用降低最多 75%,1M 上下文解码吞吐量提升高达 6 倍。这可能是继 Mamba 后,对 Transformer 注意力机制最实用的一次效率革新。

查尔斯·布考斯基能给AI开发者们什么启示?

查尔斯·布考斯基能给AI开发者们什么启示?

Hacker News 上一条关于“查尔斯·布考斯基能给AI开发者什么启示”的帖子引发热议。核心观点是:劳动节约型技术并未真正解放人类,反而可能催生新的996;布考斯基主动停止产出劣质文字、走向家人和猫的行为,提醒AI从业者警惕“无用产出”的陷阱,重新审视休息与创造力的关系。

Show HN:形式验证的 3D CSG:相信93行规格,而非1000行AI代码

Show HN:形式验证的 3D CSG:相信93行规格,而非1000行AI代码

一位开发者利用AI辅助生成并验证了一个3D布尔运算(CSG)核心代码,其创新之处在于:人类只需检查93行的形式化规格说明,由Lean证明助手自动验证AI生成的60000行证明,从而确保1000多行实现代码的正确性。这挑战了“AI代码不可信赖”的固有认知,并为高可靠性场景下的AI编程提供了新范式。