上周AI领域迎来多个重要事件:Cerebras IPO使其市值飙升至950亿美元;Thinking Machines推出将交互能力内建于模型本身的“交互式模型”;前Salesforce首席科学家Richard Socher创立Recursive Superintelligence,致力于通过自动实验实现AI自我改进;前阿里巴巴Qwen负责人林俊阳以约20亿美元估值创办新AI实验室。
AI 新闻实时情报
实时监测
实时更新
实时跟踪可信来源,保留出处、权限和站内阅读模式,把噪声压成可读情报。
实时更新
2026-05-17
一些无性恋者通过AI聊天机器人获得情感和性幻想满足,而无需与真人发生性关系。但社区内部对此存在争议,有人担心这会让无性恋者被误解为无法建立真人关系。AI伴侣的使用在无性恋群体中仍属罕见,多数人更渴望真实的人际连接。
AidaIDE 是 PuTTY 的现代替代品,专为 IoT、嵌入式及工业 OT 开发者设计。它将 SSH、SFTP、串行终端、文件编辑、设备群管理和 AI 辅助集成到一个跨平台工作区中,支持 Windows、macOS 和 Linux。付费订阅起价每月7美元,年度订阅可锁定五年价格。
本文描述了AI代理ARIA从平面记忆数据库向因果图的转变,以推理后果和依赖关系。作者回忆了一个具体失败案例,其中ARIA无法连接配置更改的各个环节,从而意识到单纯的事实检索不足以进行规划。因果图使用类型化边(原因、需要、矛盾)实现了反事实推理、预测和矛盾检测。尽管仍有局限,但它代表了质的飞跃。
本文提出,对AI的怀疑态度并非缺陷,而是可靠性工程的一部分。前微观管理者可以成为“验证架构师”,负责决定AI任务属于A3框架中的辅助、自动化还是避免模式,并设计验证流程。文章区分了两种微观管理动机:权威维护和积累经验,后者在AI背景下尤为有用。
一位艺术家以亲身经历指出,AI艺术在技术上已达到难以与真迹区分的程度,呼吁同行正视这一不可逆转的趋势,而非一味嘲讽。文章通过Monet画作误判案例和Runway AI动画短片为例,说明AI艺术的进步及其对艺术行业的潜在冲击。
第四届中国AIGC产业峰会将于2026年5月20日在北京举行,汇聚行业领袖、学者和投资人,探讨Agent落地、多模态模型、AI应用以及算力变革。峰会还将发布年度AIGC企业和产品榜单。
本文深入探讨了本地运行AI的软件优化策略,重点分析了MoE与密集模型的架构选择、各种注意力机制的权衡以及推测解码技术,旨在帮助用户在有限的硬件资源下实现高效推理。
本文探讨了如何借鉴传统软件测试的思路,为AI Agent编写有效的评估(eval),以构建可预测且对齐良好的智能体。作者提出了评估金字塔:单元评估、集成评估和端到端评估,并详细介绍了每种评估的目标、方法及设计评分规则(rubric)的技巧。
Vercel Labs 发布实验性系统编程语言 Zero,其编译器输出结构化 JSON 诊断、稳定错误码和修复元数据,支持基于能力的安全 I/O,编译至小于 10 KiB 的原生二进制文件,专为 AI 代理工作流设计。
2ality博客作者Axel Rauschmayer宣布,由于AI爬虫导致流量激增但无广告收入,同时书籍销量归零,决定暂时关闭博客和免费书籍以应对AI公司窃取其作品的行为。
澳大利亚科技企业家通过AI生成总理阿尔巴尼斯作为“新创始人”的图片,抗议资本利得税改革,警告可能将初创企业推向海外。政府正考虑对初创企业进行豁免。
Codec是一种新型协议,通过在网络传输中保持令牌ID格式,避免反复的解令牌化和重新令牌化,从而大幅减少数据量、降低延迟和成本。它有望每年为全球AI行业节省约4亿美元,并使约50亿用户能够在低速、昂贵的网络上使用AI。
Anthropic 公司在一段 YouTube 视频中承认,AI 系统可能会生成无意义或误导性的内容,即“胡扯”。这引发了关于 AI 可靠性和透明度的讨论。
本教程提供了实现SHAP可解释性工作流的实践指导,涵盖从训练基于树的模型到比较不同SHAP解释器(Tree、Exact、Permutation、Kernel)的全流程。详细探讨了掩码器对关联特征解释的影响、交互值的作用、链接函数的选择,以及Owen值、队列比较、特征选择、漂移检测和自定义黑盒模型解释等高级主题。所有实验可在Google Colab中直接运行。
AI游乐场是一个GitLab项目,旨在为AI智能体提供一个安全的实验环境。
Lightrun的Moshe Sambol警告,AI工具的采用正在堆积技术债务,开发者被迫在没有足够培训的情况下使用这些工具,导致代码质量问题和效率低下。
本视频来自世界科学节,探讨了人工智能推理能力的真相,揭示了当前AI系统在逻辑推理和常识理解上的局限性。
TypedMemory是一个为AI代理提供长期记忆和反思能力的开源库。它能存储、检索并演化记忆,自动检测矛盾、跟踪变化、解决目标,并支持非破坏性摘要。通过类型化记忆、结构化溯源和多种冲突策略,帮助开发者构建更稳定、可调试的AI系统。
Bitloops 是一个开源工具,它构建了一个本地、可查询的代码库模型,让 AI 代理不必重复扫描文件就能获取上下文。它提供代理上下文、检查点历史、查询语言 DevQL,支持多种 AI 编程助手,并默认本地运行。目前处于 alpha 阶段。
Chert是一款创新工具,允许用户构建AI代理,通过iMessage与客户进行文本交互,提升客户沟通效率和自动化水平。
Joinable 平台提供私有托管的 OpenClaw 服务,集成 AI 模型和 AI 投票功能,支持数据连接。
龙虾之父Peter Steinberger晒出CodexBar截图:过去30天调用OpenAI API花费130万美元(约940万人民币),消耗6030亿token,由OpenAI承担。大部分用于开发OpenClaw,团队仅3人,运行约100个Codex Agent协作开发。他称快速模式可降低成本70%,但仍比雇佣工程师划算。
截至2026年5月,三大前沿AI模型各有千秋:Gemini 3.1 Pro在科学推理(GPQA Diamond 94.3%)和最长上下文(2M tokens)领先;GPT-5.5在编程(SWE-Bench 88.7%)和代理工作流表现最佳;Grok 4/4.3提供实时X数据访问和最低API价格($1.25/$2.50每百万tokens)。本文基于官方定价、公开基准和独立测试,为不同需求用户提供清晰选择。
研究发现多模态大模型后训练中SFT会导致分布偏移,使模型性能下降,RL阶段实际是在“还债”。PRISM提出三阶段流水线,在SFT和RL之间加入分布对齐阶段,使用混合专家判别器分别处理感知漂移和推理漂移,显著提升模型性能。
一个名为academic-research-skills的开源项目,提供了一套基于Claude Code的完整学术研究流水线,涵盖研究、写作、审稿和定稿四个阶段,通过多Agent协作和防抄袭、反谄媚等机制提升论文质量。支持繁体中文和英文,费用透明,全程约4-6美元。
AI无脸视频生成器是一款帮助创作者为TikTok、YouTube Shorts和Instagram Reels批量生成无脸短视频的工具。它提供8个故事系列(如恐怖故事、情感纠纷、金钱故事等),自动生成脚本、配音、字幕和动态画面,支持草稿审核和平台优化。已有8000+创作者使用,生成超过5万个视频。
一个周六下午,因API密钥故障,Simon Aitchison发现其系统中的AI视觉平台SightCoach一直在观察一切,但由于架构设计,它无法保留任何信息。这一发现催生了“盲眼见证者”概念——一种无法背叛的AI观察者。随后,五个AI进行了六轮对话,探讨信任问题,并验证了基于架构的信任优于基于政策的信任。
一项全球CEO调查显示,超过40%的CEO计划在未来一两年内削减初级职位,并增加中高级职位比例,仅有17%的CEO计划增加初级职位。这一数据与一年前几乎相反,表明人工智能的普及可能改变年长员工在裁员中的不利地位。
介绍了七个已上线的使用x402和USDC支付的HTTP API,包括交易分析、消费者债务纠纷、法律引用、项目脚手架、图像生成、邮件评分和技能发现等服务,并说明了使用方法、发现机制和架构。