Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
如果函数的属性可以用函数中每个值出现的频率来表征，而不管每个值出现的位置如何，则该属性称为位置不变（或对称）。众所周知，测试函数位置不变属性的（查询）复杂性与测试相应分布（的相应属性）的（样本）复杂性密切相关。当前工作的主要信息是，这种密切关系并没有在验证的背景下维持。当考虑到......时这两者都成立
One Layer Is Enough: Adapting Pretrained Visual Encoders for Image Generation
视觉生成模型（例如扩散模型）通常在压缩的潜在空间中运行，以平衡训练效率和样本质量。与此同时，人们对利用高质量的预训练视觉表示越来越感兴趣——无论是在 VAE 内对齐它们还是直接在生成模型内对齐它们。然而，由于面向理解的特征和生成友好的潜在空间之间的根本不匹配，适应这种表示仍然具有挑战性。表示编码器受益于高维潜伏，捕捉不同的假设......
Iran Netted Nearly $5 Billion in 22 Days After Signing MOU, Report Finds
根据美国犹太国家安全研究所的一份新报告，在华盛顿和德黑兰于 6 月 17 日签署谅解备忘录后的 22 天内，伊朗净赚了近 50 亿美元。该调查结果是在总统...阅读更多 ›《伊朗在签署谅解备忘录后 22 天内净赚近 50 亿美元》一文，《报告发现》首先出现在 JINSA 上。
Meet GPT-Red: an LLM super-hacker OpenAI built to make its models safer
OpenAI 构建了一个名为 GPT-Red 的 LLM 超级黑客，将其用作陪练伙伴，帮助其其他模型增强对网络攻击的防御能力。上周该公司发布了其旗舰 LLM 的最新版本 GPT-5.6。 OpenAI 表示，针对 GPT-Red 进行训练使该模型成为迄今为止最强大的版本。 GPT-Red 自动化...
以下文章最初出现在 Addy Osmani 的博客上，经作者许可在此重新发布。我与他人共同撰写了一份关于人工智能如何改变软件生命周期的谷歌白皮书。我不打算总结整个事情。相反，这里有一些我认为实际上很重要的想法，加上六位数 [...]
人工智能席卷了软件开发。我们两人共同为软件工程师打造产品，为数百万日常用户打造消费产品，因此我们利益攸关。我们希望人工智能生产力的故事是真实的。更多的产出、更严格的时间安排、更快乐、更高效的工程师。谁不会呢？但是当我们 [...]
Don’t Neglect the Operational Groundwork
自主代理的移动速度超过了现场管理它们的能力，要追赶上来需要的不仅仅是更好的提示或更大的沙箱。在 O’Reilly 最近的 AI Superstream 上，重点关注 OpenClaw 以及更广泛的本地运行和自托管 AI 代理生态系统，五位发言者分别在堆栈的不同层工作，探索了模式 [...]
Delegation chains, the confused deputy, and the protocols you actually deploy
委托链、混乱的代理以及您实际部署的协议 代理很少单独行动。用户请求代理做某事。代理调用工具。该工具调用另一个代理。当工作完成时，三到四个参与者已经触及了请求，每个参与者都代表之前的参与者...后委托链、困惑的代理以及您实际部署的协议首先出现在 DataRobot 上。
企业人工智能计划很少会因为团队缺乏强大的模型而停滞不前。故障通常出现在模型层以下，其中分散的记录、不兼容的定义、延迟的管道、薄弱的访问控制和不明确的所有权阻碍了实验系统跨业务功能可靠地运行。试点环境可以掩盖这些弱点。有限的数据集...阅读更多»《构建人工智能就绪数据战略：每个企业在扩展人工智能之前应该做什么》一文首先出现在《大数据分析新闻》上。
Legatics’ New MCP Server Connects Your AI Tools
著名的交易管理平台Legatics推出了模型上下文协议（MCP）服务器。这将允许您的“人工智能助手或代理直接连接...
Vanilla, Meatballs + Cooley’s Flat Fees – with David Wang
Cooley 的基金组建平台 Vanilla 现在提供其工作的关键要素——转账——固定费用为 495 美元。 AL 与...
Litera ‘Relaunches’ With One Agent to Rule the Platform
法律科技传奇人物 Litera 已“重新启动”自己，以其 Lito 代理为主要焦点，提供了利用其业务的能力......
François Pachet on music generation with AI
“当我听到一首具有披头士乐队品质的歌曲的那一天，我会说：‘好吧，我们完成了’。我从来没有听过这样的事情。从来没有。” François Pachet 博士是一位人工智能研究员和音乐家，也是人工智能和音乐领域最具影响力的人物之一。他的创新贡献定义了该领域 [...]
AI for science – talk recordings now available to watch
英国皇家学会，地址：6-9 Carlton House Terrace。图片来源：露西·史密斯。 3月31日，我们的编辑团队前往英国皇家人工智能科学学会。这次为期一天的会议由艾伦图灵研究所主办，探讨了人工智能如何改变科学发现的性质。该活动的录音是 [...]
