Reddit 热传:用 AI 声称证明 Komlós 猜想,arXiv 论文已挂出
Old-School8916 · reddit · 2026-09-13
Reddit 用户发帖称出现了利用 AI 声称证明 Komlós 猜想的 arXiv 论文(编号 2609.11189)。Komlós 猜想是组合数学/ discrepancy 理论中的著名公开难题,若证明成立将是 AI for Science 领域的标志性成果。目前仅为「声称的证明」,尚需数学社区同行评议与验证,建议关注后续审查结果。
所属事件:神秘 AI 系统 Odin 被指证明 Komlós 猜想(2 条相关)→
「漫话AGI」频道最新
- LifeArchitect 10 月刊:中国拟限制 AI 技术出口,Kimi K3.1 Pro 与 Genie 4 在列 — dralandthompson · 2026-10-31
- 中国公司用「AI 复活」服务安抚失亲者，30 秒音视频即可生成数字分身 — ArtificialOther · 2026-10-31
- AI 时代何为「科学发现」？ICLR 2027 提案 SCOPE 研讨会聚焦争议 — mariyaivasileva · 2026-10-31
- ThursdAI 播客辩论:Opus 7 将至,「跑分变好」还重要吗 — thursdai_pod · 2026-10-31
- Diamandis：AI 真正的分界线是好奇者与畏惧者，而非贫富 — PeterDiamandis · 2026-10-31
- Chris Manning 演讲:语言才是通向智能的真正钥匙 — stanfordnlp · 2026-10-31