标签： 人工智能

为 LLM 生成的 GPU Kernel 打造合约级验证器

为 LLM 生成的 GPU Kernel 打造合约级验证器

两位研究者构建了一套比“跑几个随机输入”严格得多的 GPU 内核合约级验证器，用它审计了 2638 个已被 LLM 生成系统验收为“正确”的 kernel，发现 62.1% 至少存在一项违规，原先行业标准测试严重高估了生成 kernel 的正确性。

Gemini 3.7 Flash 全面上线 Pro 与 Ultra 用户

Gemini 3.7 Flash 全面上线 Pro 与 Ultra 用户

Google 将 Gemini 3.7 Flash 全面开放给 Gemini 聊天中的 Pro 与 Ultra 订阅用户，同时把轻量级智能体 Spark 切换至该模型运行。值得关注的是，这次升级把多文件、多邮件这类复杂任务的处理能力下放到了 Flash 系列，而不是只留给旗舰模型。

OnlyFans投资者称AI无法颠覆成人内容创作者

OnlyFans投资者称AI无法颠覆成人内容创作者

OnlyFans 的少数股权投资者 James Sagan 公开表示，AI 无法颠覆 OnlyFans 这类创作者平台，因为用户付费购买的是“人际连接”和“真实感”，而非内容质量本身。这一判断为“AI 替代创作者”的叙事提供了一个值得审视的反例。

AI by Hand

AI by Hand

美国大学教授 Tom Yeh 的 AI 教育通讯「AI by Hand」引发关注，它用「手算」方式拆解大模型背后的数学与算法，在 7.3 万订阅者中形成了一个强调理解而非调参的 AI 学习社区。

最大化Claude Code会话价值

最大化Claude Code会话价值

Anthropic 的 Claude Code 被曝出桌面应用与命令行界面在同一项目中使用 @ 提及搜索时结果不一致，用户提交的 GitHub issue 也因低活动被关闭。事件暴露出 AI 编程工具在上下文管理和跨端一致性上的真实短板。