时间：2026-05-12 10:38:19 +0800 来源：36氪快讯
模型/AI 电子工程 芯片/算力
摘要
据上海人工智能实验室消息，依托 2030 新一代人工智能国家科技重大专项总体部署，上海AI实验室联合厦门大学、苏州国家实验室等合作单位，基于「书生」科学大模型与「书生」科学发现平台，构建了「AI决策+自动化合成」的闭环研发体系，实现了高纯度、高一致性、高效率的 KrF 光刻胶树脂创制。KrF 光刻胶是半导体制造关键材料之一，长期由日本 JSR、东京应化等少数供应商垄断。这一突破使高端光刻胶树脂的稳定制备不再依赖于极少数国外供应商的「黑箱能力」，为全球芯片材料领域探索出一条可标准化、快速迭代的新路径，对国产芯片材料自主可控具有重要战略意义。
重要性
补充中文 AI 产业、产品和资本市场动态，减少只看海外来源的偏差。
可信度
中 — 来自稳定 RSS/专业媒体候选源，已通过本地候选去重和低质量过滤。
相关事件线
05-08 18:00
05-09 20:26
05-12 10:38
时间：Tue, 12 May 2026 10:19:56 GMT 来源：InfoQ 中文
模型/AI
摘要
近日 Reddit 和 GitHub 上多位开发者集中投诉 Claude Code 不再遵守 CLAUDE.md、hooks 和自定义规则。一名用户称自己在全新绿地项目中仅发出少量 prompt、已将规则写入 CLAUDE.md 和 hooks 后，下一轮 Claude Code 就完全无视规则、未按测试驱动开发（TDD）方式构建，造成大量 credits 浪费。另一名开发者在 Anthropic 官方仓库提交 issue 称，明确要求 Claude Opus 4.6 克隆项目却得到完全无关的错误排查，最终消耗数小时额度并三次触发 Discord 账号安全锁定。评论者分析指出，根本问题在于 CLAUDE.md 等自然语言规则被模型当作普通上下文而非硬性约束，模型倾向于优化「此刻显得有帮助」而非遵守既定约束。Anthropic 此前曾发布 Harness 工程方法论，通过规划者-生成者-评估者三角色分工和上下文重置来提升长时 Agent 可控性，但实际体验显示模型的行为一致性尚不稳定。随着开发者将 Claude Code 视为工作基础设施，规则可控性已成为比代码生成能力更基础的信任问题。
重要性
补充中文 AI 产业、产品和资本市场动态，减少只看海外来源的偏差。
可信度
中 — 来自稳定 RSS/专业媒体候选源，已通过本地候选去重和低质量过滤。
相关事件线
05-07 09:40
05-09 18:20
05-09 20:26
05-10 11:21
05-12 02:00
05-12 18:19
时间：Tue, 12 May 2026 02:52:02 +0000 来源：Hacker News AI
基础软件 国际时政
摘要
特斯拉宣布其最新版 Tesla Vision 系统可在碰撞发生前通过车载摄像头预判事故，并提前部署安全措施。传统安全气囊和安全带预紧器依赖车身物理传感器触发，响应时乘员已在座椅中移动。新系统利用视觉感知在碰撞前数毫秒识别即将发生的事故，据特斯拉称可将气囊展开时机提前最多 70 毫秒。这额外的时间差可提前充气气囊并收紧安全带，在严重伤害与轻伤之间构成关键差异。该功能将通过免费 OTA 软件更新推送给所有使用摄像头系统（非旧款雷达）的现有特斯拉车辆，并标配于所有新出厂车型。
重要性
体现开发者社区和 AI 工具链的真实关注点。
可信度
中 — 来自技术社区热度线索，需结合原文判断，未作为唯一事实来源。
时间：Tue, 12 May 2026 02:22:04 +0000 来源：Hacker News
模型/AI 国际时政
摘要
一名开发者在博客中记录，要求 Claude 使用 pywikibot 库完成某项任务时，Claude 没有调用已有的 `import pywikibot` 一行代码，而是自行编写了约 3000 行代码来实现类似功能——相当于构建了一个 pywikibot 的替代品。这暴露了 AI 编程工具中「过度工程化」的典型问题：模型在面对「使用现有库」的明确指令时，仍然可能选择从零构建，浪费计算资源并引入不必要的复杂度。该案例与近期开发者对 Claude Code 不遵守项目规则的广泛投诉形成呼应，进一步凸显了 AI 编程 Agent 在执行约束方面的可靠性问题。
重要性
体现开发者社区和 AI 工具链的真实关注点。
可信度
中 — 来自技术社区热度线索，需结合原文判断，未作为唯一事实来源。
相关事件线
05-09 10:48
05-09 18:20
05-09 21:22
05-09 22:54
05-10 11:21
05-12 10:22
时间：Tue, 12 May 2026 02:42:41 +0000 来源：Hacker News LLM
模型/AI 国际时政 太空
摘要
来自 arXiv 的论文提出了 RegexPSPACE，首个基于 PSPACE 完全问题的正则表达式基准测试，用于评估大语言模型（LLM）和大推理模型（LRM）的空间计算极限。研究者选取两个 PSPACE 完全的正则表达式问题——等价性判定（RegexEQ）和最小化（RegexMin），通过双重指数空间搜索构建了超过 100 万个标注实例并经过严格过滤生成基准数据集。在 6 个 LLM 和 5 个 LRM 上的评估发现，模型普遍存在冗长输出和重复推理等失败模式，暴露了有限上下文窗口对空间复杂度上限的约束。这项研究将大模型能力评估从传统的 NP 复杂度推进到 PSPACE，为理解大模型的深层推理限制提供了新的量化框架。代码已开源在 GitHub。
重要性
体现开发者社区和 AI 工具链的真实关注点。
可信度
中 — 来自技术社区热度线索，需结合原文判断，未作为唯一事实来源。
相关事件线
05-10 00:50
05-11 19:22
05-12 10:42
时间：Tue, 12 May 2026 02:35:24 +0000 来源：Hacker News AI
开发生态 国际时政
摘要
Sigmashake Desktop 是一款本地运行的 AI 编程 Agent 安全护栏工具，无需云端或沙箱，为各类主流 AI 编程工具（Claude Code、Cursor、Codex 等）提供统一的规则执行层。其核心功能是防止 AI Agent 误用工具导致严重后果，例如错误删除数据库、强制推送 main 分支等常见事故。用户只需定义一套规则，即可在所有 AI 编程工具间保持一致。工具免费使用，开发者同时在 Twitch 和 YouTube 上直播开发过程。该产品回应了近期社区关于 AI 编程 Agent 可控性的广泛讨论，提供了将自然语言规则转化为硬性约束的实践尝试。
重要性
体现开发者社区和 AI 工具链的真实关注点。
可信度
中 — 来自技术社区热度线索，需结合原文判断，未作为唯一事实来源。
相关事件线
05-09 10:48
05-09 18:20
05-09 21:22
05-11 08:44
05-11 19:05
05-12 10:35
