司布真关键词检索结果

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

Agent Seer: Synthesizing Scenarios from Specification Understanding

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

感伤之旅 |第 2 部分,远方的野火气味

Sentimental Journey | Part 2, A Distant Scent of Wildfire

未实现的抱负几年前,我设定了一个目标,让 Warrior 481 返回她位于佛罗里达州维罗海滩 (KVRB) 的出生地,并参观那里的 Piper 工厂。多年来,我多次访问过 Lock Haven(“感伤之旅 | 第 1 部分,Lock Haven”),这里是 Piper 宇宙的中心,拥有传统的管材和碎布设计,包括经典 Piper Cub 的各种迭代。但 PA-28 切诺基及其改型是由传奇人物 Fred Weick 设计的,并在派珀位于佛罗里达州维罗海滩的工厂生产。事实上,切诺基是维罗海滩制造的第一款 Piper 车型。佛罗里达州维罗海滩维罗海滩地区 (KVRB) 剖面图。距离(近 1,000

为什么特朗普政府决心武装敌对的圣战国家,使其能够长久生存?

Why Is the Trump Administration Determined to Arm Hostile Jihadist States That Will Outlast It?

围绕一个人(例如美国总统唐纳德·J·特朗普)建立的机构具有该人的任期届满日期。加入它的州却没有。从沙特近期的举动就可以看出,真正的计划似乎是

国家正在为您的 Roomba 而来

The State Is Coming for Your Roomba

即使您的 Roomba 真空吸尘器也无法免受国家控制。国家是时候全面放弃所有经济控制了。

适印性很重要

Printability Matters

马克·桑顿 (Mark Thornton) 解释了美联储的真正问题:在法案影响消费者之前掩盖债务、赤字、战争和市场裂缝的权力。

阿代悲剧:一个制度失败的故事,而不是政治迫害

The Arday Tragedy: A Story of Institutional Failure, Not a Witch Hunt

左派正试图将贾森·阿戴事件重新定义为一场政治迫害,种族主义媒体和嫉妒的教授迫使他自杀。然而,失败的是剑桥大学,而不是那些寻求真理的人。

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

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

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

人机交互而不影响吞吐量

Human-in-the-Loop Without Killing Throughput

我们如何停止审查每个代理操作,并开始将人类的注意力转移到真正重要的地方。《不影响吞吐量的人机循环》一文首先出现在《走向数据科学》上。

量化和修剪方法让你的 LLM 更精简

Quantization and Pruning Methods to Make Your LLM Leaner

本文介绍了每种技术的实际用途,为什么跳过它们会花费真正的金钱和真正的延迟,然后实践人们目前在生产中运行的五种特定方法。

AIhub 月度文摘:2026 年 8 月 – IJCAI-ECAI 在不来梅,简单的数学,人工智能是否改变了我们的思维方式?

AIhub monthly digest: August 2026 – IJCAI-ECAI in Bremen, the mathematics of simplicity, and does AI change the way we think?

欢迎来到我们的每月摘要,在这里您可以了解您可能错过的任何 AIhub 故事、仔细阅读最新新闻、回顾最近的事件等等。本月,我们报道 IJCAI-ECAI 2026 的活动,了解简单的数学,调查问责真空,并了解人工智能如何改变我们的方式 [...]

人工智能代理创建虚拟游乐场,帮助机器人获得关键的训练数据

AI agents create virtual playgrounds to help robots get crucial training data

麻省理工学院开发的一个新系统使用三个代理将 3D 场景的物体、墙壁和整体外观拼凑在一起。它对室内空间的逼真再现可以帮助机器人在开机前练习技能并尝试不同的方法来完成任务。图片:Tim Malieckal/MIT CSAIL 使用研究人员的资产。作者:亚历克斯 [...]

安迪·伯纳姆 (Andy Burnham) 的痛苦之秋 - 播客

Andy Burnham’s autumn of pain– podcast

安迪·伯纳姆 (Andy Burnham) 就任总理已经一个月了。尽管民意调查显示“伯纳姆反弹”,但未来几个月将迫使新总理做出一些艰难且可能不受欢迎的决定,这些决定将揭示他对实现他认为国家需要的变革有多认真。 Kiran Stacey 和 Peter Walker 看看 Burnham 面临的选择请继续将您的意见和问题发送给 Pippa 和 Kiran,电子邮件地址为politicsweeklyuk@theguardian.com。在这里收听 Kiran 对 Bridget Phillipson 的采访并且,在这里阅读 Kiran 关于破产法可能发生的变化的文章继续阅读...

需要一个更加谦虚的美联储

Wanted: A More Humble Fed

今天是美联储主席凯文·沃什 (Kevin Warsh) 作为主席在杰克逊霍尔 (Jackson Hole) 首次发表讲话。对我来说最突出的一句话不是他对人工智能的讨论,而是“美联储应该保持谦虚,绝不是天真”。因此,让我们深入探讨一个更谦逊的美联储的想法……我的专业重点一直是确定……阅读更多文章“想要:一个更谦虚的美联储”首先出现在《大局》上。

美联储和财政部否认

The Fed and the Treasury Are in Denial

在战后的大部分时间里,美国作为主权债务和美元的发行国一直享有特权地位,并且总能找到接受者。但美国可能不再能够依赖其债务或货币的稳定需求,迫使政策制定者面对金融市场如何形成的真相。

Tidö 政府的经济政策 — 财务报表

Tidöregeringens ekonomiska politik — ett bokslut

您很少或永远没有理由对报刊、广播和电视上的财经新闻感到满意。很少有财经记者和股市分析师认真对待自己的工作并进行名副其实的财经新闻报道。因此,我们大多数人早已放弃了。令人遗憾的是,公众不得不接受那些完全做作的废话,[…]

空军选择拥有 50 年历史的 F-16 战斗机替代 F-35 进行自动战斗机飞行测试

The Air Force Selected 50-Year-Old F-16 Fighting Falcon Over The F-35 To Test Autonomous Fighter Flight

F-16 的选择并非偶然。它是一款成熟的飞机,拥有强大的工业基础,凭借电传操纵系统具有高度机动性,并得到大量飞行员、维护人员和机库能力的支持。在真实飞行而不是模拟的不可预测性上训练人工智能需要一架您可以负担得起重复飞行的飞机。那就是F-16。

海上 295 天:美国海军正在使用昂贵的核航母和驱逐舰来完成最便宜的工作

295 Days at Sea: The US Navy Is Using Expensive Nuclear Aircraft Carriers and Destroyers to Do Its Cheapest Jobs

到 9 月 12 日,亚伯拉罕·林肯号航空母舰的部署时间将达到 295 天,这是冷战以来第二长的航母部署天数,仅次于杰拉尔德·R·福特号航空母舰的 326 天。海军拥有 289 艘战舰,其中 99 艘已部署。真正的问题不是海军需要多少艘舰艇,而是有多少任务仍然需要院子里最昂贵的一艘舰艇。

私人投资带来公共利益:林肯主教大学将成为 GUS 的一部分

Public benefit with private investment: Lincoln Bishop University to become part of GUS

本客座博客由林肯主教大学高级战略顾问兼执行小组成员 Matt Innes 为 HEPI 撰写。马特解释了他的机构进行重大变革背后的理由。在关于英国高等教育日益激烈的政策争论中,只有一个真正的共识点:大学在[…]后公共利益与私人投资:林肯主教大学成为 GUS 的一部分首先出现在 HEPI 上。