AI写的求解器，拿下SAT2026冠军

AI写的求解器，拿下SAT2026冠军

CryptPad：端到端加密的在线办公套件，Google Workspace开源替代

CryptPad 是一个以隐私保护和端到端加密（End-to-End Encryption）为核心理念的开源在线协作办公套件。

约翰霍普金斯大学2027秋季入学，推出全日制人工智能硕士项目

约翰霍普金斯大学（JHU）怀汀工程学院（Whiting School of Engineering）2027秋季入学隆重推出全日制人工智能硕士（MS in Artificial Intelligence）项目！

量子计算的下一个瓶颈：为高性能计算构建软件栈

在全球争相打造实用量子计算机的浪潮中，高性能计算（HPC）中心正悄然形成一个共识：硬件进步神速，而驱动硬件运转的软件却已明显掉队。

主从机自动分配中向下取整为何影响主机选择

摘要：本文解析了一种主从机自动分配算法，其核心目的是实现自动化、可预测的主机选择。算法通过"计算平均值→向下取整→除以设备数一半（向下取整）"两步左偏计算，构建一个显著偏向较小设备ID的参考点。这种复杂计算路径的设计动机在于规避直接使用最小值、最大值或平均值等已被专利保护的方法。

清华唐杰团队揭示大模型记忆全景

基于此方向，清华大学唐杰教授团队、新加坡国立大学以及Bosch AI联合发布了一篇针对大模型记忆架构前沿的详尽综述。

OpenAI称3道难题已解：答卷还在审

北京时间今天清晨，OpenAI 公布了三份证明：数学一份，计算机一份，物理一份。每一份对应的，都是相关领域里卡了几十年的问题。先说清楚这件事的分寸：三份证明都出自 OpenAI 的内部模型，到现在还没有任何一份拿到专家结论。

LLM For Algorithm Design，华为联合团队斩获SAT 2026大赛AI赛道冠军

LLM For Algorithm Design，华为联合团队斩获SAT 2026大赛AI赛道冠军

由华为诺亚方舟实验室、华为云天筹 AI 求解器团队和华中科技大学 John Hopcroft 计算中心所组成的联合团队，获得并行 AI 赛道 SAT 组冠军。