作者在三周内利用AI助手koan处理了575个拉取请求，发布了58个版本，并修复了内存泄漏和安全漏洞。每个请求都经过人工审核以确保代码质量。尽管存在争议，作者强调AI仅为辅助工具，最终决策仍由人类维护者负责。

名为Gauss的AI在三周内完成了陶哲轩和Kontorovich提出的数学挑战，远超他们18个月的进展。该AI能自动形式化数学内容，生成约25000行Lean代码，未来计划提升形式化代码量100到1000倍，推动数学项目进展。

斗鱼直播平台CEO陈少杰失联近三周，可能与涉赌直播间“长沙乡村敢死队”有关。该直播间2020年收益高达1.77亿元，已被多家媒体曝光涉赌。陈少杰是斗鱼第二大股东，拥有14.3%股权。斗鱼在2019年7月在纳斯达克挂牌，市值接近40亿美元。

知名程序员、Vim 开发者 Bram Moolenaar 因病去世，享年 62 岁。他于 1991 年推出 Vim 编辑器，被全球开发者广泛使用。他长期致力于开源软件事业，曾在谷歌工作并继续开发 Vim。他的家人正在安排葬礼，具体信息待定。

该漏洞出现之际正值埃隆•马斯克执掌推特第三周，公司的主要安全合规人员离职，大量员工和承包商被解雇。

三周已过，懒人依旧！