Vega是微软研究院推出的零知识证明系统，允许用户在不泄露政府颁发凭证的情况下证明年龄、身份等事实。它在普通设备上92毫秒内生成证明，无需可信设置，并利用折叠技术实现高效重复出示。支持移动驾照和欧盟数字身份钱包等真实格式，即将开源。

不要跳过AI治理的艰苦工作。文章探讨了AI风险是否应引发超常规政府干预，认为依赖不扩散等非凡干预代价高且效果有限，建议投资于社会韧性以应对AI的潜在滥用风险。

Dune 是一款为 Mac 设计的上下文感知快捷键面板，可根据前台应用动态调整三个按键的功能。新推出的 Marketplace 和与 Claude 对话式配置功能，让用户能够轻松创建和安装自定义工作流，尤其适合开发者和频繁开会的用户。

精选目前Hugging Face上最佳的小型语言模型，介绍每个模型的实际优势、支撑其性能的基准测试数据，以及快速上手的代码示例。

AdventHealth正在使用ChatGPT for Healthcare来简化工作流程，减少行政负担，并将更多时间用于患者护理。

Cleo是一款专为创始人和精益团队设计的AI产品经理。它运行在Telegram、Slack和Linear中，学习你的团队和声音，自动进行站会、跟进和决策跟踪。最大的特点是记忆完全透明：每个事实都显示来源、信心等级，并且可以纠正。提供五个信任等级，从观察者到完全自主操作。在Telegram上免费使用，设置在一分钟内完成。

Motionvid.ai 利用人工智能，通过文本描述即可在几秒内生成动态图形。其最新模型 Miltos 5.0 优化了时序和运动，新编辑器支持自动和自定义编辑，让无设计经验的用户也能轻松制作动画。

伦敦市长萨迪克·汗以采购规则存在“明确且严重的违规”为由，阻止了大都会警察与争议科技公司Palantir的5000万英镑合同。该合同原计划使用Palantir的人工智能技术自动化犯罪情报分析。

AI代理的下一个阶段将由对计算机的访问定义——文件系统、终端、浏览器等，而非仅仅是更好的模型。代理沙箱市场正在兴起。

加州大学圣迭戈分校的一项新研究表明，经过适当提示的先进大型语言模型（如GPT-4.5）在人机对话中能够以较高概率被误认为真人，甚至超过真实人类的被选比例。研究采用经典的三人图灵测试范式，发现AI的“人性化”更多体现在社交行为层面，而非知识储备。该结果对在线信任、欺骗风险等具有重要启示。

aiodeepseek是一个高性能的异步Python客户端，专为私有DeepSeek API设计。支持流式响应、图像上传、多轮对话和新账户注册。客户端自动解决工作量证明挑战，采用C++和AVX2优化，性能出色。

KiroGraph 是一个为 AI 编程助手设计的语义代码知识图谱工具，它通过预索引的本地数据库（SQLite）提供符号关系、调用图、类型层次等结构信息，减少 AI 在代码库探索中的工具调用次数，从而降低上下文消耗并提升响应速度。该工具支持可选的嵌入向量语义搜索与架构分析，完全本地运行，无需外部服务或 API 密钥。

Joanium 是一款本地优先的AI桌面应用，集成了GitHub、Gmail、Google Drive和日历等服务，支持10多种AI提供商，所有数据均保留在用户设备上。

Wetour Robotics认为，物理AI的下一个前沿不是更智能的机器人，而是将人体视为计算网络中的一流节点的更智能界面。其空间意图融合平台Orchestra结合空间位置、视觉背景和手势意图，实现低延迟、免提控制连接设备。系统使用边缘AI和表面肌电信号（sEMG）进行动作前意图感知，解决了传统界面在现实场景中的失效问题。文章讨论了其架构、权衡及对领域的影响。

OpenAI内部通用推理模型独立破解了埃尔德什单位距离问题，该问题已80年无实质进展。菲尔兹奖得主高尔斯称这是AI首次自主实现数学突破，成果达125页推演。

风行在线CEO易正朝在AIGC2026峰会上分享AI转型经验：全员学习编程（Coding）是转型基础，三年利润增长超10倍；主张“坚信AI，不碰模型”，做中间层连接者；警惕AI放大自嗨，解药是交付结果。

本文指出，在生产环境中实现AI令牌流式传输的真正挑战并非选择SSE还是WebSocket作为传输协议，而是需要解决重连、恢复、取消、令牌压缩、多用户支持等复杂功能。文章提出了一个分离请求与响应流的架构，并强调了在实际部署中存在的巨大差距。

一个名为 Gembokwarkop 的项目将 Base64 编码与 Vigenere 密码结合，形成一种“日常使用”的加密方案。作者测试了 ChatGPT、Gemini 和 Claude 等 AI 模型，结果从无法破解到完全胡编乱造，展现了 AI 在密码分析上的有趣局限。

Artificial Analysis最新榜单显示，阿里Qwen3.7-Max以56.6分位列全球第五、国产第一，性能接近GPT、Claude、Gemini最强模型。该模型专为Agent设计，在编程、智能体、推理等核心能力上实现大幅突破，即将上线阿里云百炼提供API服务。

北京大学与阿里巴巴达摩院合作，利用AI和开源卫星影像绘制出首张全国高精度风光设施分布图，揭示了风光互补可提升新能源利用率，减少弃风弃光。研究发表于《自然》。

一个包含416课、20阶段的免费开源课程，从原始数学开始构建每个算法，涵盖Python、TypeScript、Rust和Julia四种语言。旨在提供系统化的AI学习路径，避免碎片化知识。

近年来，LLM对抗性测试工具激增，但操作者难以掌握所有技术。新型AI代理可自主选择攻击策略、组合变换、执行测试并生成结构化结果，大幅提升效率。Dreadnode的研究显示，其代理在约3小时内对Meta的Llama Scout执行了674次攻击，成功率达85%。然而，该方法存在局限性：覆盖范围有限、代理自身对齐约束可能阻碍某些测试，且尚未与人类专家进行正式比较。

谷歌宣布其搜索功能将迎来25年来最大更新，核心是扩展AI模式，新增自然对话、24/7搜索代理、强化预订功能以及Antigravity程序生成器，同时传统搜索保持不变。更新始于5月19日。

Gemini Omni Flash 的可用性取决于 Google AI 计划、地区和账户状态。如果无法访问，建议比较其他 AI 视频生成工具。

本文批判了评估AI编码工具的常见错误方法，例如计算代码行数、计时人工任务、依赖开发者自我报告等。作者认为许多当前衡量标准具有误导性，未能真实反映生产力或质量。

英伟达CEO黄仁勋在财报电话会议中透露，Vera芯片将开辟一个2000亿美元的新市场，预计本财年收入达200亿美元。尽管Q1营收超预期，但Vera芯片的供应紧张问题值得关注。

该项目是一个小型SQLite图表参考架构，用于保存AI编码代理生成的代码背后的工程原因，包括需求、决策、测试、证据等，旨在解决AI编码中工程上下文丢失的问题。

2026年5月8日，中国三大监管机构联合发布了全球首个全面的国家自主人工智能法律框架，名为《关于标准化应用和创新发展智能代理的实施意见》。该文件不仅定义了自主AI（智能代理）与生成式AI的区别，还设定了技术研发、安全治理、应用场景和生态系统发展的四大支柱。中国计划到2027年实现70%的智能终端和公共服务采用智能代理，到2030年达到90%。这一框架在工业野心、政治控制和全球标准制定三方面具有重要意义，但也引发了关于监控和信息控制的担忧。

今日AI新闻汇总：OpenAI的通用推理模型在不到1000美元的成本下推翻了著名的Erdős平面单位距离问题，获得数学家高度认可；Cohere发布Command A+开源模型，采用Apache 2.0许可；Google推出Gemini 3.5 Flash和Omni等多款更新；多项基准测试显示当前AI代理在复杂工程任务中仍表现不佳。

WebMCP是一种让AI智能体直接与网站交互的技术，无需截图或猜测。本文介绍了两种WebMCP实现：W3C/Chrome浏览器规范与jasonjmcghee开源库，并详细讲解了作者在其个人博客上的集成步骤。