Claude 多路径独立验证数学反例，正寻求专家确认
lpachter · x · 2026-08-12
研究人员正利用 Claude 对某数学反例进行验证。目前，Claude 已通过四种独立方式验证了该反例：精确有理数/代数算术证书、两种独立编写的最大团算法、ILP 求解器以及 CP-SAT。团队目前正积极寻求专业数学家来做最终的确认。
「模型」频道最新
- NVIDIA 与 Meta 接连推出 30B 级开源 Agent 模型，主打高性价比路由 — HeyAmit_ · 2026-08-12
- Similarweb 数据：ChatGPT 止跌回升，Claude 持续抢份额 — koltregaskes · 2026-08-12
- DeepMind 发布 SL2T 手语转文本模型，支持设备端追踪 — TorturedPoet30 · 2026-08-12
- 用户实测吐槽：Gemini 连日历基本航班信息都搜不准 — keunwoochoi · 2026-08-12
- Hugging Face 发布端侧视觉模型 LFM2.5-VL-3B — Hugging Face Blog · 2026-08-12
- 通义千问 Qwen3.8-27B 模型即将开源 — nateb2022 · 2026-08-12