开源项目
K-Dense-AI 发布 Scientific Agent Skills：涵盖科研与金融的多功能智能体技能库
K-Dense-AI 近日在 GitHub 上宣布将其开源项目 Claude Scientific Skills 正式更名为 Scientific Agent Skills。该项目提供了一套现成的智能体技能，专门针对研究、科学、工程、分析、金融和写作等专业领域设计，旨在为开发者提供开箱即用的 AI 能力，简化复杂专业任务的自动化流程。
GitHub Trending•
2026年5月18日 的AI新闻
开源项目
RuView：利用普通WiFi信号实现无摄像头实时空间智能与生命体征监测
RuView 是一款创新的开源项目，旨在将普通的 WiFi 信号转化为强大的实时空间智能工具。该技术能够在无需任何视频像素的情况下，实现高精度的生命体征监测和存在检测。通过分析 WiFi 信号的波动，RuView 为隐私敏感环境下的安全监控与健康护理提供了一种全新的非侵入式解决方案。
GitHub Trending•
开源项目
OpenHuman：tinyhumansai 推出私密且强大的个人 AI 超级智能开源项目
OpenHuman 是一个在 GitHub Trending 上备受关注的开源项目，由 tinyhumansai 开发。该项目致力于打造一个“个人 AI 超级智能”，其核心卖点在于私密性、操作简单以及功能强大。它为追求数据主权和高效 AI 体验的用户提供了一个全新的开源选择，旨在让 AI 成为用户安全、可靠的个人助手。
GitHub Trending•
开源项目
Supertonic：基于ONNX的极速端侧多语言TTS开源项目正式发布
Supertonic是由supertone-inc在GitHub上推出的全新开源文本转语音（TTS）引擎。该项目主打“极速、端侧运行、多语言支持”三大核心特性，通过ONNX原生运行，实现了在本地设备上的高性能语音合成。其准确性与效率的结合，为开发者提供了构建低延迟、隐私保护型语音应用的新选择。
GitHub Trending•
开源项目
Open-Generative-AI：开源视频生成平台挑战巨头，支持200+模型且无内容审查
Open-Generative-AI 是一个在 GitHub 上引起关注的开源项目，旨在成为主流 AI 视频平台的替代方案。该项目提供了一个免费的 AI 图像和视频生成工作室，集成了包括 Flux、Midjourney、可灵、Sora 和 Veo 在内的 200 多个模型。其核心特点包括无内容审查、支持自托管以及采用宽松的 MIT 许可协议，为开发者和创作者提供了极高的自由度与隐私保障。
GitHub Trending•
开源项目
CodeGraph：为 Claude Code 打造的本地化语义代码知识图谱，Token 消耗降低 94%
CodeGraph 是一款专为 Claude Code 设计的预索引代码知识图谱工具，旨在通过语义代码智能增强 AI 编程体验。该项目核心优势在于其 100% 本地化的运行模式，能够显著减少 94% 的 Token 消耗并降低工具调用频率。通过预先索引代码库，CodeGraph 为开发者提供了一种更高效、更经济且更具隐私保障的代码理解方案，是 GitHub 上的热门开源项目。
GitHub Trending•
开源项目
Superpowers：重塑AI智能体开发的技能框架与软件工程方法论
Superpowers 是一个在 GitHub 上引起广泛关注的开源项目，旨在为编程智能体（Agents）提供一套完整的软件开发方法论。该框架核心建立在可组合的技能和初始指令之上，通过系统化的方法解决了智能体开发中的碎片化问题。它不仅是一个技术框架，更是一套行之有效的工程实践指南，标志着 AI 智能体开发正从实验性探索迈向标准化的软件工程阶段。
GitHub Trending•
行业新闻
ThinkPad 发展史：从 IBM 经典“便当盒”到联想 AI 工作站的三十年演进
ThinkPad 自 1992 年问世以来，历经 IBM 与联想两个时代，已成为市场上最长寿且视觉连续性最强的商业笔记本品牌之一。从最初的 700C 到 2026 年具备强大本地 AI 算力的 P14s Gen 6，ThinkPad 成功实现了从经典办公工具到 AI 工作站的转型。本文将深入分析其品牌演变历程、关键技术节点以及在 AI 时代的新定位。
Hacker News•
研究突破
MIT发布GenCAD：基于图像生成的参数化CAD模型，实现从图像到CAD程序的跨越
麻省理工学院（MIT）的研究人员推出了GenCAD，这是一种创新的图像条件CAD生成模型。与传统的生成网格或点云的模型不同，GenCAD能够根据图像生成完整的参数化CAD命令序列（CAD程序）。该模型结合了Transformer对比表示学习和潜扩散模型，解决了边界表示（B-rep）等复杂数据结构难以训练的问题，为工程设计和制造提供了高精度、可修改的3D模型生成方案。
Hacker News•
行业新闻
Prolog 编程的“恐怖”陷阱：如何避免逻辑编程中的核心错误
本文探讨了 Prolog 程序员在追求创新解法时常陷入的误区。文章指出，违背 Prolog 核心规则会导致程序产生错误答案或遗漏预期解。通过分析非单调性构造（如剪枝符）和全局状态（如 assertz/1）带来的负面影响，强调了使用纯声明式方法、约束和清晰数据结构的重要性，以确保程序的逻辑严密性与可靠性。
Hacker News•
行业新闻
微软宣布停用Teams“共聚模式”：疫情时代标志性虚拟会议功能将成历史
微软正式确认将停用Teams应用中的“共聚模式”（Together Mode）。该功能最初于疫情期间推出，利用AI技术将远程参会者置于虚拟会议室场景中，旨在缓解远程办公的孤独感。随着办公模式的演变，微软决定通过移除该功能来简化Teams的用户体验，标志着远程协作工具正从“虚拟社交”转向“极致效率”。
The Verge•
行业新闻
苹果Siri迎来重大改版：隐私保护成核心，或引入聊天记录自动删除功能
苹果公司计划为其语音助手Siri推出全新版本，隐私保护被列为此次升级的重中之重。据最新消息，改版后的Siri可能包含自动删除聊天记录的功能，旨在加强用户与AI交互过程中的数据安全性。这一变动反映了苹果在人工智能竞争中坚持隐私优先的战略定位，通过技术手段进一步提升语音助手的私密性与用户信任度。
TechCrunch AI•
行业新闻
埃隆·马斯克诉OpenAI案进入尾声：萨姆·奥特曼的信任度成为庭审核心焦点
在埃隆·马斯克与OpenAI法律诉讼的最后几天，庭审辩论聚焦于一个核心主题：OpenAI首席执行官萨姆·奥特曼（Sam Altman）是否值得信任。这一关于领导人诚信的争议已成为案件审理的关键点，可能对最终判决产生重要影响。
TechCrunch AI•
行业新闻
苹果Siri重大升级：iOS 27将引入聊天记录自动删除功能，强化AI隐私保护
据彭博社Mark Gurman报道，苹果计划在即将发布的iOS 27中推出更具聊天机器人特性的全新Siri。为了在AI竞争中脱颖而出并弥补目前的技术落后，苹果将隐私保护作为核心差异化优势，新版Siri将包含自动删除聊天记录的功能选项。此举旨在利用苹果在隐私领域的声誉，在激烈的AI市场中建立用户信任。
The Verge•
行业新闻
谷歌前CEO施密特在亚利桑那大学演讲遭嘘：AI愿景引发毕业生集体抵制
2026年5月，谷歌前首席执行官埃里克·施密特在亚利桑那大学毕业典礼发表演讲时，因其内容转向宣扬人工智能（AI）而遭遇现场学生多次嘘声。在当前就业市场面临巨大挑战的背景下，毕业生对AI技术的负面情绪凸显了科技愿景与现实生存压力之间的剧烈冲突。
The Verge•
行业新闻
2026年毕业典礼演讲指南：为何人工智能不再是激励学生的话题
根据TechCrunch AI的最新报道，2026年的毕业典礼演讲者面临着一个新挑战：即将毕业的学生对由人工智能塑造的未来普遍缺乏兴奋感。文章指出，在当前的社会背景下，试图通过AI话题来激励毕业生已变得异常困难，这反映了技术变革中学生群体心态的深刻转变。
TechCrunch AI•
行业新闻
TechCrunch Mobility：汽车行业AI技能军备竞赛正式开启
本文基于TechCrunch Mobility的最新动态，分析了汽车行业正在兴起的AI技能“军备竞赛”。随着交通运输行业向智能化转型，人工智能专业知识的获取已成为企业竞争的核心。TechCrunch Mobility作为行业洞察中心，将持续关注这一深刻改变交通未来的技术浪潮。
TechCrunch AI•