OpenAI 模型声称以 Lean 形式化证明局部光滑与 Kakeya 猜想
maier_ak · x · 2026-10-29
该帖附链接展示这份由 OpenAI 模型产出的证明手稿，配图为 Kakeya 集合（针束）示意图。核心声明是所有维度下的局部光滑猜想及连带结果，且以 Lean 形式化呈现。
所属事件:传 OpenAI 模型以 Lean 证明 Kakeya 等猜想，待专家评估(5 条相关)→
「研究」频道最新
- Apple 招 PhD 实习生，主攻视频 LLM 的落地推理与端侧模型 — HildeKuehne · 2026-10-29
- NeurIPS 新工作 MASEM:面向目标条件 RL 的多样化机器人状态采样 — KyleMorgenstein · 2026-10-29
- 无需读论文：四步用本地小模型和 Claude 玩转 mech-interp — burny_tech · 2026-10-29
- MIT 团队拆解 Claude「全局工作区」：J-lens 平均后仅保留不足 10% 方差 — burny_tech · 2026-10-29
- J-lens 可直接读出神经元人格词，仓库即将开源 — burny_tech · 2026-10-29
- 研究者亲历:一个转向向量即可让 RLHF 模型持续输出违禁词 — voooooogel · 2026-10-29