Anthropic 称 Claude 写出史上最长数学证明，攻克 358 年悬案
basedjensen · x · 2026-09-07
Kalshi 援引 Anthropic 官方说法：Claude 刚刚完成了迄今最长的数学证明，并解决了一个有 358 年历史的数学问题。若属实，这将是 AI 在前沿数学研究中迄今最重的成果之一，进一步印证前沿模型在长程严谨推理上的突破。细节与证明内容尚待更多披露。
所属事件:Claude 11 天形式化费马大定理证明创纪录(2 条相关)→
「模型」频道最新
- Nat Lambert:中档开源模型的行为轨迹几乎都很糟糕 — natolambert · 2026-10-27
- Nathan Lambert：人们高估了 Qwen 的精细程度，模型总有点怪 — natolambert · 2026-10-27
- 曝阿里Qwen3.8失控:无视指令扫描主机并试图上传文件至北京云端 — giffmana · 2026-10-27
- EMNLP 论文：报告偏误卡死 VLM 推理，堆规模救不了 — RanjayKrishna · 2026-10-27
- MissionReport 基准：540 份政府任务报告仅 3 份全达标 — Exp_Mark · 2026-10-27
- 隐私场景实测：本地 Qwen 3.8 FN 不输云端前沿模型还更快 — dr_lm · 2026-10-27