XiaoMi-AI文件搜索系统
World File Search System可验证
数字经济与社会指数（DESI）2022德国
新德国政府于2021年12月上任，并在《联盟协议3》中列出了其数字优先事项。数字化是新政府的关键优先事项，这是基于上届政府采用的恢复和弹性计划的数字维度的基础。2018年11月15日通过的实施策略“塑造数字化”是一项战略伞，涵盖了五个行动领域的140多个中央数字政策项目：数字能力，基础设施和设备，创新和数字化转型，数字化转型和现代州的社会。到2021年10月，已经开始实施步骤的90％以上，其中44％已经完成。交互式数字策略仪表板“ De In De Made”，跟踪策略和其他德国数字策略（人工智能（AI），区块链和数据策略）涵盖的每种措施的进度，以及数字策略的影响指标。仪表板有助于确保德国透明，可验证和基于证据的数字政策。
《人工智能法案》的人工智能可解释性要求和衡量合规性的指标
摘要：人工智能 (AI) 中的可解释性对于确保透明度、问责制和风险缓解至关重要，从而解决信息系统使用的数字责任、社会、道德和生态方面的问题。欧盟 (EU) 将通过《人工智能法案》对人工智能进行监管。该法规引入了可解释人工智能 (XAI) 的要求。本文研究了哪些 XAI 要求受到监管以及哪些指标可用于衡量合规性。为此，分析了欧洲议会和理事会的法律文本，以确定 XAI 要求。此外，还收集了 XAI 分类法和指标。结果表明，《人工智能法案》为可解释性提供了抽象的规定，因此很难定义实现可解释性的具体指标。作为一种解决方案，我们提出了一种衡量合规性的社会技术指标分类。进一步的研究应该分析即将到来的可解释性要求，以使人工智能可验证并最大限度地降低人工智能带来的风险。
全球互操作性技术演示第一阶段概述和结果
2023 年 8 月，CBP 对全球互操作性标准进行了初步技术演示，从参与 DHS SVIP 的三家不同公司获取数据。该测试使用无缝数据交换和流程现代化，例如可验证凭证 (VC)、分散标识符 (DID) 和加密技术，以协调完成任务和应对不断变化的贸易格局挑战的关键目标。该测试确保 CBP 可以接收合成数据 JavaScript 对象表示法 (JSON) 有效负载，并在自动化商业环境 (ACE) 测试平台的屏幕上显示每个 VC。该测试主要涵盖石油和钢铁行业。数据在到达前收到并与现有的 ACE 数据相结合，以便操作员评估新数据与传统 ACE 数据的集成程度。该系统在供应链早期几乎实时地从传统和非传统参与者那里接收高质量数据。
对 Pearson 温室气体排放、能源使用和社会 KPI 数据的独立验证（2023 年）
• 能源消耗：其全球业务的能源使用数据，包括根据英国政府环境报告指南（2019 年 3 月）声明的 100% 可再生电力。 • 温室气体排放数据：根据英国政府环境报告指南（2019 年 3 月）、温室气体核算体系企业会计和报告标准（修订版，2004 年），包括企业价值链（范围 3）标准（2011 年）和计算指南（2013 年）以及范围 2 指南（2015 年），范围 1、范围 2（基于市场和位置）和范围 3（类别 1、2、3、4、5、6、7、9、11、12、13、14）。 • 社会 KPI：根据 GRI 的准确性、清晰度、可比性、完整性、及时性和可验证性原则，共有 126 个社会 KPI，具体包括员工分拆情况（27）、女性领导力（9）、员工种族和民族多样性（30）、年龄代表性（4）、流动率和保留率（32）、员工福利（13）以及健康和安全（11）。
2023-2024 年招募
2. 可解释和稳健的人工智能 HORIZON-CL4- RIA 2023 年 11 月 15 日 2024 年 3 月 19 日（人工智能数据和机器人 2024-HUMAN- 合作伙伴）01-06 为了实现稳健可靠的人工智能，需要采用新方法来开发在模型理想情况以外的其他情况下工作的方法和解决方案，同时还要意识到这些条件何时会失效。为了实现可信度，人工智能系统应该足够透明，能够以对用户有意义的方式解释系统如何得出结论，同时还指出何时达到了操作极限。目的是推进人工智能算法，使其能够在各种常见情况下安全运行，在现实条件下可靠运行，并预测这些操作环境何时不再有效。研究应旨在提高解决方案的通用性的稳健性和可解释性，同时导致准确性和效率的可接受损失，并具有已知的可验证性和可重复性。重点是通过基础人工智能和机器学习研究扩展人工智能系统的可解释性和鲁棒性的普遍适用性。为此，可以考虑但不一定局限于以下方法：
量子二十一点：提供的优势......
在量子信息领域，双人博弈为我们提供了有用的视角，让我们了解量子纠缠作为一种资源的独特威力。例如，克劳塞-霍恩-西莫尼-霍尔特 (CHSH) 博弈就是一个操作任务的例子，其中量子纠缠比所有可能的经典策略都更具优势。对 CHSH 以及更一般的非局部博弈的分析不仅为我们提供了对贝尔不等式 [ 1 ] 等基础概念的洞察，而且还为可验证随机性生成 [ 2 ]、密钥分发 [ 3 ] 或委托计算 [ 4 ] 等重要任务的协议。由于没有通信的纠缠可以产生超出经典可能的相关性，因此值得探索在允许通信的情况下这种相关性在多大程度上仍然成立。对于具有分布式输入的计算函数，纠缠可以将通信成本降低多达指数倍 [ 5 ]，但不会更多 [ 6 ]。纠缠的形式在某些情况下很重要，但在其他情况下则不然：当允许通信和少量错误时，EPR 对至少与任何其他状态一样有用 [ 7 ]，而在零通信设置中，非最大纠缠态可以实现更多 [ 8 ， 9 ]。
使用区块链追踪有形资产所有权和来源
区块链交易记录在一个共享的、仅可追加的存储库中，多方可验证、确认并达成一致。区块链最初用于跟踪数字资产，现在用于跟踪有形资产的所有权和出处。使用区块链执行此任务的一个固有挑战是保持有形资产在物理世界中的状态与区块链上的非同质化代币同步。虽然已经有多个区块链以这种方式使用，但具体的实施细节却支离破碎。为此，本研究考察了使用联盟许可区块链跟踪有形资产的四个阶段，包括：区块链的设计和治理、资产创建、资产转移和资产退出。基于此分析，本研究提出了一个风险考虑和控制目标框架，以评估独特的区块链在多大程度上可以作为跟踪有形资产所有权和出处的可靠交易存储库。
从数据到可人工验证的研究论文
结果 在自动驾驶模式下，仅提供带注释的数据，数据到论文便会提出假设、设计研究计划、编写和调试分析代码、生成和解释结果，并创建完整的、信息可追溯的研究论文。尽管数据到论文创建的手稿的研究新颖性相对有限，但该过程展示了从数据中自主生成从头定量见解的能力，例如揭示健康指标与临床结果之间的关联。对于简单的研究目标和数据集，完全自主的周期可以创建手稿，这些手稿可以独立概括同行评审的生物医学出版物的发现，并且在约 80% 到 90% 的情况下不会出现重大错误。然而，随着目标或数据复杂性的增加，人类的共同驾驶对于确保准确性和整体质量至关重要。通过跟踪各个步骤中的信息流，该平台创建了“数据链”手稿，其中下游结果以编程方式链接到上游代码和数据，从而为科学输出的可验证性设定了新标准。
量子匿名否决：一组新协议
摘要 我们提出了一套量子匿名否决 (QAV) 协议，大致可分为概率型、迭代型和确定性方案。这些方案基于不同类型的量子资源。具体而言，它们可以看作是基于单光子的、基于二分和多分纠缠态的、基于正交态的和基于共轭编码的。针对有效 QAV 方案的所有要求（例如隐私、可验证性、鲁棒性、绑定性、资格性和正确性）分析了所提出的方案集。与现有的 QAV 方案相比，所提出的方案更高效，并且在中等退相干率下也具有鲁棒性。此外，还观察到概率 QAV 方案的正确性和鲁棒性之间的权衡。此外，基于多分密集编码的确定性 QAV 方案是本文提出的方案集中最高效的方案。采用密集编码的二分纠缠迭代方案是另一种高效实用的方案。在设计新协议的过程中，还探索了用餐密码师网络与匿名否决网络之间的内在联系。