当 AI 替 rsync「修 bug」:282 楼的骂战,为什么不是一场技术胜利?
技术解读

当 AI 替 rsync「修 bug」:282 楼的骂战,为什么不是一场技术胜利?

2026 年 5 月底,rsync 项目维护者使用 Claude 协助编码引发了一场席卷开源社区的讨伐浪潮。独立开发者 Alexis Purslane 用严格的统计分析证明,这场以"AI 毁掉稳定工具"为核心命题的审判,数据上完全站不住脚——两个含 Claude 提交的版本在历史分布里中规中矩,p 值高达 46%。本文拆解这场争议的来龙去脉,以及它对 AI 时代开源社区协作方式的深远启示。

AI 攻陷了一道 80 年的数学猜想:OpenAI 模型推翻 Erdős 假设,但数学家们松了半口气
技术解读

AI 攻陷了一道 80 年的数学猜想:OpenAI 模型推翻 Erdős 假设,但数学家们松了半口气

2026 年 5 月,OpenAI 内部研究模型推翻了困扰数学家 80 年的 Erdős 单位距离猜想——它用高维投影+代数整数给出反例,n^1.014 超过 Erdős 的 n^(1+o(1)) 上限。菲尔兹奖得主 Tim Gowers 第一反应是「数学家要完了」,确认是反例后松了半口气。这不是 AI 取代数学家,而是 AI 让数学家走得更快。

1-bit 跑在 iPhone 上:PrismML 的 Bonsai Image 4B 为什么让本地 GenAI 拐点提前到来
技术解读

1-bit 跑在 iPhone 上:PrismML 的 Bonsai Image 4B 为什么让本地 GenAI 拐点提前到来

PrismML 发布的 Bonsai Image 4B 通过 1-bit 和 ternary 极低比特量化技术,把 4B 图像生成模型从 7.75 GB 压缩到 1 GB 以下,同时保留 88-95% 的性能。这是第一个能直接跑在 iPhone 上的同级别图像模型。本文用通俗语言拆解它的技术原理、关键工程、对端侧 GenAI 拐点的意义,以及三类典型应用场景。