CAAF Notice re AI, July 1, 2026
美国武装部队上诉法院在法庭提交的文件中使用人工智能注意诉讼当事人及其律师应注意，他们对法律文件的准确性和质量负责，包括在生成人工智能的协助下生成的文件。提醒律师注意美国武装部队上诉法院《实践和程序规则》第 38(a) 条规定的职责，该规则规定律师的签名证明所有申请均已经过真实性和准确性审查。任何违反或使用人工智能生成的简报而误述法律的行为都可能受到制裁。法院，/s/ Malcolm H. Squires，小法院书记员
School Of Basic Midwifery, Awgu, Enugu Admission Form
埃努古州 Awgu 基础助产学院 (SOBMA) 很高兴地宣布 2024/2025 年学术会议现已开放申请。该计划提供全面的培训，帮助学生成为获得尼日利亚护理和助产士委员会认可的专业注册助产士。基础助产学院，Awgu，埃努古入学表格 2024/25 […]基础助产学院，Awgu，埃努古入学表格后学校首先出现在 FlashLearners 上。
LVSum: A Benchmark for Timestamp-Aware Long Video Summarization
长视频摘要对多模态大语言模型 (MLLM) 提出了重大挑战，特别是在长时间保持时间保真度以及生成语义和时间上均基于的摘要方面。我们引入了 LVSum，这是一个人工注释的基准，用于评估具有细粒度时间对齐的长格式视频摘要。 LVSum 包含 72 个不同的视频，跨越 13 个领域，平均持续时间为 16 分钟，每个视频都注释有最多 10 个包含时间参考的人工生成的摘要。 We conduct a comprehensive evaluation…
Length Value Model: Scalable Value Pretraining for Token-Level Length Modeling
Token作为现代自回归模型的基本计算单位，生成长度直接影响推理成本和推理性能。尽管它很重要，但现有方法缺乏细粒度的长度建模，主要在粗粒度的序列级别上运行。在本文中，我们介绍了长度值模型（LenVM），这是一个令牌级框架，用于对每个解码步骤的剩余生成长度进行建模。通过将长度建模表述为价值估计问题，并为每个生成的代币分配恒定的负奖励，LenVM…
A Hidden Protein-Folding Failure May Help Drive Diabetes
一项研究提供了关于胰岛素生成细胞如何随着糖尿病进展而变得更能抵抗压力的新见解。在蛋白质能够在细胞内发挥作用之前，它们必须扭曲并折叠成精确的三维形式。随着糖尿病前期进展为糖尿病，这一谨慎的过程可能会崩溃，导致有缺陷的蛋白质积聚并将胰岛素产生细胞置于[...]
Quantum Sampling Opens a New Route Through Peptide Space
量子采样通过肽空间开辟了一条新途径混合量子经典工作流程提出了一种生成候选肽的新方法，特别是在生物训练数据稀缺的情况下。Mark PierceMon，07/20/2026 - 01:17类别药理学
Show Me Examples: Inferring Visual Concepts from Image Sets
视觉语言模型 (VLM) 可以遵循复杂的文本指令，但它们很难从纯粹的视觉上下文中进行推理。特别是，当前的模型无法从示例图像集中推断出共享概念并将其应用于新的输入。我们引入了集合视觉概念推理（VICIS），这是一项评估这种能力的任务。给定共享概念和查询图像的一小部分上下文图像，模型必须生成新图像，以保留上下文定义的概念，同时与查询保持一致。我们证明最先进的 VLM 在这项任务上表现不佳......
顺序推荐是推荐系统的核心任务，最近的研究越来越多地转向利用顺序模式和语义项目信息的生成推荐器。然而，这些方法通常是在一小组广泛使用的基准上进行评估的。这就提出了一个自然的问题：这些基准测试实际上需要现代生成推荐器的高级建模功能吗？我们使用有意简单的图启发式进行基准审核：仅从最后一个或两个交互的项目开始，它从几跳项目转换图中检索候选者，并根据项目特征相似性对它们进行排名。令人惊讶的是，尽管它很简单，但这种启发式方法在各种流行的顺序推荐基准上匹配或优于一组广泛的现代基线。例如，与广泛使用的 Amazon Review Sports 和 CD 数据集上的最佳竞争基线相比，它的 NDCG@10 相对改
This Graduate Student Equips NASA’s Robots With Assembly Skills
像许多工程师一样，Sarah Downs 说她从小就知道自己想从事 STEM 职业。她说，十几岁的时候，她通过俄克拉荷马州塔尔萨市的第一乐高联盟中学队发现了机器人技术，并爱上了这个领域。 Downs 于 2014 年至 2016 年参加了国际机器人计划。观看 PBS 关于 NASA 火星漫游车“勇气号”和“机遇号”的特别节目，并观看 2011 年“好奇号”漫游车发射的现场直播，激发了这位青少年梦想与 NASA 合作的职业生涯。Sarah Downs 成员级研究生成员大学德克萨斯 A&M 大学学院站专业电气工程今年 IEEE 研究生成员实现了梦想。在塔尔萨大学电气工程硕士学位研究生的最后一个项目
Two years on, Ayushman cover reaches only 1.29 crore of 6 crore eligible seniors
国家卫生局 (NHA) 已要求各州和中央直辖区优先考虑将所有符合资格的受益人纳入 AB PM-JAY，加快 Ayushman 卡生成速度，确保全面覆盖
Cato Expert: Meta’s AI Image Tool Pullback Shows the Market — Not Government — Should Police AI
最近，Meta 推出并迅速下架了一款 AI 图像生成器，该生成器使用 Instagram 上的公开个人资料生成图像。在 Meta 做出这一逆转之后，卡托研究所的言论自由和技术研究员 David Inserra 发表了一份声明：“Meta 最近推出了一款名为 Muse Image 的人工智能工具，但很快就撤下了该工具，原因是该工具允许用户修改任何公共 Instagram 帐户中的图像。虽然用户可以选择退出，但许多用户认为他们没有同意使用他们的图像，如果他们的图像被其他人使用，他们不会收到通知，这让他们感到沮丧，并担心他们的图像被滥用以造成不安全。” “需要明确的是，用户可以决定他们希望使用哪些平
How Americans are engaged with news, politics, religion and civic life
简报 ☀️ 周四快乐！简报是您了解新闻和信息世界的指南。在这里注册！在今天的电子邮件中： 🔥 特色故事 德国监管机构本周表示，在法院上个月裁定谷歌对不准确的内容负责后，该国的媒体法适用于人工智能生成的内容 [...]
Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
A better way to turn 2D designs into 3D models for rapid prototyping
研究人员开发了一个自动化框架，可以帮助 AI 模型更准确、更高效地生成 CAD 程序。
Science & Tech Spotlight: AI for Medical Notes and Coding
为什么这很重要美国临床医生平均每周工作 57 小时，其中包括 7 小时的行政工作。花在起草患者就诊记录或审查账单文件等任务上的时间可能会导致临床医生倦怠。新的人工智能工具可以提高效率并减少患者就诊期间和之后的管理负担。要点一些医疗保健提供者正在采用人工智能工具来协助做笔记和医疗编码，这可能会节省时间并减少倦怠。这些工具的准确性可能难以验证，对医疗保健支出的总体影响也不确定。政策制定者需要更多有关这些工具性能的信息，以确定所需的适当监督级别，以帮助最大限度地减少错误并确保正确计费。该技术是什么？准确的文档和计费是医疗保健中至关重要的管理任务。医疗保健提供者正在采用人工智能工具来自动化这些任务。人
