XiaoMi-AI文件搜索系统
World File Search System完备
脑启发计算的系统层次结构
神经形态计算从大脑中汲取灵感，为计算技术和架构提供了推动下一波计算机工程浪潮的潜力 1–13 。这种受脑启发的计算也为通用人工智能的发展提供了一个有希望的平台 14,15 。然而，与传统计算系统不同，传统计算系统具有围绕图灵完备性和冯·诺依曼架构 16–18 概念构建的完善的计算机层次结构，而目前还没有针对脑启发计算的通用系统层次结构或对完整性的理解。这会影响软件和硬件之间的兼容性，削弱脑启发计算的编程灵活性和开发效率。在此，我们提出了“神经形态完整性”，它放宽了对硬件完整性的要求，以及相应的系统层次结构，其中包括图灵完备的软件抽象模型和多功能的抽象神经形态架构。使用这个层次结构，各种程序都可以被描述为统一的表示，并转换为任何神经形态完整硬件上的等效可执行文件——也就是说，它确保了编程语言的可移植性、硬件完整性和编译可行性。我们实现了工具链软件来支持在各种典型硬件平台上执行不同类型的程序，展示了我们系统层次结构的优势，包括神经形态完整性引入的新系统设计维度。我们期望我们的研究将使脑启发计算系统的各个方面取得高效、兼容的进展，促进包括人工智能在内的各种应用的开发。
人工智能与图灵测试
资料来源：Yampolskiy, RV (2013)。图灵测试是 AI 完备性的一个定义特征。人工智能、进化计算和元启发式：追随艾伦·图灵的脚步，3-17。Levesque, Hector J. 常识、图灵测试和对真正 AI 的追求。麻省理工学院出版社，2017 年。Ertel, Wolfgang。人工智能简介。Springer，2018 年。Warwick, Kevin 和 Huma Shah。“机器能思考吗？皇家学会图灵测试实验报告。”实验与理论人工智能杂志 28，第 6 期（2016 年）：989-1007。卡通来源：https://twitter.com/tomgauld/status/1250526517064544256
信息完整的实验认证......
最小信息完备正算子值测度 (MIC-POVM) 是量子理论中一种特殊的测量，其中其 d 2 结果的统计数据足以重建任何 d 维量子态。因此，MIC-POVM 被称为量子信息的标准测量。在这里，我们报告了一项纠缠光子对实验，我们认为这是第一次证明遵循与设备无关的协议（即，将状态准备和测量设备建模为黑匣子，并仅使用输入和输出的统计数据）的量子比特 MIC-POVM。我们的认证是在选择自由、无通信和公平抽样的假设下实现的。© 2020 美国光学学会根据 OSA 开放获取出版协议的条款
人工智能遏制的不可能性：控制的逻辑、数学和计算限制
本文探讨了人工智能 (AI) 遏制问题，特别是针对为通用人工智能 (AGI) 和超级智能创建有效保障措施的挑战。我认为，完全控制（定义为完全可预测人工智能行为并完全遵守安全要求）是无法实现的。本文回顾了五个关键约束：不完整性、不确定性、不可验证性、不可计算性和不可纠正性。这些限制基于逻辑、哲学、数学和计算理论，例如哥德尔不完备定理和停机问题，它们共同证明了遏制人工智能是不可能的。我认为，不应追求完全遏制人工智能，而应将资源分配给风险管理策略，这些策略承认人工智能的不可预测性并优先考虑自适应监督机制。
第四章：经济 - 香港年鉴 2022
香港作为国际商业枢纽，拥有良好的法治传统和司法独立，提供便利的营商环境；资金、人员、货物和信息自由流通；竞争公开公平；金融网络完善完备；运输及通讯基建优越；配套服务先进；劳动力市场灵活，劳动人口受教育程度高，企业家高效创新。香港外汇储备充足，货币稳定，可自由兑换；财政管理稳健，税制简单，税率低。凭借上述优势，香港在国际管理发展学院出版的《2022年世界竞争力年鉴》中位列全球第五、亚洲第二。菲沙研究所也连续将香港评为全球最自由经济体。
费马大定理在希尔伯特算术中的证明。III.费马大定理与格里森定理的量子信息统一
摘要 。本文的前两部分（分别是 https://philpapers.org/rec/PENFLT-2 和 https://philpapers.org/rec/PENFLT-3）表明，费马最后定理 (FLT) 在希尔伯特算术中的狭义和广义解释可以在第一部分中通过归纳法提出证明，在第二部分中通过 Kochen-Specker 定理提出证明。同样的解释也适用于基于格里森定理的 FLT 证明，部分类似于第二部分中的证明。希尔伯特空间子空间的 (概率) 测度的概念，尤其是其唯一性，可以明确地与偏代数或不可通约性联系起来，或者在广义上解释为希尔伯特算术的两个对偶分支的关系。对最后一个关系的研究使得 FLT 和格里森定理在某种意义上等同于两个对偶对应物，前者可以从后者推出，反之亦然，但需要附加条件，即算术对集合论的哥德尔不完备性。反过来，量子比特希尔伯特空间本身也可以通过 FLT 和格里森定理的统一来解释。利用广义的希尔伯特算术证明 FLT 这样的数论基本结果可以推广到“量子数论”的概念。通过“非标准双射”及其两个与信息论内在关联的对偶分支，可以从数学上研究皮亚诺算术从希尔伯特算术的起源。然后，无穷小分析及其革命性的物理学应用也可以在更广泛的背景下重新实现，例如，作为对时间物理量（分别是物理学中考虑的任何时间过程中的时间导数）出现方式的探索。最后，结果允许对任何层次结构如何产生或改变自身进行哲学反思，这仅归功于其对偶和幂等对应物。关键词：完备性、格里森定理、费马最后定理、希尔伯特算术、幂等性和层次结构、科亨和斯佩克定理、非标准双射、皮亚诺算术、量子信息
第 2 章：未来防御的基础 - Foleon
将人工智能融入国防部的行动需要紧急投资于现代数字生态系统，以实现从总部到战术前沿等各个层面的普遍开发和部署。必须建立一个技术基础：1）提供对领先的云技术和服务的访问，以实现可扩展计算；2）通过具有适当访问控制的、记录完备且经过强化的应用程序编程接口 (API) 实现数据、软件和功能的共享；3）使所有国防部开发人员和科学家都能访问他们所需的工具和资源，以推动新的人工智能能力。为此，下图将生态系统描绘为多层服务堆栈进行管理，通过通用接口进行访问，并提供对数据、算法、工具、经过训练的人工智能模型和计算等基本人工智能构建块的共享访问。这应该通过联合方法实现，以现有资源和探路者的努力为基础。4
量子计算
麻省理工学院数学教授 Peter Shor 于 1994 年发明了同名算法，证明了量子计算机在因式分解问题上表现出色。量子计算机只需 8 小时即可破解 2048 位 RSA 加密（当今的黄金标准）。1 RSA-2048 仍然很安全，因为破解它所需的量子硬件尚不存在。但理论上，它可以被一台功能完备的量子计算机（仅 4,100 个量子比特）破解。根据目前的进展速度，很可能在未来十年内出现一台能够破解当今公钥加密的量子计算机。因此，依赖公钥加密的公司、政府和组织（即通过互联网发送或接收数据的任何人）将需要过渡到量子计算机无法破解的安全协议。这一变化可能为网络安全公司带来机遇和风险，也可能为新进入该领域的公司提供途径。