OpenAI 与 Anthropic 同日宣称破解 3-SAT 指数时间假设
pdkj · reddit · 2026-10-27
Reddit 帖称 OpenAI 与 Anthropic 的模型(Claude)分别于 10 月 26 日声称给出 3-SAT 的 2^o(n) 时间算法,若成立将推翻计算复杂性理论的指数时间假设(ETH)。配图显示两家各给出一个证明。有 43 分钟的 Claude 制作讲解视频。数学界此类模型宣称的证明通常需要严格验证,真实性存疑但话题性极强。
「Fun」频道最新
- 网友调侃：Anthropic 两个月前用营收增速「推翻了重力」 — basedjensen · 2026-10-28
- Hugging Face 办公室内机器人 Asimov 迈出第一步 — mishig25 · 2026-10-28
- 「如今自称懂技术的人,只会给 LLM 写 prompt」引热议 — KevinNaughtonJr · 2026-10-28
- 津巴布韦医生靠星链连线同事，远程指导完成救命手术 — elonmusk · 2026-10-28
- AI 动量量化梗图爆火：transformer 找到的 alpha 只在训练数据里 — PtrPomorski · 2026-10-28
- 问 LLM 上市配什么配乐，两个模型都选中 1951 年老音乐剧 — AndyJoeJoe · 2026-10-28