康奈斯嵌入问题,由阿兰·康奈斯于 1970 年代提出,是冯·诺依曼代数理论中一个核心的未解决问题,并与其他领域存在令人惊讶的联系。它询问每个 II1 型因子(一类特定类型的冯·诺依曼代数)是否可以嵌入到超有限 II1 因子的超积中。
这个问题在 C*-代数理论(基尔希伯格的 QWEP 猜想)和量子信息理论(齐雷尔松问题)中都有等价的表述,突显了其广泛的意义。无论得到肯定或否定答案,都将对理解算子结构和量子现象产生重大影响。具体来说,肯定答案将证实不变子空间的的存在以及所有可数离散群的超线性性。
2020 年,研究人员声称得到了否定解,并将其与量子复杂性理论的结果(MIP*=RE)联系起来。然而,后来发现了一个错误,并且已经发表了更正后的证明。这项持续的研究表明了这个问题本身的难度以及它在数学和计算机科学之间架起桥梁的潜力。
在“我爱自由软件日”期间,Arch项目负责人Levente公开感谢了经常被忽视的自由软件文档维护者,特别是ArchWiki的贡献者。他强调ArchWiki是一个宝贵的资源,即使在Arch Linux生态系统之外,也经常被咨询,因为它对软件的解释清晰,配置技巧实用。
作者分享了个人配置和故障排除时依赖ArchWiki的经历,强调其卓越的搜索功能——爱德华·斯诺登也表达了相同的观点。他赞扬贡献者们构建了丰富的知识体系,并感谢维护者们确保其长期可访问性和可靠性。
该信息鼓励大家欣赏ArchWiki团队的工作,并建议通过向Arch项目捐款来支持他们。作者还感谢Morton在FOSDEM上促成了与关键贡献者的联系。
## 复古网络托管:一台25岁的服务器依然运行
这个项目详细介绍了在一台运行OpenBSD 7.8的2001年Sun Netra X1 SPARC服务器上托管网站的过程。这台Netra服务器是偶然获得的(发货错误!),拥有一个500MHz UltraSparcIIe CPU和1GB RAM。为了降低噪音,内部风扇被替换为更安静的Noctua型号。
服务器运行`httpd`,提供静态HTML/CSS,并通过OpenBSD的`pf`防火墙进行保护,采用默认拒绝策略。重要的是,访问是通过Cloudflare Tunnels提供的——创建一个出站连接,无需端口转发。不需要树莓派;Proxmox容器处理Cloudflare守护进程,将流量转发到Netra。
一个编码助手构建了一个简单、复古风格的“关于”页面。该设置优先考虑安全性,通过最小化的服务、静态内容和网络隔离来实现。网站已上线:[sparc.rup12.net],证明了旧硬件的持久能力和一次有趣的个人挑战。未来的计划包括访问者跟踪,并将服务器放回其应有的车库机架位置。
## 人工智能浪潮的局限性
本文反驳了人工智能自动化将不可避免地取代*所有*工作(数字和物理)的观点。作者使用“油漆桶”工具——一种填充操作——作为人工智能快速改变任务的隐喻。然而,他们认为存在一个围绕计算的“魔术圈”,定义了它的边界:输入符号,输出符号。
这个由艾伦·图灵建立的圈子,在其限制*之内*非常强大,但本质上与物理世界的复杂性脱节。与接受各种输入的搅拌机不同,计算是受限制的。一个简单的纸张卡纸就说明了这一点——物理世界不断地干扰数字流程。
人工智能将在数字领域表现出色,但试图完全自动化物理任务将需要笨拙的解决方法——机器人,或依赖人工。这不是无缝自动化,而是“重新设计”任务以适应机器的能力。最终,物理世界对软件来说是“无法消化”的。
作者建议专注于弥合数字和物理之间的差距,创建离线系统,并仔细规范人机协作,以应对不断变化的局面。他们总结说,互联网是一个临时的“仙境”,其对生产力的影响仍然存在争议。