曝 Claude 与 GPT-Next 同时给出指数时间假说的否定证明
daniel_mac8 · x · 2026-10-29
danielmac8 声称 Claude 和 GPT-Next 同时推导出了对指数时间假说(ETH)的否定证明,配图是一篇署名 Claude/Anthropic 的论文摘要,称给出 3-SAT 的 2^o(n) 确定性算法(甚至解决更难的 #3-SAT),结果由内部研究版 Claude 模型发现并已在 Lean 4 中形式化。作者借此发挥称 AI 打开了通往「柏拉图空间」的门户。注意:该宣称未经独立证实,真实性存疑,可视为夸张或玩梗式演示。
所属事件:「Claude 与 GPT-Next 推翻指数时间假说」传闻疯传，疑似恶搞(4 条相关)→
「模型」频道最新
- 传 Anthropic 将调整订阅限额方案：或恢复 5 小时限制换月度额度 — CtrlAltDwayne · 2026-10-29
- ChatGPT Pro/Business 订阅者每月可领最高 500 美元 API 额度 — OpenAIDevs · 2026-10-29
- 研究者实测：GPT6 Astra 评审质量出现台阶式提升 — anshulkundaje · 2026-10-29
- Paper Instruments 发布 Ultramarine 1 Flash：跑分超主流旗舰，成本低至 1/60 — baseten · 2026-10-29
- Gemini 4 竟"证明"了近半数给定的错误定理 — RishabJainK · 2026-10-29
- Sentdex:DeepSeek v4.1 Flash 成他本地生成 token 最多的模型 — Sentdex · 2026-10-29