OpenAI 证明非 sofic 群存在，CMU 演讲解读这一数学成果
SebastienBubeck · x · 2026-09-04
研究者在卡内基梅隆大学做报告，解读 OpenAI 团队近期得出的一个数学证明：非 sofic 群的存在性。这类群论问题此前长期悬而未决，由 AI 公司研究人员给出存在性证明引发数学圈关注。演讲围绕该证明的思路与意义展开。
所属事件:CMU 演讲解读 OpenAI 非索弗ic群存在性证明(2 条相关)→
「研究」频道最新
- 球面不动点推理器 SFPRM：让循环 Transformer 学会自己停 — GabGarrett · 2026-10-21
- KAIST 与 Meta 提出可编程检索框架 RPL，4B 模型胜过全部 8B 基线 — CShorten30 · 2026-10-21
- Perplexity 发布 Decider V1.2：登顶 Vals AI 决策模型榜 ClaimBench — bo_wangbo · 2026-10-21
- 给基因模型「泄题词」全删后成绩几乎不变,LitGene 过严格盲测 — bravo_abad · 2026-10-21
- Omnii-1 基因组模型发布：AI 设计的噬菌体首次用于人体治疗 — JosephJacks_ · 2026-10-21
- 从记忆存储理解 LLM：事实习得三阶段与幻觉同步涌现 — scott_linderman · 2026-10-21