圈内热议 OpenAI 疑似重大证明，吐槽：解决了停机问题呗
lpachter · x · 2026-09-17
有人随机猜测 OpenAI 疑似取得的重大理论成果：除了证明 UGC，也可能证明了强 ETH 为假，或 log-rank、图同构∈P、LP 强多项式算法等，但大概率不是矩阵乘法 ω=2 或 Quantum PCP。LPachter 回帖调侃：「大家都知道，其实是发明了停机问题的算法。」 reflects AI 圈对 OpenAI 可能抛出重大数学/理论突破的集体观望与玩梗氛围。
所属事件:传 OpenAI 已证多个千禧年难题但扣住不发(2 条相关)→
「Fun」频道最新
- Grok × Cursor × X 三方账号体系互相套娃，登录循环逼疯用户 — oran_ge · 2026-11-02
- 花 1400 美元组双 3090 本地跑 Qwen，首个提问是「政府要垮吗」 — QuixiAI · 2026-11-02
- 妻子用 ChatGPT 直呼「下头」：只因不是 Claude — tekbog · 2026-11-02
- AI安全圈玩梗:非Anthropic出品的错位只能算「气泡水级reward misspecification」 — davidmanheim · 2026-11-02
- 派对该不该限名单？AI 圈吵起来：350 人爬屋顶把房东都搞没了 — jxnlco · 2026-11-02
- AI 生成相变模拟走红 Reddit:序参量 0.99 的物理直觉可视化 — NedRadnad · 2026-11-02