Claude 挑战黎曼猜想未果但获数学突破
PtrPomorski · x · 2026-08-20
Anthropic 研究人员让未发布的 Claude 版本尝试解决黎曼猜想。虽然未攻克这一世纪难题，但 Claude 在尝试过程中改进了相关问题的下界：将黎曼 zeta 函数满足假设的零点比例下界从 41.6% 提升至 67.2%。公司数学家验证了其证明并生成了形式化可验证的证明。这展示了 AI 模型数学能力的进步速度。
「模型」频道最新
- 腾讯计划发布更大参数多模态模型 Hy4 — zephyr_z9 · 2026-08-20
- Aurora-80K 发布：仅 8 万参数的现代微型模型 — Tall_Abrocoma_3533 · 2026-08-20
- 腾讯混元 Hy4 模型开启灰度测试，定位专家级 — Nunki08 · 2026-08-20
- Qwen 3.8 27B 本地实测 ACT 考出 34 分，阅读满分 — on_line187 · 2026-08-20
- 花 250 美元复现 Mini Kimi-K3，性能超越 GPT-2 — OtherRaisin3426 · 2026-08-20
- 用户仅用 Luna Max 模型数小时耗尽 Codex 配额 — Al_Grigor · 2026-08-20