Zhang
PulseAugur coverage of Zhang — every cluster mentioning Zhang across labs, papers, and developer communities, ranked by signal.
9 天有情绪数据
-
中国家庭200年土地纠纷走红
中国杜姓和张姓两个邻居家庭之间的一场土地纠纷重新浮现，并在社交媒体上引起了广泛关注。这场持续了两个世纪、跨越数代的冲突涉及对房产边界的争议。最近，杜家试图翻修厨房并建造围墙，遭到张家反对，原因是担心采光和排水问题，导致频繁发生争执，紧张局势升级。
-
香港一对老年夫妇疑因帕金森病诊断而殉情身亡
香港一对老年夫妇在妻子被诊断出患有帕金森病后，疑因殉情而双双身亡。这对夫妇，分别72岁和69岁，被发现在他们位于屯门的住所内昏迷不醒，旁边有一个装有烧炭的托盘。他们被送往屯门医院，经抢救后宣告不治。
-
新证明简化了列表可复制性的多对数界限
一篇新笔记为最近宣布的列表可复制性多对数界限提供了一个简化的证明。该界限由 Zhang [Zha26] 建立，涉及 M 个概念类别中 N 个域点上的二元概念数量。该证明虽然遵循了原始手稿的总体方法，但提供了更易于理解的论证。
-
海底捞创始人获1490万美元信贷额度，引发中国税务猜测
知名火锅连锁店海底捞已向其创始人张勇提供1490万美元的信贷额度。此举在中国引发了关于潜在税务影响的猜测，尤其是在北京离岸信托税截止日期之前。该公司表示，这笔资金用于个人财务安排并将产生利息，但其时机引发了关于避税策略的讨论。
-
美国法官拒绝释放被控拍摄台湾领导人儿子的北京特工
一名美国法官裁定，拒绝释放一名被指控为北京充当特工并拍摄了台湾领导人儿子的嫌疑人。辩方认为，此案仅基于一天所谓的监视，并未证明该嫌疑人有潜逃风险。然而，美国地方法官史蒂夫·金（Steve Kim）支持控方观点，理由是该嫌疑人与中国有家庭联系，并且她的兄弟据称在中国政府部门工作。
-
新论文揭示：AI代理能判断无用但仍继续执行
最近的研究强调了当前AI代理系统中，代理判断其输出质量的能力与其实际行为之间存在关键脱节。研究表明，代理能够正确识别无用或错误的信息，但却继续基于这些信息行事，未能停止或调整其行动。这表明，尽管模型在判断能力方面有所提高，但周围的系统需要重新设计，才能将这种判断可靠地转化为适当的行为，尤其是在复杂、长期的任务中。
-
研究论文分析分层函数的噪声敏感性
一篇新的研究论文探讨了具有分层结构函数的学习复杂性，特别是在深度学习的背景下。研究表明，具有树状分层结构（尤其是偏离线性时）的函数相对于其深度表现出指数级小的噪声稳定性。这些发现对无偏学习具有启示意义，为布尔和高斯设置中分层函数的学习提供了超多项式下界。
-
60岁中国女子诞下第二个孩子，引发争议
中国一名60岁的女性张女士通过剖腹产诞下一名女婴。这是她两年内的第二个孩子，此前她曾生下一名儿子。在四年前失去独生子后，她决定晚育。此次生育引发了公众的辩论。
-
香港居民在判决后被拘留在菲律宾 · SCMP报道
有两名香港居民在菲律宾服刑期满后被拘留了数月。中国驻马尼拉大使馆对他们被持续拘留表示担忧，他们因毒品相关罪行于2000年和2001年服刑完毕后开始被拘留。其中一名被拘留者邓龙伟（Tang Lung-wai）在自己被长期拘留并随后被驱逐出境后，最近返回香港，并会见了仍被拘留的两人。
-
弹窗广告被指在致命心脏病发作时延误了紧急呼叫
一名张姓男子指控一家手机公司的锁屏弹窗广告延误了他母亲心脏病发作时拨打救护车的尝试。该功能据称阻止了他父亲访问拨号器，导致寻求医疗救助的关键延误。他的母亲后来在家中被宣布死亡，张先生认为受阻的紧急呼叫导致了她的死亡，这引发了关于侵入性移动广告风险的辩论。
-
研究论文强调策略外评估的指数级难度
一篇新发表在arXiv上的研究论文探讨了在部分可观察马尔可夫决策过程（POMDP）中，当记录机制依赖于历史数据时，策略外评估的固有难度。研究表明，即使有大量的记录数据，准确评估目标策略价值的能力也可能受到指数级的限制。这种限制源于记录器对历史的依赖，这会模糊关键的转移信息，尤其是在发生重置时。该论文精确地描述了这一统计挑战，并提出了一个最优估计器，说明了在特定揭示行为定义下问题的棘手性。
-
ZHANG AI 旨在通过推理证据来使科学知识累积
ZHANG 是一个新的人工智能系统，旨在超越简单的科学文献摘要，朝着实现累积性科学进展迈进。与检索或总结论文的传统系统不同，ZHANG 旨在通过明确建模证据、论点和矛盾之间的关系来推断可操作的见解。该系统的核心论点是，当证据之间的联系变得明确时，科学知识就会变得更加强大，将分歧视为潜在的新知识和研究方向的来源，而不是噪音。ZHANG 的目标是将碎片化的科学知识转化为可检查、可证伪和可操作的格式，强调可重复性和跨领域转移作为知识结构的组成部分。
-
在 Lean 4 中形式化自对偶码的构造
本文介绍了在 Lean 4 中对自对偶码构造的形式化，重点关注各向同性线。它建立了 Chinburg 和 Zhang 在二元希尔伯特符号实现中的约简与 Kim 的构造法之间的等价性。该工作还将这些机制扩展到 q 同余于 1 模 4 的 q 元类似物，从而在构造有限域上的最优自对偶码方面得到应用。
-
AI 研究、Astra AGI 和 Windows CLI 问题讨论
arXiv 上发表的一篇研究论文详细介绍了 AI 代理工具链的供应链研究，并在初次发布后不久进行了修订。此外，关于 Astra AGI 的讨论浮出水面，据报道 Greg Brockman 在其发布当天称其为 AGI，以及美国政府的审查流程。另外，一位用户遇到了一个问题，通过 npm 在 Microsoft Windows 上安装的命令行界面在 64 位系统上显示“16 位应用程序”错误，追溯发现该可执行文件是一个 shell 脚本，而…
-
新研究推进机器学习随机优化 · 跟踪5个来源
几篇近期研究论文探讨了随机优化技术的进展，特别关注梯度下降及其变体在复杂机器学习问题中的应用。其中一篇论文表明，即使存在重尾噪声，标准的随机梯度下降上升（SGDA）也能收敛，而无需梯度裁剪，并为正则化问题引入了新的无裁剪算法。另一项研究通过关注梯度映射，在约束凸凹极小极大优化方面取得了近乎最优的收敛率。此外，研究还探讨了平滑凸目标函数的随机梯度下降（SGD）的精确收敛率，确立了理论极限，并分析了使用预定步长的梯度下降加速的最优性。最后…
-
中国逮捕一名高管，涉嫌为两个外国从事间谍活动
一名中国军工贸易公司高管（姓张）因涉嫌向两个未具名的外国情报机构泄露敏感国防信息而被捕。此案被认为很罕见，因为该高管同时被多个外国情报机构招募。据报道，张某精通外语，并在被捕前负责其雇主处理国际业务。
-
新算法使用Hadamard和高斯池化加速\(\ell_2\)回归
研究人员开发了一种新的随机草图求解算法，用于加速超约束\(\ell_2\)回归。该算法引入了一种新颖的、快速的、稠密的随机变换，该变换结合了Hadamard展平、随机置换和高斯池化。这种新方法实现了\(\ell_\infty\)保证，具有\(m=O(\epsilon^{-2}d\log d)\)行，解决了先前工作中发现的独立性假设缺陷。
-
专家问题和OCO的极小极大交替遗憾已解决 · 跟踪2个来源
研究人员已经解决了专家问题和在线凸优化（OCO）的极小极大遗憾率问题。对于d专家问题，极小极大交替遗憾被证明是 $\Theta(\log d)$，独立于时间跨度T。这比Hait等人建立的 $\mathcal{O}(T^{1/3}\log^{2/3} d)$ 等先前界限有了显著改进。对于d维紧凸集上的通用OCO，极小极大交替遗憾是 $\Theta(d\log(1+T/d))$，也比先前结果有了实质性改进。这些发现是通过对Hedge等现有…
-
中国工人因200个深蹲惩罚导致肌肉损伤
一名中国女子在经理因其未能达到工作目标而强制其做200个深蹲后，出现了严重的肌肉损伤。该员工杨女士在运动后无法正常站立或行走，这项运动被用作替代罚款的惩罚方式。此事件凸显了一种严酷的工作场所纪律行为。
-
Tang-Zhang Schatten范数猜想被反例证伪
研究人员通过一个反例证伪了Tang和Zhang关于Schatten范数的猜想，特别是关于矩阵不等式中全维度的最佳常数。他们使用两个明确的实数2x2秩一矩阵在p=3/2时证明，达到的比率超过了207/200，这与猜想的常数相矛盾。该论文还提供了肯定性结果，证明了当2 <= p < infinity时，秩最多为一的加数的猜想尖锐界限，并对等式情况进行了分类，以及p=infinity的终点陈述。此外，对于任意复数矩阵，对于m=2和p=4，已…