Anthropic 称 Claude 写出史上最长数学证明，攻克 358 年悬案
basedjensen · x · 2026-09-07
Kalshi 援引 Anthropic 官方说法：Claude 刚刚完成了迄今最长的数学证明，并解决了一个有 358 年历史的数学问题。若属实，这将是 AI 在前沿数学研究中迄今最重的成果之一，进一步印证前沿模型在长程严谨推理上的突破。细节与证明内容尚待更多披露。
「模型」频道最新
- 爆料称 20 万亿参数大模型即将到来 — Dr_Singularity · 2026-09-07
- 博主估算训练数据规模应为 5-7T，认为 8T 已属高估 — scaling01 · 2026-09-07
- 数学家指责 OpenAI Astra 十项数学成果涉研究不端：未引用已有文献 — asusarla · 2026-09-07
- Peter Gostev 辨析模型稀疏度爆料：Kimi 26:1、DeepSeek 32:1，1.2T 激活参数不可信 — inductionheads · 2026-09-07
- OpenAI 新模型在旧 Chat Completions 接口禁用 function tools,迁移二选一 — AI-Specialist-6597 · 2026-09-07
- 黄仁勋称“AGI 已到来”;中国大模型调用量连续 19 周全球第一 — 快鲤鱼 · 2026-09-07