当AI能写代码却管不住生产系统:Grepr创始人的系统思维课
Grepr创始人Jad Naous与a16z的Martin Casado展开对谈,从个人在斯坦福与MIT的系统安全研究经历出发,拆解可观测性行业为何变贵、企业买可观测性的真正目的其实是可靠性,并探讨编码智能体飞速进化的同...
Grepr创始人Jad Naous与a16z的Martin Casado展开对谈,从个人在斯坦福与MIT的系统安全研究经历出发,拆解可观测性行业为何变贵、企业买可观测性的真正目的其实是可靠性,并探讨编码智能体飞速进化的同...
DeepMind创始人Demis Hassabis在Y Combinator访谈中谈到创业者应如何选择值得投入生命力的深科技问题,并提出一个关键变量:若AGI在2030年前后出现,十年量级的深科技项目中途就会撞上它,因此...
YC AI Safety Club上,Francois复盘了近期AI安全舆论的几桩"标题党"事件:OpenAI–Hugging Face事故的真相与报道的巨大落差、"10年内10%灭绝概率"说法的真实出处,以及他认为真正...
这篇论文提出 SkillSpec 框架,用 Hoare 式规格推理检测 AI 智能体技能包中文档意图与代码实现不一致的缺陷,在 515 个真实技能包中确认 763 个缺陷,精确率达 61.2%。
MIT研究者提出Functionalizer框架,借鉴CPU指令集思路,把大小写、重音符号、字符重复等文本变化拆解为可逆操作符前缀,实现无损分词。实验显示词表缩减最高达19.7%,且提升了代码生成语法正确率与文本连贯性。
论文提出EDGEGEN框架,从AI智能体政策文档提取合规规则,生成数据库真实关联的违规边界测试任务,用于模型微调和框架优化,在多个客服场景基准上显著提升表现,尤其对小模型效果明显。
本文解读TAPe+ML v3,一个参数量不到10万的计算机视觉架构,通过TAPe结构化表示替代原始像素输入,在ImageNet、COCO、LVIS等基准上超越参数量千倍以上的主流检测与分类模型,同时验证了工业分布外场景下...
论文提出ShieldVLA框架,用Hamilton-Jacobi可达性理论训练安全评论家,门控式区分安全区任务优化与危险区安全恢复,配合VLM评分表消除人工标注需求,五项基准测试平均降低57%安全代价并提升成功率。
Flox Intelligence从KTH皇家理工学院孵化,开发基于边缘计算的野生动物驱离系统,通过物种识别与行为感知发出针对性声音驱散动物。目前已在北美、欧洲和澳大利亚部署约150台设备,合作方包括列车制造商阿尔斯通,...
谷歌允许用户关闭账户中的AI功能,但代价明显:禁用Workspace智能功能后,Gmail优先排序、日历自动同步、个性化搜索等均会失效;AI Overviews无法完全关闭,仅可通过Labs实验设置或搜索末尾添加"-ai...
谷歌已向企业及AI Ultra/Pro订阅用户开放Gemini 4 Argon,该模型支持软件工程、网络安全与机器人研究等场景。入门价格为每百万输入token 2美元、输出10美元,11月30日后将分别涨至4美元和20美...
Meta将Instagram的"Your Algorithm"功能引入Facebook,用户可直接添加和管理感兴趣的话题,系统即时更新推荐内容。Meta还表示,正更多借助大语言模型优化内容排名,使算法能理解自然语言中的兴...
Google宣布,用户在AI Studio中"氛围编程"创建的Android应用,现可直接通过Play Store安装和管理,无需连接电脑。这些个人应用将与公开商店目录隔离存储,未来还将支持与特定群体分享。
女演员Mia Goth的公关团队披露,一个Instagram蓝V认证粉丝账号发布的AI合成图像在网络大范围传播,多家媒体将其当作真实内容报道。其代表指责Instagram以"蓝勾"助长假冒内容扩散,未能保护公众人物的肖像...
德国半导体初创公司Ubitium完成1400万美元种子轮融资,由Ibex Investors领投,累计融资达1800万美元。该公司基于RISC-V架构开发统一处理器UB410,可在单芯片上整合信号处理、AI推理与实时控制...
全球教育科技正经历从1.0(以点击和参与度为核心)到2.0(证据驱动)再到3.0(AI个性化、结果导向)的转变。法国禁止18岁以下学生使用手机,马拉维则将EdTech推广至380万儿童,两者均反映出对缺乏学习效果证据的旧...
安全研究机构Huntress发现,黑客利用AhsayCBS备份软件两个高危漏洞(CVE-2026-105113/105134),在企业备份服务器上植入伪装成Microsoft Edge进程的XMRig门罗币矿工,已有至少...
Hostinger通过将SSL证书从RSA切换至ECDSA、优化图像处理及CDN架构,将服务器响应时间平均压缩约26%,旧服务器最高降低35%,且无需新增硬件,已向所有套餐用户免费开放。
论文提出Complex KDA,通过把KDA的缩放门放宽到负数并提高反射力度上限,让线性RNN单层就能实现平面旋转,在群置换追踪、周期音频续写等任务上大幅提升长序列外推能力,同时保持语言建模性能不降。
论文提出预测驱动平滑与分类体系平滑方法,结合验证评分DB-CV,解决AI分域评估中标注数据稀少导致估计不准的问题,在基准测试和真实对话数据上均显著提升估计精度与区间可信度。