今日看点：CERN 获得 10 亿美元私人捐赠建设未来对撞机；Redis 作者探讨 AI 时代的“自动编程”；OpenAI 与英伟达千亿美元交易停滞。