神秘 AI 系统"Odin"被指证明 Komlós 猜想,论文已上 arXiv
badumtsssst · reddit · 2026-09-13
Reddit 用户称,一个神秘的 AI 系统"Odin"被发现给出了 Komlós 猜想的证明,相关论文已提交 arXiv(arXiv:2609.11189)。如果属实,这将是 AI 在纯数学前沿定理证明上的重大进展;目前系统背景不明,论文真实性有待同行检验。
「漫话AGI」频道最新
- 核军控靠数弹头可行,AI 条约缺的正是验证手段 — victor_explore · 2026-09-13
- 恶搞 DSM-6:把「AI 末日妄想」列为精神疾病诊断 — whurley · 2026-09-13
- OpenAI Navier-Stokes 证明由约万级 Agent 协作 88 小时完成，引出“蜂群即 AGI”猜想 — callme_e · 2026-09-13
- 开发者质疑中心化机构掌控前沿节奏，呼吁开源 AGI 胜出 — 0xsachi · 2026-09-13
- 开源 RL 从业者回应 roon:安全标准化不会威胁开源模型生态 — willcb · 2026-09-13
- 评论员：中国模型一旦领先，AI 公司「放慢前沿」叙事将失效 — doodlestein · 2026-09-13