AI 日报

2026年4月7日 · 星期二 · 第 7 期 · 29 条新闻

📰 行业动态

Anthropic扩展与Google和Broadcom的合作以支持下一代计算

Hacker News

Anthropic宣布与Google和Broadcom达成新协议,以提供多千兆瓦的下一代TPU容量,预计将于2027年上线。这一扩展将支持Anthropic的Claude模型,满足全球客户的巨大需求。Anthropic的收入增长迅速,2026年的收入已超过300亿美元,客户数量也在快速增加。大部分新计算资源将部署在美国,这标志着Anthropic对美国计算基础设施的重大投资。通过与Google Cloud和Broadcom的合作,Anthropic将进一步提升其AI开发的前沿能力。

使用并行Claude团队构建C编译器

Anthropic Engineering

Anthropic的研究员Nicholas Carlini介绍了一种新方法,使用多个Claude实例并行工作来开发Rust基础的C编译器。经过近2000次Claude Code会话和2万美元的API成本,该团队成功编写了一个10万行代码的编译器,能够在x86、ARM和RISC-V架构上编译Linux 6.9。这一项目展示了在没有人类干预的情况下,如何通过设计长时间运行的自主代理团队来实现复杂的工程任务。这种方法不仅扩展了LLM代理的能力,也为未来的自动化开发提供了新的思路。

📝 博客

八年的渴望,三个月的AI构建

Hacker News

作者花费八年时间期望开发一套高质量的SQLite开发工具,最终在AI编码代理的帮助下,仅用三个月时间完成了Syntaqlite的开发。Syntaqlite是一个为SQLite提供更好开发体验的工具,特别是在处理PerfettoSQL时表现出色。该项目的成功得益于AI在代码生成和项目管理中的应用,尽管作者也指出了AI在某些方面的不足。此项目展示了AI在软件开发中提高效率的潜力,尤其是在复杂项目的快速迭代和实现方面。

OpenAI安全研究奖学金计划宣布

OpenAI Blog

OpenAI宣布启动一个试点项目,旨在支持独立的安全和对齐研究,并培养下一代人才。该项目将为研究人员提供资源和支持,以促进AI安全领域的发展。通过这一奖学金计划,OpenAI希望推动更多的研究和创新,确保AI技术的安全性和可靠性。这一举措不仅有助于提升AI技术的安全标准,还将为行业带来更多的专业人才。

📄 论文

IC3-Evolve:基于LLM的IC3硬件模型检查启发式演化

ArXiv CS.AI

IC3-Evolve是一种自动化的离线代码演化框架,利用大型语言模型(LLM)为IC3硬件安全模型检查算法提出小型、可审计的补丁。IC3算法用于验证状态转换系统是否符合安全属性,通常依赖复杂的启发式方法和实现选择。IC3-Evolve通过证明/见证门控验证确保每个候选补丁的安全性,避免不可靠的编辑被部署。该框架在公共硬件模型检查竞赛(HWMCC)基准上进行演化,并在未见过的公共和工业基准上评估其通用性,结果表明IC3-Evolve能够在严格的正确性门控下可靠地发现实用的启发式改进。这种方法消除了运行时模型依赖,提供了一个独立的演化检查器。

用于生物发现和临床预测的空间转录组学和组织学多模态基础模型

ArXiv CS.AI

该研究介绍了STORM,一个多模态基础模型,旨在结合空间转录组学和组织学数据进行生物学发现和临床预测。STORM模型在120万空间分辨的转录组学数据和匹配的组织学数据上进行训练,涵盖18个器官。通过整合形态特征、基因表达和空间上下文,STORM在生成生物学一致的组织地图和预测空间基因表达方面优于现有方法。该模型在Visium、Xenium等多个平台上表现一致,并在预测免疫治疗反应和预后方面显著优于现有生物标志物。STORM为空间信息驱动的发现和临床精准医学提供了可扩展的框架。

🚀 模型发布

Gemma 4在iPhone上的应用

Hacker News

Google发布了AI Edge Gallery应用,支持在iPhone上运行Gemma 4模型。此应用允许用户在移动设备上离线体验高性能的生成式AI,具有先进的推理、逻辑和创造能力。核心功能包括Agent Skills、AI聊天、图像识别、音频转录等,用户可以通过设备摄像头或照片库进行多模态交互。此更新使用户能够在不将数据发送到服务器的情况下测试最新的设备端AI技术,标志着移动设备AI应用的重大进步。

Jackrong/Qwen3.5-27B-Claude-4.6-Opus-Reasoning-Distilled

HuggingFace Models

Qwen3.5-27B-Claude-4.6-Opus-Reasoning-Distilled是一个经过精细调优的模型,旨在简化大型语言模型(LLM)的训练过程。该模型通过Unsloth开源库和Transformers 5.2.0等核心依赖进行优化,解决了官方模型中的崩溃问题。模型的训练和测试完全由个人资助,并提供了完整的训练笔记本、代码库和PDF指南,帮助初学者理解和重现模型的微调过程。此版本的发布不仅提供了技术细节,还通过Google Colab和Unsloth等工具使LLM训练更加易于接近。

🔄 工具更新

Claude Code自动模式:一种更安全的跳过权限的方法

Anthropic Engineering

Anthropic推出了Claude Code的自动模式,这是一种在不需要用户手动批准的情况下,使用模型分类器来自动处理命令的功能。该模式旨在减少用户的批准疲劳,同时确保安全性。自动模式通过两层防御机制来实现:输入层的服务器端探测和输出层的行为监控。这种方法在保持用户意图对齐的同时,减少了不必要的手动干预,提高了工具的使用效率。

🔧 开源项目

展示HN: Gemma Gem – 嵌入浏览器的AI模型 – 无需API密钥,无需云

Hacker News

Gemma Gem是一个嵌入在浏览器中的AI助手,运行于Google的Gemma 4模型,完全在设备上通过WebGPU进行推理,无需API密钥或云服务。用户可以在浏览器中直接与模型交互,进行页面阅读、按钮点击、表单填写等操作。该工具支持多种浏览器扩展功能,允许用户在不泄露数据的情况下享受AI的便利。此项目展示了在浏览器环境中实现高效AI推理的可能性,为开发者提供了新的工具和方法。

google-ai-edge/gallery

GitHub Trending

Google AI Edge Gallery是一个用于在移动设备上运行大型语言模型的开源平台,支持Gemma 4模型。此平台允许用户在设备上离线体验高性能生成式AI,具备高级推理、逻辑和创造能力。核心功能包括Agent Skills、AI聊天、图像识别等,用户可以通过设备摄像头或照片库进行多模态交互。此项目展示了在设备端实现高效AI推理的可能性,为开发者提供了新的工具和方法。