Claude 挑战黎曼猜想未果但获数学突破
PtrPomorski · x · 2026-08-20
Anthropic 研究人员让未发布的 Claude 版本尝试解决黎曼猜想。虽然未攻克这一世纪难题，但 Claude 在尝试过程中改进了相关问题的下界：将黎曼 zeta 函数满足假设的零点比例下界从 41.6% 提升至 67.2%。公司数学家验证了其证明并生成了形式化可验证的证明。这展示了 AI 模型数学能力的进步速度。
「模型」频道最新
- Muse Spark Open 经 llama.cpp 跑通 M3 Ultra：前沿模型上桌面 — pcuenq · 2026-10-16
- OpenAI 推出 GPT-Live-1.1 语音升级：新增六语种声音、更少卡顿 — OpenAI · 2026-10-16
- LMArena 上线 Muse Spark 新模型，Battle 与 Agent 模式可测 — arena · 2026-10-16
- 多模型同题设计 UI:用 Paseo 编排四套界面方案竞技 — vista8 · 2026-10-16
- Ilya 质疑 Meta 新许可证：年收入超 2000 万美元的推理服务商须与 Meta 另签协议 — ilyasu · 2026-10-16
- Muse-Spark 开源权重发布：816B MoE 模型 MLX 3bit 版已上线 — ns123abc · 2026-10-16