Anthropic 升级了 Claude Fable 5.2 与 Claude Mythos 5.2,二者为同一底层模型,Fable 带有强安全防护。它们在编码、推理与视觉方面有所改进,生成速度更快、价格低于 5.1;可选快速模式费用更高。预发布测试取得了重大成果:软件迁移、电子设备、黑洞物理进展、机器人技术进步,以及对费马最后定理的 30 小时形式化。Fable 适用于雄心勃勃的技术工作;Mythos 面向通过验证计划的网络安全/生物医学用途。安全测试发现高风险失配风险低、不必要的拦截更少、反蒸馏保护更强。这些模型在大多数基准测试中优于 Opus 5.5,并展现出强大的编码、漏洞检测、科学/数学/硬件/机器人能力。安全防护会阻止高风险的网络/生物任务;企业前沿安全防护支持监控。Fable 现已全面开放,Mythos 通过验证计划提供访问。
指针来源性:Rust 与 C++
指针来源性是编译器追踪指针来自哪个内存分配的隐藏概念——而不仅是其数值地址。编译器利用它进行优化:如果 `p` 和 `&x` 有不同的来源性,编译器就知道 `opaque(p)` 不能修改 `x`。
在 C++ 中,将指针转换为 `uintptr_t` 会“暴露”其来源性,迫使编译器假设该地址可能被重建为指针,从而禁用优化。Rust 通过显式来源性 API 解决此问题:
- **`addr()`** — 读取数值地址,但不暴露来源性
- **`with_addr()`** — 创建继承自现有指针来源性的新指针(适用于在无锁结构中给低位打标)
- **`without_provenance()`** — 创建没有分配的裸地址(不能解引用)
使用 `as usize` 转换的旧代码能运行,但会触发 Miri 关于整数转指针转换的警告。Rust 的严格来源性 API 让开发者能明确表达意图,帮助 Miri 捕获 bug,并可能启用未来的优化。在作者的实验中,Rust 版本仍然没有被优化,但这些富有表现力的 API 对正确性和工具支持仍有价值。
Unix 化 Web 关注 @pigshell GitHub 博客 数据源 文档 README Psty 用户指南 使用 GDrive 示例