Astra 发现 Anthropic 形式化验证示例存在规格漏洞
teortaxesTex · x · 2026-10-24
- Astra 团队发现 Anthropic 官方形式化验证示例中的一个 bug:其「规格说明」实际上并未校验输出字节与输入字节一致。
- 发帖人 josephhgarvin 调侃其中的讽刺意味：专门演示形式化验证的示例本身却没验证到关键性质。
「模型」频道最新
- 月之暗面发布 Kimi K3.1 Pro：3T 级开源权重模型，幻觉降 65% — markjeffrey · 2026-10-24
- Terminal-Bench 曝 NVIDIA Nemotron 3.5 得分近零,Kimi K3.1 达 65.7% — JJitsev · 2026-10-24
- 评测显示 GPT-5.6/6 Luna 多智能体协作碾压 DeepSeek V4 — JoshPurtell · 2026-10-24
- Grok Bot 升级安全保险库：代填登录和卡片但模型看不到密钥 — XFreeze · 2026-10-24
- Kimi K3.1 Pro 跑通 20x20 数织，或为首个做到的中国模型 — fairydreaming · 2026-10-24
- Kimi K3.1 对阵 GPT-6 Astra：同一 agentic 3D 任务实测对比 — GapNew4766 · 2026-10-24