不到一小时证明50年猜想
soumitrashukla9 · x · 2026-07-11
转推在调侃一条“至少花 8 小时再考虑放弃”的建议：GPT-5.6 Sol Ultra 被引用称在 不到 1 小时 内就证明了一个 50 年历史的 Cycle Double Cover Conjecture。
引用内容还说，这次是用 64 个子智能体 完成的，并附带了 prompt 和证明，作者显然是在借结果制造反差梗。
所属事件:GPT-5.6 Sol Ultra 上线，64子智能体一小时证猜想(17 条相关)→
「Fun」频道最新
- AI 数据中心时代用电论战：有人还在纠结灯泡省电与调整时区 — mgostIH · 2026-10-27
- 冯·诺依曼 1947 年名言与 1952 年 IAS 计算机老照片走红 — pickover · 2026-10-27
- 网友提议学术会议设即兴讲解环节：AI 生成随机论文幻灯片，作者前排提问 — windx0303 · 2026-10-27
- 给多智能体分官定职后吐槽:没有一个真正听得懂人话 — teortaxesTex · 2026-10-27
- Rohrer 用 C89 零依赖手写棋类引擎：不为反 AI，只为爽 — jasonrohrer · 2026-10-27
- €80 万企业 AI 转型咨询:18 个月工作坊排满,仍无代码无 ROI — alex_verem · 2026-10-27