OpenAI 宣称模型反驳指数时间假设,原提出者正参与核查
ZeroCool86 · reddit · 2026-10-27
10 月 26 日 OpenAI 宣布其内部模型证明了三项结果,均以 Lean 形式化,数学与 ETH 部分的 Lean 证明已公开在 GitHub:
所属事件:OpenAI 与 Harmonic 宣称 AI 连获数学、复杂性理论与物理三大突破(66 条相关)→
「研究」频道最新
- 物理学家评 OpenAI 新成果：这是数学物理，不是理论物理 — skdh · 2026-10-27
- 机制可解释性与快速记忆召回是同一问题， Activation 触发索引或可实现 — mayfer · 2026-10-27
- 清华团队开源 C2C:LLM 直接交换 KV-Cache,提速 2.5 倍 — solyarisoftware · 2026-10-27
- Qwen 模型藏「中国云专家」：MoE 专家 E506 专管阿里云概念 — builderjaydub · 2026-10-27
- OpenAI 预印本声称 3-SAT 可亚指数求解，挑战指数时间假设 — cephaloform · 2026-10-27
- EMNLP 新基准 DRFLOW:深研系统不只会写报告,还要会排个人工作流 — mageed · 2026-10-27