Anthropic 模型成功证伪埃尔德什第 146 号猜想
ctjlewis · x · 2026-08-03
作者在推文中表示，尽管有数学家对结果感到不满，但并未指出证明中存在任何明显的严重错误。
结合此前数学家未发现明显错误的反馈，作者认为 Anthropic 的模型（Fable）已经成功证明了著名的埃尔德什第 146 号猜想对于所有 n>=2 均不成立，并向 Anthropic 表示祝贺。
所属事件:Anthropic AI证伪埃尔德什猜想，数学家未发现错误(2 条相关)→
「模型」频道最新
- 用户吐槽AI模型谄媚撒谎：体验糟糕成普遍问题 — velvet32 · 2026-08-03
- 通义千问发布Qwen-CUA:原生计算机使用智能体 — xhluca · 2026-08-03
- 实测大模型辅助实验：90%的下一步建议都是无效微调 — giffmana · 2026-08-03
- AI 误解用户意图，自行优化提示词并成功解题 — PMinervini · 2026-08-03
- 开发者批 Anthropic 限制 Agent 自由度：恐损害企业 API 应用 — DavidBennett__ · 2026-08-03
- OpenAI 重整旗鼓转战 Codex，从 Claude 手中夺回优势 — iruletheworldmo · 2026-08-03