工具关键词检索结果

澳洲航空地勤人员以压倒性多数支持罢工

Qantas ground workers overwhelmingly back strikes

澳洲航空地面服务部门的 600 多名员工可能会在未来几周内停止使用工具,此前 97% 的员工批准了运输工人工会 8 月初提交的受保护行动投票令,称工资、安全和工作条件已降至“最低水平”。

Agent Seer:从规范理解中综合场景

Agent Seer: Synthesizing Scenarios from Specification Understanding

评估使用外部工具的 AI 代理需要真实的测试场景,以捕获从业者如何组合工具并迭代对话轮次。手动构建此类场景需要深厚的领域专业知识,无法跨工具生态系统扩展,并且生成无法跟踪不断发展的 API 的静态基准。我们观察到工具规范(函数名称、自然语言描述和类型化参数模式)已经编码了足够的语义信息,可以合成真实的评估场景,而无需手动管理或实时工具执行。先知特工…

让你的价值观有意义

Make Your Values Mean Something

先行者研究员埃里克·迈尔斯 (Eric Myers) 反思了该奖学金如何为他提供了信心和工具来支持有机物回收。帖子“让你的价值观有意义”首先出现在阿斯彭研究所。

旋转赢得胜利:麦康奈尔创新

Spin it to win it: McConnell innovation

由麦康奈尔团队维护人员设计的 3D 打印工具正在帮助飞行员更快地修补飞机轮子,让他们在喷漆时旋转轮子,从而消除涂层之间数小时的干燥时间。

有多少人可以玩石头剪刀布? - “可以做”和“使用”之间的指数墙

じゃんけんは何人まで「できる」のか-「できる」と「使える」の間にある、指数関数の壁

■概要 石头、剪刀、布在理论上是在某个时刻解决的,与参与者的数量无关。然而,随着人数的增加,一次尝试解决比赛的概率迅速下降,而达成解决方案的预期次数呈指数级增加。假设预期重复次数为 10 次作为实际限制,则 8 人和 9 人之间的界限就是一个界限。对于30人来说,大约需要64000次,对于40人来说,大约需要368万次,实际上还会增加判断的麻烦。可以用数学来完成的事情和可以用作决策工具的事情不是一回事。 ■目录 介绍 1 - 石头剪刀布游戏需要解决的条件 2 - “总有一天会决定的”现实吗? 3 - 只需添加 6 个人,玩家人数就会增加 11 4 - 现实比公式更困难 5 - 为什么 2 人和

使用 Amazon Quick 和 fal 构建代理创意工作流程

Build agentic creative workflows with Amazon Quick and fal

创意团队生产的资产比以往任何时候都多,但分散的工具和手动上下文传输会减慢生产速度。本文展示了如何使用 Amazon Quick 和 fal 构建可重复使用的代理工具,并通过模型上下文协议 (MCP) 连接,并使用两个实践工作流程:八面板故事板和音乐视频概念原型。

用于高效 SLM 的本地 AI 堆栈

The Local AI Stack for Productive SLMs

一个实用的框架,用于在本地人工智能设置的每一层(从模型服务到上下文检索)选择正确的工具。

人工智能是低技能威胁行为者的“力量倍增器”:组织应采取的 4 种应对方式

AI a 'force multiplier' for low-skilled threat actors: 4 ways organizations should respond

根据网络安全顾问 Unit 42 的说法,低技能的黑客活动分子现在“拥有与国家资助的组织相同的工具和复杂程度”。

Die Schuldenbremse – eine MMT-Kritik

Die Schuldenbremse – eine MMT-Kritik

在德国联邦法院的债务负担中死去,从 0.35 起的德国联邦总产值结构中,我们可以看出,财政问题的实质是工具性的。 Ich — wie andere MMT-Kritiker auch — vertrete jedoch die Auffassung,dass sich diese Selbstbindung 既不是 ökonomisch notwendig,也不是 als wohlfahrtsfördernd erweist。 Vielmehr stellt sie [...]

霍普金斯大学工程师 Suchi Saria 跻身《时代》杂志人工智能领域最具影响力 100 人之列

Hopkins engineer Suchi Saria among TIME's 100 most influential people in AI

脓毒症检测平台的创建者因其在作为挽救生命的早期预警系统的商业化工具方面的工作而受到认可

NASA 的新型太空望远镜可以用类似哈勃望远镜的细节绘制整个天空

NASA’s New Space Telescope Could Map the Entire Sky With Hubble-Like Detail

美国宇航局的罗马太空望远镜将把宇宙的全景与探测暗能量和隐藏世界的强大工具结合起来。美国宇航局的南希·格雷斯·罗马太空望远镜距离发射仅一天,它的建造目的是为了以一种大型太空望远镜以前没有的方式观察宇宙。罗曼将结合类似哈勃的[...]

格莱姆斯飞行实验室博物馆

Grimes Flying Lab Museum

格莱姆斯飞行实验室博物馆/基金会 2026 年 9 月 日程表:关于格莱姆斯飞行实验室博物馆:位于厄巴纳的格莱姆斯机场,“实验室”是一架 Beech 18,曾作为 C-45 服役于美国空军,后来改装为 C-45H,作为飞机夜间照明系统的测试台。对于在第二次世界大战之前和期间为飞机照明之父沃伦·格莱姆斯 (Warren G. Grimes) 工作的工程师来说,这架飞机是一个宝贵的工具,旨在推动夜间飞行安全的发展。格莱姆斯产生了他的...

PROOF-Gen:从优化数据到更好的蒸馏

PROOF-Gen: From Optimized Data to Better Distillation

在教师生成轨迹上的监督微调是将工具调用能力蒸馏到可部署模型的标准第一阶段。推动已发布工具调用代理的后训练流水线以每日或每周的节奏重新运行此阶段。

AI帮助设计在现实世界中有效的新材料

AI helps design new materials that work in the real world

麻省理工学院开发的“CrysVCD”工具可以大幅减少用于筛选化学不稳定设计的大量时间和资金。

为中学双语教育项目铺路:政策与实践分析

Paving the Way for Secondary Bilingual Education Programs: An Analysis of Policy and Practice

中学需要量身定制的政策、强有力的协调工具和教师培养渠道,以扩大双语教育机会。

GoDaddy如何通过Amazon Quick转型其分析

How GoDaddy transformed its analytics with Amazon Quick

在这篇文章中,您将了解GoDaddy如何从传统的商业智能(BI)工具迁移到Amazon Quick。这是一项为期两年的转型,在业务的各个方面都取得了成果:每年节省15,000小时,减少50%

从AI实验到AI运营:我为何停止玩弄代理,开始构建系统

From AI Experiments to AI Operations: Why I Stopped Playing with Agents and Started Building a System

Rob Niles花了数月时间尝试代理人工智能工具、做笔记并观看巧妙的演示。然后他意识到问题不在于工具——而在于他使用工具的方式。这是他如何从试验代理转向构建实用系统的第一部分。

AI采用对法律行业而言并非难点

AI Adoption Isn’t the Hard Part for Legal

作者:Neil Smith,LawVu。如今问任何法律团队是否采用了AI,大多数人会说是。合同审查工具。起草助手。一个……